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

Wiki

Clone wiki

GSPN benchmark / Net07

View History

Flexible manufacturing system

Net07

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FC (25,22) throughput activityM1 X(activityM1)

Reference

E. Pacini Naumovich, S. Bernardi, Modelado de Redes de Petri con Intervalos de Tiempo mediante la herramienta ITPN-PerfBound. Proc. of V Encuentro de Investigadores y Docentes de Ingeniera (EnIDI'09), Los Reyunos, Mendoza (Argentina), 12-14 November 2009. IEEE.

Scaling parameter

N: Number of raw material (initial marking of place P1).

  • Values: 1, 10, 100

Structural features

  • 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