Modular synthesis of Petri nets for modeling flexible manufacturing systems

This publication has 10 references indexed in Scilit:

• Top-down synthesis of live and bounded free choice nets
  Published by Springer Nature ,2005
• Synthesis for manufacturing systems integration
  Published by Springer Nature ,1993
• A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
  IEEE Transactions on Systems, Man, and Cybernetics, 1993
• A hybrid methodology for synthesis of Petri net models for manufacturing systems
  IEEE Transactions on Robotics and Automation, 1992
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• 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
• Analysis of petri nets by stepwise refinements
  Journal of Computer and System Sciences, 1979
• Communicating sequential processes
  Communications of the ACM, 1978
• A Synthesis Rule for Concurrent Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978