Wiki
Clone wikiGSPN benchmark / Net43
Flexible manufacturing cell
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
FRT | (86,74) | throughput | ManBok | X(ManBok) |
Reference
A. Zimmermann, Stochastic Discrete Event Systems, New York, Springer-Verlag, 2007.
Scaling parameter
Number of pallets and AGVC (initial marking of places Pallets,AGVC)
- Values: Pallets: 8, 80, 800; AGCV: 2, 20, 200
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