Wiki
Clone wikiGSPN benchmark / Net10
Simple system scenario
To improve net readability, broken arcs are used in the figure.
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
monoT-semiflow | (36, 26) | throughput | A_A1 (top, left) | X(A_A1) |
Reference
S. Bernardi, J. Campos, J. Merseguer, Timing-failure risk assessment of UML design using Time Petri Net bound techniques, IEEE Transaction on Industrial Informatics, vol. 7(no. 1), pp. 90-104, Feb.2011.
Scaling parameter
number of instances (initial marking of places A0,B0,C0).
- Values: 1, 10, 100
Structural features
- all the places are covered by some P-invariant
- structurally bounded
- all the transitions are covered by the T-invariant
- deadlock-free
- live
- the initial marking is a home state
Updated