Strict concurrency and nondeterministic control of discrete-event systems

This publication has 10 references indexed in Scilit:

• Strict concurrency and nondeterministic control of discrete-event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• State feedback and modular control synthesis in controlled Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• On sSupervisory control of real-time discrete-event systems
  Information Sciences, 1988
• Modeling and analysis of transaction execution in database systems
  IEEE Transactions on Automatic Control, 1988
• A Control Theory for Discrete-Event Systems
  Published by Springer Nature ,1988
• Control of discrete event processes with forced events
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Modular Feedback Logic for Discrete Event Systems
  SIAM Journal on Control and Optimization, 1987
• Formal verification of parallel programs
  Communications of the ACM, 1976
• Parallel program schemata
  Journal of Computer and System Sciences, 1969