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

Wiki

Clone wiki

GSPN benchmark / Net03

View History

Flexible manufacturing system

Net03

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FRT (37, 34) system throughput init X(init)

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

N: Number of raw materials (initial marking of place start).

  • Values: 5, 50, 500

Structural features

  • all the places are covered by P-invariants
  • structurally bounded
  • all the transitions are covered by some T-invariant
  • deadlock-free
  • live
  • the initial marking is a home state

Updated