Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 322-341
- https://doi.org/10.1007/11767589_18
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Design of a live and maximally permissive petri net controller using the theory of regionsIEEE Transactions on Robotics and Automation, 2003
- Generalized mutual exclusion contraints on nets with uncontrollable transitionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of RegionsThe International Journal of Advanced Manufacturing Technology, 2002
- Theory of regionsLecture Notes in Computer Science, 1998
- Supervisory Control of Discrete Event Systems Using Petri NetsPublished by Springer Science and Business Media LLC ,1998
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- The control of discrete event systemsProceedings of the IEEE, 1989