Maximal class of weakly live ordinary petri nets without emptiable siphons

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 36, Issue 6, 2006, Pages 1332-1341

  Chao, Daniel Y ^a,b  

^a IEEE   (Taiwan)

^b NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Deadlock free; Live; Petri nets (PNs); Siphons; Traps; Virtual first order structure (VFOS)

Indexed keywords

DEADLOCK FREE; SIPHONS TRAPS; VIRTUAL FIRST ORDER STRUCTURE (VFOS); VIRTUAL NET (V NET);

COMPUTER NETWORKS; COMPUTER SYSTEM RECOVERY; SYNCHRONIZATION; VIRTUAL REALITY;

PETRI NETS;

EID: 33847641659     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2006.875864     Document Type: Article

References (18)

1. K. Barkaoui and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," in Proc. INRIA/IEEE Symp. ETFA, 1995, vol. 2, pp. 499-510.
2. D. Y. Chao, "Extended synchronized choice nets," Comput. J., vol. 46, no. 5, pp. 505-523, Sep. 2003.
3. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
4. K. Barkaoui, J. M. Couvreur, and C. Dutheillet, "On liveness in extended non self-controlling nets," in Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 935. New York: Springer-Verlag, 1995, pp. 25-44.
5. M. Jeng, X. Xie, and S. L. Chung, "ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 34, no. 1, pp. 102-112, Jan. 2004.
6. D. Y. Chao and D. T. Wang, "Two theoretical and practical aspects of knitting technique-Invariants and a new class of Petri net," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 27, no. 6, pp. 962-977, Dec. 1997.
7. D. Y. Chao and J. A. Nicdao, "Liveness for synchronized choice Petri nets," Comput. J., vol. 44, no. 2, pp. 124-136, 2001.
8. W. Reisig, "Petri nets: An introduction," in EATCS Monographs on Theoretical Computer Science, W. Brauer, G. Rozenberg, and A. Salomaa, Eds. New York: Springer-Verlag, 1985.
9. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
10. K. Lautenbach and H. Ridder, "Liveness in bounded Petri nets which are covered by T-Invariants," in Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 815, R. Valette, Ed. Zaragoza, Spain: Springer-Verlag, 1994, pp. 358-378.
11. F. Commoner, "Deadlocks in Petri Nets," Applied Data Res. Inc., Wakefield, MA, Tech. Rep. CA-7206-2311, 1972.
12. D. Y. Chao, "Performance of multi-rate data flow graphs for concurrent processing," J. Inf. Sci. Eng., vol. 13, no. 1, pp. 85-123, Mar. 1997.
13. D. Y. Chao and D. Wang, "A synthesis technique for general Petri nets," J. Syst. Integr., vol. 4, no. 1, pp. 67-102, Feb. 1994.
14. Y. S. Huang, M. Jeng, X. L. Xie, and S. L. Chung, "A deadlock prevention policy for flexible manufacturing systems using siphons," in Proc. IEEE Int. Conf. Robot. Autom., Seoul, Korea, 2001, pp. 541-546.
15. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
16. Z. Li and M. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
17. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA: MIT Press, 1992.
18. D. Y. Chao, "An incremental approach to extract minimal bad siphons," J. Inf. Sci. Eng., 2006. to be published.