Wiki
Clone wikiGSPN benchmark / Net42
Assembly line - Kanban strategy
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
monoT-semiflow | (31,20) | throughput | Dem | X(Dem) |
Reference
A. Zimmermann, Stochastic Discrete Event Systems, New York, Springer-Verlag, 2007.
Scaling parameter
Number of raw material, customers, kanban (initial marking of places inA,inB,inC,cust,Kanban2)
- Values: inA,inB,inC: 2, 20, 200; cust: 5, 50, 500; Kanban2: 1, 10, 100
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