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

Wiki

Clone wiki

GSPN benchmark / Net10

View History

Simple system scenario

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

Net10

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