On the siphon-based characterization of liveness in sequential resource allocation systems

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

Volumn 2679, Issue , 2003, Pages 241-255

  Reveliotis, Spyros A ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Deadlock resolution; Petri net structural analysis; Sequential resource allocation systems; Siphons

Indexed keywords

CHARACTERIZATION; PETRI NETS; RESOURCE ALLOCATION;

GENERAL THEORY; KEY STRUCTURES; LIVENESS; NON-LIVENESS; RESOURCE ALLOCATION SYSTEMS; STRUCTURAL OBJECTS;

SIPHONS;

EID: 35248817352     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_17     Document Type: Article

References (24)

1. K. Barkaoui and I. Ben Abdallah. Analysis of a resource allocation problem in fms using structure theory of petri nets. In Proc. of the 1st Intl Workshop on Manufacturing and Petri Nets, pages 1-15, 1996.
2. K. Barkaoui, A. Chaoui, and B. Zouari. Supervisory control of discrete event systems based on structure theory of petri nets. In Proc. of the IEEE Intl Conf. on Systems, Man and Cybernetics, pages 3750-3755. IEEE, 1997.
3. F. Chu and X-L. Xie. Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Trans. on R&A, 13:793-504, 1997.
4. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge Univerrsity Press, 1995.
5. J. Ezpeleta, J. M. Colom, and J. Martinez. A petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on R&A, 11:173-184, 1995.
6. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. on Robotics and Automation, 13:347-363, 1997.
7. M. P. Fanti, B. Maione, and T. Turchiano. Comparing digraph and petri net approaches to deadlock avoidance in fms modeling and performance analysis. IEEE Trans. on Systems, Man and Cybernetics, Part B, 30:783-798, 2000.
8. M. Jeng and X. Xie. Modeling and analysis of semiconductor manufacturing systems with degraded behaviors using petri nets and siphons. IEEE Trans. on Robotics and Automation, 17:576-588, 2001.
9. M. Lawley, S. Reveliotis, and P. Ferreira. The application and evaluation of banker's algorithm for deadlock-free buffer space allocation in flexible manufacturing systems. Intl. Jrnl. of Flexible Manufacturing Systems, 10:73-100, 1998.
10. M. A. Lawley. Deadlock avoidance for production systems with flexible routing. IEEE Trans. Robotics & Automation, 15:497-509, 1999.
11. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77:541-580, 1989.
12. J. Park. Structural Analysis and Control of Resource Allocation Systems using Petri nets. PhD thesis, Georgia Institute of Technology, Atlanta, GA, 2000.
13. 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.
14. J. Park and S. A. Reveliotis. A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings. In Proc. of CDC 2000. IEEE, 2000.
15. J. Park and S. A. Reveliotis. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. on Automatic Control, 46:1572-1583, 2001.
16. S. Reveliotis. Liveness enforcing supervision for sequential resource allocation systems: State of the art and open issues. In B. Caillaud, X. Xie, P. Darondeau, and L. Lavagno, editors, Synthesis and Control of Discrete Event Systems, pages 203-212. Kluwer Academic Publishers, 2002.
17. ∼spyros, 2001.
18. S. A. Reveliotis and P. M. Ferreira. Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. on Robotics & Automation, 12:845-857, 1996.
19. S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira. Structural control of large-scale flexibly automated manufacturing systems. In C. T. Leondes, editor, The Design of Manufacturing Systems, pages 4-1-4-34. CRC Press, 2001.
20. F. Tricas, J. M. Colom, and J. Ezpeleta. A solution to the problem of deadlock in concurrent systems using petri nets and integer linear programming. In Proceedings of the 11th Eurpoean Simulation Symposium, pages 542-546, 1999.
21. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta. A structural approach to the problem of deadlock prevention in processes with resources. In Proceedings of the 4th Workshop on Discrete Event Systems, pages 273-278. IEE, 1998.
22. W. Van der Aalst. Structural characterizations of sound workflow nets. Technical Report Computing Science Reports 96/23, Eindhoven University of Technology, 1996.
23. W. Van der Aalst. Verification of workflow nets. In P. Azema and G. Balbo, editors, Lecture Notes in Computer Science, Vol. 1248, pages 407-426. Springer Verlag, 1997.
24. X. Xie and M. Jeng. Ercn-merged nets and their analysis using siphons. IEEE Trans. on R&A, 13:692-703, 1999.