1. Simona Bernardi Avatar Simona Bernardi
  2. GSPN benchmark
  3. GSPN benchmark

Wiki

Clone wiki

GSPN benchmark / Net09

View History

Computer assisted braking system

To improve net readability, broken arcs are used in the figure.

Net09

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
monoT-semiflow (72, 53) throughput BBP (top, left) X(BBP)

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

none

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