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

Wiki

Clone wiki

GSPN benchmark / Net45

View History

Oil pipeline network under attack

Net45

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FRT (150,117) 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

none

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