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

Volume

4

fYear

2001

fDate

2001

Firstpage

2469

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2001 IEEE International Conference on

Conference_Location

Tucson, AZ

ISSN

1062-922X

Print_ISBN

0-7803-7087-2

Type

conf

DOI

10.1109/ICSMC.2001.972928

Filename

972928