Wiki
Clone wikiGSPN benchmark / Net01
Robot systems
To improve net readability, broken arcs are used in the figure.
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
general | (49,41) | control rate | Read_Location_TO | X(Read_Location_TO) |
Reference
S. Bernardi, J. Campos, Computation of Performance Bounds for Real-time systems using Time Petri Nets, IEEE Transactions on Industrial Informatics, vol.5(2), pages 168-180, May 2009.
Scaling parameter
none
Structural features
- not all the places are covered by P-invariants
- not structurally bounded
- all the transitions covered by some T-invariant
- deadlock-free
- live
Updated