What people are saying - Write a review
We haven't found any reviews in the usual places.
MODELING AND CONTROL ISSUES
PETRI NET THEORY IN MANUFACTURING
FORMAL DEFINITIONS CLASSIFICATION
4 other sections not shown
action place algorithm automated manufacturing systems block boundedness buffer chapter closed-form expression command concurrent conflict Conveyor coverability tree deadlock Definition directed circuit enabled transitions equivalent Markov chain example exponentially distributed fact FIFO Figure finished finite finite-state machines firing sequence Fixture Setup flexible assembly cell flexible manufacturing system free-choice GRAFCET GSPN model IEEE IEEE Trans immediate transitions incidence matrix initial marking mo input place invariants lemma Little's Law live and bounded machining workstation marked graph minimal node nonnegative integers number of tokens obtain operation output place output transitions P-invariants pallet part-type performance analysis Petri net controller Petri net model places and transitions prob problem queue queueing theory random variable reachability tree repair represent resource place reversible self-loops shown in Fig solution steady-state probabilities stochastic Petri nets storage subnet theorem throughput transition firing unreliable machine vector workcell zero