Material flow and control sequence specification of flexible production systems using coloured Petri nets

This publication has 17 references indexed in Scilit:

• A temporised Petri net approach for design, modelling and analysis of flexible production systems
  The International Journal of Advanced Manufacturing Technology, 1997
• Modern Manufacturing Systems: An Information Technology Perspective
  1997
• Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals
  IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1997
• System approach to design generic software for real-time control of flexible manufacturing systems
  IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1996
• Grafcet: a powerful tool for specification of logic controllers
  IEEE Transactions on Control Systems Technology, 1995
• Petri net structural analysis for supervisory control
  IEEE Transactions on Robotics and Automation, 1994
• A structure-function-control paradigm for knowledge-based modeling and design of manufacturing workcells
  Journal of Intelligent Manufacturing, 1992
• An incremental approach to logic controller design with Petri nets
  IEEE Transactions on Systems, Man, and Cybernetics, 1992
• Petri nets and flexible manufacturing
  1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989