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 conferencePaperpeer-review

55 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)
Pages534-539
Number of pages6
StatePublished - Dec 1 1989
Externally publishedYes
EventIEEE International Conference on Robotics and Automation - 1989 - Scottsdale, AZ, USA
Duration: May 14 1989May 19 1989

Other

OtherIEEE International Conference on Robotics and Automation - 1989
CityScottsdale, AZ, USA
Period5/14/895/19/89

All Science Journal Classification (ASJC) codes

  • Engineering(all)

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