WebSPN 3.3

The changes takes effect only when you click the Apply button,while the Clear button restore the actual property values into the inspector controls. Finally the Close button hides the inspector from the view.

Its aspect depend on which kind of component you have selected:

• Selecting a Text the inspector looks like this:

Is possible to modify the text, and the font used to show it, with its style. The text can contain spaces and any other character.


 
• Selecting a Place the inspector looks like this:



Is possible to modify the Place name, and the font used to show it, with its style. The name can't contain spaces or other special characters, so an automatic conversion from spaces to underscores is made. Due to analysis reasons each name must be univocal, so the changes will not be applied at all if the name already exists. Clearly, Tokens could contain only positive integer values.


 
• Selecting an Arc the inspector looks like this:



Since there are 2 types of arc (the one that starts from a place and ends to a transition, and the one that has the opposite path) there are 2 aspects. Common to the 2 arc types is the Multiplicity of the arc, an integer greater than 0, the marking dependent checkbox to set multiplicity of arc depending from a place and the visualization of the names of the components the arc connect. The arc that finishes into a transition can be inhibitor, that is it disable the transition if the place from which it starts contains a number of tokens greater than arc multiplicity.


 
• Selectin a Transition the inspector looks like this:



Is possible to modify the Transition name, and the font used to show it, with its style. The name can't contain spaces or other special characters, so an automatic conversion from spaces to underscores is made. Due to analysis reasons each name must be univocal, so the changes will not be applied at all if the name already exists. Priority must be a not negative integer. The specific parameters for each type of transition must be real positive (negative times have no sense). In Guard text area you can specify a guard condition associated with the transition.

Matrix File Format

The first line must be composed of three integers representing respectively:

• row number
• column number
• 0 or 1, depending on whether the next lines of the file are row or column elements (0 row, 1 column)

The other lines must be composed with:

• an integer that represents the number of non-zero elements on row/column
• for each non-zero elements, a pair of values:
• an integer that represents the index in the row/column
• a rational number that represents the probability value for your distribution

Matrix file example:
2 3 0
3 1 6.21096346e-01 2 2.59267354e-01 3 1.19636300e-01
2 2 6.42808160e-01 3 3.57191840e-01

The file example above describes the following matrix:
6.21096346e-01 2.59267354e-01 1.19636300e-01
6.42808160e-01 3.57191840e-01 0

Note that the sum of the elements on the line must be equal to 1.