Incidence matrix based methods for computing repetitive vectors and siphons of petri net

Journal of Information Science and Engineering

Volumn 25, Issue 1, 2009, Pages 121-136

  Liu, Guan Jun ^a   Jiang, Chang Jun ^a  

^a TONGJI UNIVERSITY   (China)

Author keywords

Dual net; FM algorithm; Incidence matrix; Petri net; Repetitive vector; Siphon; T invariant; Trap

Indexed keywords

ALGORITHMS; FOURIER TRANSFORMS; GRAPH THEORY; PETRI NETS; VECTORS;

DUAL NET; FM ALGORITHM; INCIDENCE MATRIX; PETRI NET; REPETITIVE VECTOR; SIPHON; T-INVARIANT; TRAP;

SIPHONS;

EID: 58449121357     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (33)

1. T. Murata, "Petri nets: Properties, analysis and application," in Proceedings of IEEE, Vol. 77, 1989, pp. 541-580.
2. W. M. P. van der Aalst, "Workflow verification: Finding control-flow errors using Petri-net-based techniques," Lecture Notes in Computer Science, Vol. 1806, 2000, pp. 161-183.
3. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Transactions on Automatic Control, Vol. 46, 2001, pp. 1572-1583.
4. L. Jiao, T. Y. Chueng, and W. M. Lu, "On liveness and boundness of symmetric choice nets," Theoretical Computer Science, Vol. 311, 2004, pp. 165-197.
5. C. J. Jiang and G. J. Liu, "The pumping lemma of Petri net language," Chinese Journal of Computers, Vol. 29, 2006, pp. 274-278.
6. Z. H. Wu and T. Murata, "A Petri net of starvation-free solution to the dining philosophers problem," in Proceedings of IEEE Workgroup on Languages for Automation, 1983, pp. 192-195.
7. P. L. Wang and Z. H. Wu, "Conditions for directly deciding fair Petri net," Chinese Journal of Computers, Vol. 16, 1993, pp. 53-58.
8. P. L. Wang and Z. H. Wu, "Conditions for deciding weak fair Petri net," Chinese Journal of Computers, Vol. 17, 1994, pp. 608-611.
9. K. Tsuji and T. Murata, "On reachability conditions for unrestricted Petri nets," in Proceedings of IEEE International Symposium on Circuits and Systems, Vol. 4, 1993, pp. 2713-2716.
10. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Transactions on Robotics and Automation, Vol. 11, 1995, pp. 173-184.
11. F. Chu and X. L. Xie, "Deadlock analysis of Petri net using siphons and mathematical programming," IEEE Transactions on Robotics and Automation, Vol. 13, 1997, pp. 793-804.
12. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Transactions on Systems, Man and Cybernetics - Part A, Vol. 29, 1999, pp. 399-406.
13. F. Magnino and P. Valigi, "A Petri net approach to deadlock analysis for chasses of Kanban system," in Proceedings of the IEEE International Conference on Robotics and Automation, Vol. 3, 2000, pp. 2877-2882.
14. F. Tricas and J. Ezpeleta, "Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets," in Proceedings of IEEE Conference on Emerging Technologies and Factory Automation, Vol. 1, 2003, pp. 322-329.
15. S. Reveliotis, "Structural analysis of resource allocation systems with synchronization constraints," in Proceedings of IEEE International Conference on Robotics and Automation, Vol. 1, 2003, pp. 1045-1049.
16. A. Ohta and K. Tsuji, "Insufficiently marked siphon of Petri nets-extension of token-free siphon," in Proceedings of the IEEE International Symposium on Circuits and Systems, Vol. 3, 2003, pp. III-244-III-247.
17. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Transactions on Systems, Man and Cybernetics - Part A, Vol. 34, 2004, pp. 38-51.
18. Y. S. Huang, "Deadlock prevention for sequence resource allocation systems," Journal of Information Science and Engineering, Vol. 23, 2007, pp. 215-231.
19. M. D. Jeng and M. Y. Peng, "Generating minimal siphons and traps for Petri nets," in Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Vol. 4, 1996, pp. 2996-2999.
20. M. Kinuyama, "Generating siphons and traps by Petri net representation of logic equations," in Proceedings of the 2nd Conference of the Net Theory, SIG-IECE, 1989, pp. 93-100.
21. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," Concurrency and Nets - Advances in Petri Nets, 1987, pp. 315-336.
22. R. Cordone, L. Ferrarini, and L. Piroddi, "Characterization of minimal and basis siphons with predicate logic and binary programming," in Proceedings of IEEE International Symposium on Computer Aided Control and System Design, 2002, pp. 193-198.
23. M. Yamauchi, S. Tanimoto, and T. Watanabe, "Extracting siphons containing a specified set of places in a Petri net," in Proceedings of IEEE International Conference on Systems, Man and Cybernetics, Vol. 1, 1998, pp. 142-147.
24. E. R. Boer and T. Murata, "Generating basis siphons and traps of Petri nets using the sign incidence matrix," IEEE Transactions on Circuits and Systems-I: Fundamental Theory and Applications, Vol. 41, 1994, pp. 266-271.
25. A. Taguchi, S. Taoka, and T. Watanabe, "An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants," in Proceedings of the IEEE International Symposium on Circuits and Systems, Vol. 3, 2003, pp. III-172-III-175.
26. D. Y. Chao, "An incremental approach to extracting minimal bad siphons," Journal of Information Science and Engineering, Vol. 23, 2007, pp. 203-214.
27. M. Yamauchi and T. Watanabe, "Time complexity analysis of the minimal siphon extraction problem of Petri nets," IEICE Transactions on Fundamentals, Vol. E82-A, 1999, pp. 2558-2565.
28. J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of generalized Petri nets," in Proceedings of the 2nd European Workshop on Applications and Theory of Petri Nets, 1982, pp. 301-310.
29. M. Yamauchi, M. Wakuda, S. Taoka, and T. Watanabe, "A fast and space-saving algorithm for computing invariants of Petri nets," in Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, Vol. 1, 1999, pp. 866-871.
30. M. Takata, T. Matsumoto, and S. Moro, "A direct method to derive all generators of solutions of a matrix equation in a Petri net," in Proceedings of the International Technical Conference on Circuits/Systems, Computers and Communications, 2002, pp. 490-493.
31. A. D. Alan and Y. A. J. Robert, Applications of Petri Nets in Manufacturing Systems - Modeling, Control, and Performance Analysis, IEEE Control Systems Society Press, New York, 1995.
32. C. J. Jiang, Behavior Theory and Applications of Petri Net, Higher Education Press, Beijing, 2003.
33. G. J. Liu, C. J. Jiang, Z. H. Wu, and L. J. Chen, "A live subclass of Petri nets and their application in modeling flexible manufacturing systems," the International Journal of Advanced Manufacturing Technology, 2008, http://www.springerlink.com/ content/h660221q230r827n/ fulltext.pdf.