| ... | ... | @@ -18,4 +18,4 @@ 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 cumultative 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) and dynamic continuous transitions need the sub elements <pid> |
