Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance AnalysisModeling and control issues in automated manufacturing systems. Introduction to Markov processes and queueing theory. Petri net theory in manufacturing. Formal definitions, classification, and properties of ordinary petri nets. Analysis of petri nets. Timed, stochastic, and generalized stochastic petri nets. Performance analysis of automated manufacturing systems using petri nets. Petri net modeling and real-time controllers. |
Contents
MODELING AND CONTROL ISSUES | 1 |
AND QUEUEING THEORY | 18 |
PETRI NET THEORY IN MANUFACTURING | 55 |
Copyright | |
5 other sections not shown
Common terms and phrases
a₁ algorithm automated manufacturing systems average production rate block boundedness buffer chapter command concurrent conflict Conveyor coverability tree deadlock Definition directed circuit 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 incoming material initial marking mo input place lemma live and bounded M₁ M₂ machining workstation marked graph Markov chain minimal node nonnegative integers number of tokens obtain operation ordinary Petri output place P-invariants p₁ pallet part-type performance analysis Petri net controller Petri net model places and transitions prob problem queue r₁ random variable reachability tree repair represent resource place reversible self-loops shown in Fig solution steady-state probabilities stochastic Petri nets storage subnet t₁ t₂ throughput unreliable machine vector workcell Y₁ zero