Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Liveness analysis of sequence control specifications described in capacity designated Petri net using reductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A hierarchical modeling methodology for flexible manufacturing systems using extended Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Modular synthesis of deadlock-free control structuresPublished by Springer Nature ,1986
- 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
- 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