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

Wiki

Clone wiki

GSPN benchmark / Net14

View History

Flexible manufacturing system

Net14

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
general (29,26) throughput movePieceToExit X(movePieceToExit)

Reference

S. Bernardi, S. Marrone, J. Merseguer, R. Nardone, V. Vittorini, Towards an MDE approach for NFPs assessment using multiformalism: an application to performability, Technical Report, 2016.

Scaling parameter

N: Number of raw material (initial marking of places start1).

  • Values: 5, 50, 500

Structural properties

  • all the places are covered by some P-invariant
  • structurally bounded
  • not all the transitions are covered by some T-invariant
  • deadlock-free
  • not live
  • transient initial marking
  • one livelock

Updated