Title :
Petri net construction and analysis of automated sequential manufacturing systems
Author :
Jehng, WernKueir ; Peng, ShihSen ; Zhou, MengChu
Author_Institution :
Dept. of Ind. Eng. & Manage., Nat. Kaohsiung Univ. of Appl. Sci., Taiwan
Abstract :
Develops and evaluates an automated process sequential manufacturing system using stochastic Petri nets (SPN) theory. The proposed Petri net-based graphic model is used to generate a reachability tree. The tree is, in turn, converted to a state table representation of a Markov process model to investigate the model for liveness, boundedness, reversibility, and performance. Other important characteristics of a dynamic system, such as conflict, blocking, and deadlock can also be examined. Different configurations of an automated system are studied by SPN models to design an improved system
Keywords :
Markov processes; Petri nets; computer integrated manufacturing; conveyors; Markov process model; Petri net-based graphic model; automated sequential manufacturing systems; blocking; boundedness; conflict; deadlock; dynamic system; liveness; performance; reachability tree; reversibility; state table representation; stochastic Petri nets; Automatic control; Computer graphics; Computer integrated manufacturing; Manufacturing systems; Performance analysis; Petri nets; Robotics and automation; Stochastic systems; System recovery; Tree graphs;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.972928
