Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4024 LNCS, Issue , 2006, Pages 322-341

  Reveliotis, Spyros A ^a   Choi, Jin Young ^b  

^a Georgia Institute of Technology   (United States)

^b Samsung Advanced Institute of Technology (SAIT)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; CONSTRAINT THEORY; INTEGER PROGRAMMING; OPTIMIZATION; POLYNOMIALS;

BEHAVIORAL SPACES; MUTUAL EXCLUSION CONSTRAINTS; OPTIMIZATION SOFTWARE; PROCESS-RESOURCE NETS; REVERSIBILITY-ENFORCING SUPERVISORS;

PETRI NETS;

EID: 33746071615     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767589_18     Document Type: Conference Paper

References (11)

1. E. Badouel and P. Darondeau. Theory of regions. In W. Reisig and G. Rozenberg, editors, LNCS 1491 - Advances in Petri Nets: Basic Models, pages 529-586. Springer-Verlag, 1998.
2. A. Ghaffari, N. Rezg, and X. Xie. Design of a live and maximally permissive petri net controller using the theory of regions. IEEE Trans. on Robotics & Automation, 19:137-141, 2003.
3. A. Giua, F. DiCesare, and M. Suva. Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of the 1992 IEEE Intl. Conference on Systems, Man and Cybernetics, pages 974-979. IEEE, 1992.
4. J. O. Moody and P. J. Antsaklis. Supervisory Control of Discrete Event Systems using Petri nets. Kluwer Academic Pub., Boston, MA, 1998.
5. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77:541-580, 1989.
6. J. Park and S. Reveliotis. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. on R&A, 16:190-195, 2000.
7. P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81-98, 1989.
8. S. A. Reveliotis. Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach. Springer, NY, NY, 2005.
9. M. Uzam. An optimal deadlock prevention policy for flexible manufacturing systems using petri net models with resources and the theory of regions. Intl. Jrnl of Advanced Manufacturing Technology, 19:192-208, 2002.
10. W. L. Winston. Introduction To Mathematical Programming: Applications and Algorithms, 2nd ed. Duxbury Press, Belmont, CA, 1995.
11. M. Zhou and M. P. Fanti (editors). Deadlock Resolution in Computer-Integrated Systems. Marcel Dekker, Inc., Singapore, 2004.