Petri net tools for the specification and analysis of discrete controllers

This publication has 10 references indexed in Scilit:

• Joining Petri nets and knowledge based systems for monitoring purposes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Concurrent operation specification language, COSL, for low-level manufacturing control
  Computers in Industry, 1989
• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• Process-translatable Petri nets for the rapid prototyping of process control systems
  IEEE Transactions on Software Engineering, 1986
• Applications of petri net based models in the modelling and analysis of flexible manufacturing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• A Petri net approach to the modelling and analysis of flexible manufacturing systems
  Annals of Operations Research, 1985
• An Autonomous, Decentralized Control System for Factory Automation
  Computer, 1984
• A Petri-Net Based FA (Factory Automation) Controller for Flexible and Maintainable Control Specifications
  Transactions of the Society of Instrument and Control Engineers, 1984
• Using Petri nets to represent production processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• Comments on capabilities, limitations and “correctness” of Petri nets
  Published by Association for Computing Machinery (ACM) ,1973