Petri net construction and analysis of automated sequential manufacturing systems

Wern Kueir Jehng, Shih Sen Peng, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume4
DOIs
StatePublished - Jan 1 2001

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture

Keywords

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

Fingerprint

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

Cite this