Wiki
Clone wikiGSPN benchmark / Net07
Flexible manufacturing system
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