Blocking and controllability of Petri nets in supervisory control

This publication has 15 references indexed in Scilit:

• Supervisory control for concurrent discrete event dynamic systems based on petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A note on deciding the controllability of a language K with respect to a language L
  IEEE Transactions on Automatic Control, 1993
• On Petri net models of infinite state supervisors
  IEEE Transactions on Automatic Control, 1992
• Synthesis of feedback control logic for a class of controlled Petri nets
  IEEE Transactions on Automatic Control, 1990
• On the existence of finite state supervisors in discrete-event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Modular supervisory control of discrete-event systems
  Mathematics of Control, Signals, and Systems, 1988
• On the Supremal Controllable Sublanguage of a Given Language
  SIAM Journal on Control and Optimization, 1987
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987