Synthesis for manufacturing systems integration

This publication has 35 references indexed in Scilit:

• Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources
  IEEE Transactions on Robotics and Automation, 1991
• The spy: A mechanism for safe implementation of highly concurrent systems
  Annual Review in Automatic Programming, 1988
• A Petri net approach to the modelling and analysis of flexible manufacturing systems
  Annals of Operations Research, 1985
• Modeling and analysis of communication and cooperation protocols using petri net based models
  Computer Networks (1976), 1982
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Additional methods for reduction and expansion of marked graphs
  IEEE Transactions on Circuits and Systems, 1981
• The Complexity of the Finite Containment Problem for Petri Nets
  Journal of the ACM, 1981
• Reduction and expansion of live and safe marked graphs
  IEEE Transactions on Circuits and Systems, 1980
• On reduction of asynchronous systems
  Theoretical Computer Science, 1977
• Marked directed graphs
  Journal of Computer and System Sciences, 1971