Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics
- Vol. 21 (6) , 1512-1522
- https://doi.org/10.1109/21.135693
Abstract
The authors present transformation methods for generalized Petri nets by introducing and using the concept of a live and bounded circuit (LB-circuit), based on fusing common paths. An LB-circuit is a generalized version of a simple elementary circuit. The authors briefly review generalized Petri nets, including their formal definitions and properties, and define an arc ratio, a remainder, and an LB-circuit. A partially overlapping relation is introduced. Using these concepts, four lemmas and three theorems which are the theoretical background for the transformation methods are presented. Reduction methods are described with examples. Synthesis methods are illustrated for a simple automated manufacturing system, a machining/assembly process with three robots and two workstations.Keywords
This publication has 24 references indexed in Scilit:
- Checking properties of nets using transformationsPublished by Springer Nature ,2005
- On the invariants of coloured Petri NetsPublished by Springer Nature ,2005
- Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resourcesIEEE Transactions on Robotics and Automation, 1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Specification and Verification of Asynchronous Circuits Using Marked GraphsPublished by Springer Nature ,1987
- A Petri net approach to the modelling and analysis of flexible manufacturing systemsAnnals of Operations Research, 1985
- Stepwise Refinements of Transitions and PlacesPublished by Springer Nature ,1982
- Reduction and expansion of live and safe marked graphsIEEE Transactions on Circuits and Systems, 1980
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Marked directed graphsJournal of Computer and System Sciences, 1971