Assembly line - on-demand strategy

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