A hybrid methodology for synthesis of Petri net models for manufacturing systems
- 1 June 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Robotics and Automation
- Vol. 8 (3) , 350-361
- https://doi.org/10.1109/70.143353
Abstract
No abstract availableThis publication has 32 references indexed in Scilit:
- Real time control of multilevel manufacturing systems using colored Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A review of synthesis techniques for Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Adaptive design of Petri net controllers for error recovery in automated manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics, 1989
- Towards a Synchrony Theory for P/T NetsPublished by Springer Nature ,1987
- Modular synthesis of deadlock-free control structuresPublished by Springer Nature ,1986
- Petri nets: Basic notions, structure, behaviourPublished by Springer Nature ,1986
- A method for stepwise refinement and abstraction of Petri netsJournal of Computer and System Sciences, 1983
- Additional methods for reduction and expansion of marked graphsIEEE Transactions on Circuits and Systems, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979