Top-down approach to systematic synthesis of Petri net models for manufacturing systems

Meng Chu Zhou, Frank DiCesare, Alan A. Desrochers

Research output: Contribution to journalConference articlepeer-review

57 Scopus citations

Abstract

The authors propose an approach to systematic synthesis of Petri net models for manufacturing systems. It is based on top-down, modular, and decomposition philosophies which make the stepwise refinement of the Petri-net models possible. Using the proposed method, it is possible to obtain a Petri net model which is guaranteed to have the most important properties in the context of manufacturing: safeness, liveness, and reversibility. A formal problem statement is presented first. Then the previous research on the synthesis approaches is reviewed. Next, several modules are defined which, when combined according to a proposed algorithm, lead to the derived model. It is proven that the algorithm yields the safeness, liveness, and reversibility properties. An example of piston-rod assembly is used to demonstrate the proposed method.

Original languageEnglish (US)
Pages (from-to)534-539
Number of pages6
JournalProceedings - IEEE International Conference on Robotics and Automation
StatePublished - 1989
Externally publishedYes
Event1989 IEEE International Conference on Robotics and Automation, ICRA 1989 - Scottsdale, AZ, USA
Duration: May 14 1989May 19 1989

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Top-down approach to systematic synthesis of Petri net models for manufacturing systems'. Together they form a unique fingerprint.

Cite this