A new MIP test for S3PGR2

Global Perspective for Competitive Enterprise, Economy and Ecology - Proceedings of the 16th ISPE International Conference on Concurrent Engineering

Volumn , Issue , 2009, Pages 41-52

  Shih, Yu Ying ^a,b   Chao, D Y ^c   Chiu, Chui Yu ^b  

^a NATIONAL TAIPEI UNIVERSITY OF BUSINESS   (Taiwan)

^b NATIONAL TAIPEI UNIVERSITY OF TECHNOLOGY   (Taiwan)

^c NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Deadlocks; MIP; Petri nets; Siphons

Indexed keywords

CONCURRENT ENGINEERING; INTEGER PROGRAMMING; PETRI NETS; SIPHONS;

COUNTER EXAMPLES; DEADLOCK-FREE; DEADLOCKS; FEASIBLE SOLUTION; GENERAL PETRI NETS; INPUT TRANSITION; MIXED INTEGER PROGRAMMING (MIP); SEQUENTIAL PROCESS;

TESTING;

EID: 80051889150     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-84882-762-2_4     Document Type: Conference Paper

References (8)

1. F. Chu and X. L. Xie (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Automat., 13, pp. 793-804.
2. Huang, Y. S., Jeng, M. D., Xie, X. L., Chung, S. L. (2001) Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research, 39(2), pp.283-305.
3. J. Ezpeleta, J. M. Colom, and J. Martinez (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Automat., 11(2), pp. 173-184.
4. Li, Z. W., Hu, H. S., Wang, A. R. (2007) Design of liveness-enforcing super-visors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 37(4), pp.517-526.
5. Li, Z. W., Zhou, M. C., Uzam, M. (2007) Deadlock control policy for a class of Petri nets without complete siphon enumeration. IET Control Theory and Applications, 1(6), pp.1594- 1605.
6. J. Park and S. A. Reveliotis (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Automat. Contr., 46(10), pp. 1572-1583.
7. 2. IET Control Theory and Applications, 1(4), pp. 933-936.
8. K. Barkaoui and J. Pradat-Peyre (1996) On liveness and controlled siphons in Petri nets. In Reisig, (Ed.), "Petri Nets, Theory and Application", 1091 in LNCS. Springer-Verlag, pp. 57-72.