A Petri-net Approach to the Control of Discrete-event Systems

This publication has 6 references indexed in Scilit:

• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Process-translatable Petri nets for the rapid prototyping of process control systems
  IEEE Transactions on Software Engineering, 1986
• Petri net-based object-oriented modelling of distributed systems
  Published by Association for Computing Machinery (ACM) ,1986
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978