Generalizing parallel and sequential mutual exclusions for Petri net synthesis of manufacturing systems

Research output: Contribution to conferencePaperpeer-review

5 Scopus citations

Abstract

A parallel mutual exclusion concept has been formulated to model a resource shared by distinct independent processes and sequential mutual exclusion to model a resource shared by sequentially related processes. Both concepts were proven useful in synthesizing bounded, live, and reversible Petri nets for discrete event dynamic systems, especially for manufacturing systems. This paper generalizes these two concepts in order to model more complicated resource-sharing systems. Furthermore, this paper demonstrates their benefit to all the synthesis methods such as bottom-up, top-down, and rule-based approaches in order to build up a Petri net model with good properties.

Original languageEnglish (US)
Pages49-55
Number of pages7
StatePublished - 1996
EventProceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2) - Kauai, HI, USA
Duration: Nov 18 1996Nov 21 1996

Other

OtherProceedings of the 1996 IEEE Conference on Emerging Technologies and Factory Automation, ETFA'96. Part 2 (of 2)
CityKauai, HI, USA
Period11/18/9611/21/96

All Science Journal Classification (ASJC) codes

  • General Engineering

Fingerprint

Dive into the research topics of 'Generalizing parallel and sequential mutual exclusions for Petri net synthesis of manufacturing systems'. Together they form a unique fingerprint.

Cite this