Modular modeling using Petri nets
- 1 January 1996
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Robotics and Automation
- Vol. 12 (5) , 800-809
- https://doi.org/10.1109/70.538984
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Top-down synthesis of live and bounded free choice netsPublished by Springer Nature ,2005
- Extending Knitting Technique To Petri Net Synthesis Of Automated Manufacturing SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Petri Net Synthesis for Discrete Event Control of Manufacturing SystemsPublished by Springer Nature ,1993
- Liveness and boundedness analysis for Petri nets with event graph modulesPublished by Springer Nature ,1992
- Modular transformation methods for generalized Petri nets and their application to automated manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics, 1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Generalized Petri Net Reduction MethodIEEE Transactions on Systems, Man, and Cybernetics, 1987
- A Petri net approach to the modelling and analysis of flexible manufacturing systemsAnnals of Operations Research, 1985
- A method for stepwise refinement and abstraction of Petri netsJournal of Computer and System Sciences, 1983
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979