A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems

Meng Chu Zhou, Frank DiCesare, Alan A. Desrochers

Research output: Contribution to journalArticlepeer-review

325 Scopus citations

Abstract

This paper presents a hybrid methodology for systematic synthesis of Petri net models for automated manufacturing systems. Beginning with a bounded (safe), live, or reversible Petri net as a first-level net model for a system, we synthesize Petri nets by first refining operation places through basic design modules in top-down modular ways, then adding nonshared resource places stepwise, and finally adding shared resource places step by step in a bottom-up manner. Refinement theory is extended to include reversibility of Petri nets. Parallel and sequential mutual exclusions are used to model shared resources. Design of the first-level Petri nets is discussed and two basic kinds of Petri nets, choice-free and choice-synchronization, are given to cope with different types of manufacturing systems. The major advantages of the method are that the modeling details can be introduced in incremental ways such that complexity can be handled, and the important properties of the resulting Petri net are guaranteed so that costly mathematical analysis for boundedness, liveness, and reversibility can be avoided. These properties are necessary to control practical manufacturing systems and important in order to conduct system performance analysis. A manufacturing system consisting of four machines, one assembly cell, two shared robots, and two buffers is used to illustrate the design methodology.

Original languageEnglish (US)
Pages (from-to)350-361
Number of pages12
JournalIEEE Transactions on Robotics and Automation
Volume8
Issue number3
DOIs
StatePublished - Jun 1992

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems'. Together they form a unique fingerprint.

Cite this