Wiki
Clone wikiGSPN benchmark / Net41
Assembly line - on-demand strategy
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
monoT-semiflow | (35,19) | throughput | Dem | X(Dem) |
Reference
A. Zimmermann, Stochastic Discrete Event Systems, New York, Springer-Verlag, 2007.
Scaling parameter
Number of raw material, customers, buffers (initial marking of places inA,inB,inC,cust,B1-8)
- Values: inA,inB,inC: 3, 30, 300; cust: 5, 50, 500; B1-8: 2, 20, 200
Structural properties
- all the places are covered by some P-invariant
- structurally bounded
- all the transitions are covered by the T-invariant
- deadlock-free
- live
- the initial marking is a home state
Updated