A Petri net design method for automated manufacturing systems with shared resources

Mengchu Zhou, Frank DiCesare

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Scopus citations

Abstract

Two concepts are formulated: parallel and sequential mutual exclusion (SME) in the context of Petri net theory. The conditions under which a net containing such structures is bounded, live, and reversible are derived, and they are used to construct the Petri net models for a practical manufacturing system. The sufficient conditions for a Petri net to be live and reversible include that the number of initial tokens in each place be less than or equal to the token capacity of an SME and that the net without this SME be live and reversible.

Original languageEnglish (US)
Title of host publicationProc 90 IEEE Int Conf Rob Autom
PublisherPubl by IEEE
Pages526-531
Number of pages6
ISBN (Print)0818620617
StatePublished - Dec 1 1990
Externally publishedYes
EventProceedings of the 1990 IEEE International Conference on Robotics and Automation - Cincinnati, OH, USA
Duration: May 13 1990May 18 1990

Other

OtherProceedings of the 1990 IEEE International Conference on Robotics and Automation
CityCincinnati, OH, USA
Period5/13/905/18/90

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'A Petri net design method for automated manufacturing systems with shared resources'. Together they form a unique fingerprint.

Cite this