Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 2797-2804

  Liao, Hongwei ^a   Lafortune, Stéphane ^a   Reveliotis, Spyros ^b   Wang, Yin ^c   Mahlke, Scott ^a  

^a The Department of Civil and Environmental Engineering   (United States)

^b Georgia Institute of Technology   (United States)

^c HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SIPHONS;

CONTROL POLICY; CONTROL SYNTHESIS; DEADLOCK AVOIDANCE; FINITE NUMBER; ITERATIVE CONTROL; MONITOR PLACES; MULTITHREADED; SPECIAL CLASS;

ITERATIVE METHODS;

EID: 79953134788     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2010.5716934     Document Type: Conference Paper

References (16)

1. K. Barkaoui and J.-F. Pradat-Peyre. On liveness and controlled siphons in Petri nets. Proc. the 17th International Conference on Applications and Theory of Petri Nets, pages 57-72, 1996.
2. E. R. Boer and T. Murata. Generating basis siphons and traps of Petri nets using the sign incidence matrix. IEEE Trans. on Circuits and Systems - I, 41(4):266-271, Apr. 1994.
3. A. Ghaffari, N. Rezg, and X. Xie. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, 19(1):137-142, 2003.
4. M. V. Iordache and P. J. Antsaklis. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston, MA, 2006.
5. M. V. Iordache and P. J. Antsaklis. Concurrent program synthesis based on supervisory control. In ACC '10, pages 3378-3383, 2010.
6. T. Kelly, Y. Wang, S. Lafortune, and S. Mahlke. Eliminating concurrency bugs with control engineering. IEEE Computer, 42(12):52-60, December 2009.
7. Z. Li and M. Zhou. Modeling, Analysis, and Deadlock Control of Automated Manufacturing Systems. Science Press, Beijing, 2009.
8. Z. Li, M. Zhou, and N. Wu. A survey and comparison of Petri netbased deadlock prevention policies for flexible manufacturing systems. IEEE Trans. on Systems, Man, and Cybernetics - Part C, 38(2):173-188, Mar. 2008.
9. J. O. Moody and P. J. Antsaklis. Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Boston, MA, 1998.
10. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, Apr. 1989.
11. T. Murata, B. Shenker, and S. M. Shatz. Detection of Ada static deadlocks using Petri net invariants. IEEE Trans. on Software Engineering, 15(3):314-326, Mar. 1989.
12. A. Nazeem, S. Reveliotis, Y. Wang, and S. Lafortune. Optimal deadlock avoidance for complex resource allocation systems through classification theory. In WODES '10, 2010.
13. S. A. Reveliotis. Real-Time Management of Resource Allocation Systems: A Discrete-Event Systems Approach. Springer, New York, NY, 2005.
14. M. Uzam. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology, 19(3):192-208, 2002. (Pubitemid 34268717)
15. Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. Mahlke. The theory of deadlock avoidance via discrete control. In POPL '09.
16. Y. Wang, H. Liao, S. Reveliotis, T. Kelly, S. Mahlke, and S. Lafortune. Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. In CDC '09, pages 4971-4976.