A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
- 1 January 1993
- journal article
- review article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics
- Vol. 23 (1) , 301-312
- https://doi.org/10.1109/21.214792
Abstract
No abstract availableThis publication has 40 references indexed in Scilit:
- Modeling, validation and software implementation of production systems using high level Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Generalized Petri Net Reduction MethodIEEE Transactions on Systems, Man, and Cybernetics, 1987
- Hierarchical reduction method for analysis and decomposition of Petri netsIEEE Transactions on Systems, Man, and Cybernetics, 1985
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- The Complexity of the Finite Containment Problem for Petri NetsJournal of the ACM, 1981
- Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and PerformanceIEEE Transactions on Software Engineering, 1980
- Reduction and expansion of live and safe marked graphsIEEE Transactions on Circuits and Systems, 1980
- Specification and Validation of ProtocolsIEEE Transactions on Communications, 1979
- ReductionCommunications of the ACM, 1975
- A Comparison of Some Theoretical Models of Parallel ComputationIEEE Transactions on Computers, 1973