... | ... | @@ -11,6 +11,8 @@ Discrete places should also contain the attribute "marking" which implies the nu |
|
|
|
|
|
Continuous places should have the attribute "capacity" for the place's maximum fluid capacity and the Boolean flag attribute "infiniteCapacity" set to "1" if the place has no upper boundary. The lower boundary for a place is always zero. Continuous places also need the attribute "level" for the fluid level of the place in the initial state. Both values, for capacity and level, have the be convertible to Double values (>= 0.0).
|
|
|
|
|
|
If you use the current version 2.0, continuous places can have non-linear continuous behavior, which is approximated by piecewise-linear trajectories. In this case, you need also a attribute "quantum", which determines much far the approximated value is allowed to differ from the real value.
|
|
|
|
|
|
### Transitions
|
|
|
|
|
|
Within the <transitions> section there can be 5 kinds of transitions: <immediateTransition>, <deterministicTransition>, <generalTransition>, <continuousTransition> and <dynamicContinuousTransition>. Transitions should also contain an "id" attribute.
|
... | ... | @@ -19,7 +21,9 @@ Immediate, deterministic and general transitions have the attributes "weight" (D |
|
|
|
|
|
General transitions also need the attribute "policy" which can have one of the values "resume", "repeatdifferent" or "repeatidentical", defining what happens to the enabling time when a general transition is disabled and enabled again. Furthermore the attribute "cdf" defines the cumulative distribution function for the firing of the transition and depending on this attribute different sub XML elements of the type <parameter> are needed with the attributes "name" and "value". See the list for all parameters needed.
|
|
|
|
|
|
Continuous transitions should have a "rate" attribute (Double >= 0.0) and dynamic continuous transitions need the sub elements <pid> with the attribute "coef" (for weighting) and containing the id of the referenced continuous transition.
|
|
|
Continuous transitions should have a "rate" attribute (Double >= 0.0).
|
|
|
|
|
|
In version 1.0, dynamic continuous transitions need the sub elements <pid> with the attribute "coef" (for weighting) and containing the id of the referenced continuous transition. From version 2.0, those sub elements are optional for dynamic continuous transitions and they additionally may have the attributes "rateFunction" and "changeOfRateFunction" to define a textual description of the rate function and its first derivative.
|
|
|
|
|
|
### Arcs
|
|
|
|
... | ... | |