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

Wiki

Clone wiki

GSPN benchmark / Net44

View History

Oil pipeline network

Net44

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FRT (140,110) oil distribution throughput D5p9 X(D5p9)

Reference

S. Bernardi, J. Campos, A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(5), September 2013.

Scaling parameter

Number of oil barrels (initial marking of place sources)

  • Values: 1, 10, 100

Structural properties

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

Updated