Extending Knitting Technique To Petri Net Synthesis Of Automated Manufacturing Systems

This publication has 20 references indexed in Scilit:

• A hybrid methodology for synthesis of Petri net models for manufacturing systems
  IEEE Transactions on Robotics and Automation, 1992
• Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources
  IEEE Transactions on Robotics and Automation, 1991
• On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets
  IEEE Transactions on Systems, Man, and Cybernetics, 1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Towards a Synchrony Theory for P/T Nets
  Published by Springer Nature ,1987
• A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation
  IEEE Transactions on Industrial Electronics, 1986
• A Petri net approach to the modelling and analysis of flexible manufacturing systems
  Annals of Operations Research, 1985
• A method for stepwise refinement and abstraction of Petri nets
  Journal of Computer and System Sciences, 1983
• Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance
  IEEE Transactions on Software Engineering, 1980
• Reduction and expansion of live and safe marked graphs
  IEEE Transactions on Circuits and Systems, 1980