WebSPN 3.3

The client is included in the design interface, while the server is a demon that waits for requests. The client makes sure that the net has an initial marking, and gives the user the opportunity to specify the startup parameters and the desired measures through the following two-tabs dialog window:

First tab allows to specify:

• Analytical mode for mathematical solution or Simulation mode for simulated solution
• the analysis step (Delta), that must be lower than the shortest time associated with the timed transitions in the net;
• the tolerance (Tolerance), that is the steady state elaboration precision. This meant that bigger value of this parameter slow the elaboration, especially for mtta measures. Default value 0.00001;
• the machines (Machines), that represents the number of computer on which to run the analysis, if you want to take advantage of our cluster or if you have your own cluster;
• the confidence (Confidence), that represents confidence value (you can set it only if you use Simulation mode for analysis). Default value 0.99;
• the runs (Runs), which represents the number of times that you want to simulate the net (only for Simulation mode). Default value 10000;
• the retrieval of some intermediate analysis files, such as the ReachabilityGraph and the State Probability file. The files' name are in the format: <model name>.RG and <model name>.prb respectively.The retrieved files will be placed in an archive tar.gz file that you can save wherever you want.

• the required measures (Measures), which must be written by following an appropriate syntax specified in the help. A double click on an item in Statements, Places or Transitions list causes itto be inserted in the editing area, at the current cursor position;

By pressing the Analyze button, the client communicates with the server, sending the data necessary for the analysis, and receiving the results, that will be showed in an appropriate window.

Running WebSPN as an application, pressing the Analyze button it will be asked to insert the Analysis server address(a valid URL) and socket port, if not yet setted.

By pressing the Help button , the client has more help about available measures and the syntax to be used to specify measures.

By pressing Analysis Monitoring button the user can monitor the completed and running analysis and simulations by following window:

• Model Name area shows the Petri net model launched on the server
• List of Jobs area shows a list of different execution of the same model. Supposedly each job will be launched by the user with different startup parameters and/or different measures.
• Output area is used to show the information resulting from the interaction of the user with button set.
• Subjobs area --- work in progress
• Job Status button pressing displays the current state of job selected. The possibly state are:
  • Running: job is in execution phase;
  • Completed: analysis of the job has been completed successfully and the results are available on the server;
  • Failed: analysis of the job is not successful and the results aren't available on the server;
• Cancel Job button pressing, deletes selected job from the server;
• Job Output button pressing, retrieves .tgz result file;
• View Job Details button pressing, displays the startup parameters and measures of selected job on Output area;

Results files

In general, the files that are always returned by Analytical Solution are:

• err: which contains the standard error generated by the analytic tool during the execution of the model;
• out: which contains the standard output generated by analytic tool during execution of the model;
• namemodel.xml_namemeasure.vres:which contains the data concerning the measurement "namemeasure";
• namemodel.xml.res: which contains a list of retrieved .vres files. Each of these files is relative to a specific measure;

The user can request the return of a greater number of results files via a checkbox in Measures Dialog window as already mentioned before. These files are:

• namemodel.xml.RG: which contains the reachability graph generated by the analytic tool
• namemodel.xml.prb:
• namemodel.xml.pss:
• namemodel.xml.iss:
• namemodel.xml.int:
• namemodel.xml.ep0:
• namemodel.xml.inf.0:
• namemodel.xml.proc:
• namemodel.xml_exp.mat:

Results files returned by the Simulator are:

• err: which contains the standard error generated by the simulator during the execution of the model;
• out: which contains the standard output generated by the simulator during execution of the model;
• namemodel.xml_transitory: which contains the calculated values of requested transitory measures;
• namemodel.xml_steady-state: which contains the calculated values of requested steady measures