Petri net construction and analysis of automated sequential manufacturing systems

Wern Kueir Jehng, Shih Sen Peng, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review


This paper 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.

Original languageEnglish (US)
Pages (from-to)2469-2474
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
StatePublished - 2001

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture


  • Automated manufacturing systems (AMS)
  • Markov process
  • Stochastic petri nets (SPN)


Dive into the research topics of 'Petri net construction and analysis of automated sequential manufacturing systems'. Together they form a unique fingerprint.

Cite this