Reduction and refinement by algebraic operations for Petri net transformation

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 42, Issue 5, 2012, Pages 1244-1255

  Li, Jun ^a   Zhou, MengChu ^b,c   Dai, Xianzhong ^a  

^a SOUTHEAST UNIVERSITY   (China)

^b Ministry of Education   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Algebraic systems; discrete event systems (DESs); net transformation; Petri nets (PNs); reduction; refinement

Indexed keywords

ALGEBRAIC OPERATIONS; ALGEBRAIC REDUCTIONS; ALGEBRAIC SYSTEM; BLOCK OPERATIONS; CONTENT DEPENDENT; ELEMENTARY NET; MAIL SORTING SYSTEMS; NET TRANSFORMATION; PETRI NET TRANSFORMATIONS; PN MODELS; REFINEMENT; REFINEMENT METHODS; UNIFIED FRAMEWORK;

DISCRETE EVENT SIMULATION; PETRI NETS; REDUCTION;

ALGEBRA;

EID: 84865442236     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2186440     Document Type: Article

References (74)

1. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
2. M. C. Zhou and K. Venkatesh, Modeling Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
3. B. Hruz and M. C. Zhou, Modeling and Control of Discrete-Event Dynamic Systems: With Petri Nets and Other Tools. London, U.K.: Springer-Verlag, 2007.
4. K. Xing, M. C. Zhou, H. Liu, and F. Tian, "Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 1, pp. 188-199, Jan. 2009.
5. P. Xiong, Y. Fan, and M. Zhou, "A Petri-net approach to analysis and composition of web services," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 376-387, Mar. 2010.
6. S. Wang, C. Wang, M. Zhou, and Z. Li, "A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 226- 237, Jan. 2012.
7. M. Llorens and J. Oliver, "Structural and dynamic changes in concurrent systems: Reconfigurable Petri nets," IEEE Trans. Comput., vol. 53, no. 9, pp. 1147-1158, Sep. 2004.
8. H. Ehrig, K. Hoffmann, and J. Padberg, "Transformations of Petri nets," Electron. Notes Theor. Comput. Sci., vol. 148, no. 1, pp. 151-172, Feb. 2006. (Pubitemid 43121241)
9. C. Jiang and Z. Wu, "Net operations," J. Comput. Sci. Technol., vol. 7, no. 4, pp. 333-344, 1992.
10. P. R. Georgiev, "Classification of the operators defined over the generalized nets. II," Adv. Modelling Anal. A, Gen. Math. Comput. Tools, vol. 36, no. 1, pp. 9-14, 1999.
11. P. R. Georgiev, "Classification of the operators defined over the generalized nets," Adv. Modelling Anal. A, Gen. Math. Comput. Tools, vol. 24, no. 3/4, pp. 6-11, 1995.
12. K. T. Atanassov, "Dynamical operators defined over the set of generalized nets," AMSE Rev. - Assoc. Adv. Modelling Simul. Techn. Enterprises, vol. 13, no. 1, pp. 9-16, 1990.
13. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology from synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
14. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "Top-down approach to systematic synthesis of Petri net models for manufacturing systems," in Proc. IEEE Int. Conf, Robot. Autom., Scottsdale, AZ, May 14-19, 1989, pp. 534-539.
15. I. Suzuki and T. Murata, "A method for stepwise refinements and abstractions of Petri nets," J. Comput. Syst. Sci., vol. 27, no. 1, pp. 51-76, Aug. 1983. (Pubitemid 14466779)
16. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comput. Syst. Sci., vol. 18, no. 1, pp. 35-46, Feb. 1979.
17. H. Huang, T. Cheung, and W. M. Mak, "Structure and behavior preservation by Petri-net-based refinements in system design," Theor. Comput. Sci., vol. 328, no. 3, pp. 245-269, Dec. 2004.
18. J. Li, "Refining and verifying regular Petri nets," Int. J. Syst. Sci., vol. 39, no. 1, pp. 17-27, 2008.
19. H. Lee-Kwang and J. Favrel, "Hierarchical reduction methods for analysis and decomposition of Petri nets," IEEE Trans. Systems, Man, and Cybernetics, vol. SMC-15, no. 2, pp. 272-280, Mar./Apr. 1985.
20. H. J. Huang, L. Jiao, and T. Y. Cheung, "Property-preserving subnet reductions for designing manufacturing systems with shared resources," Theor. Comput. Sci., vol. 332, no. 1-3, pp. 461-485, Feb. 2005. (Pubitemid 40226804)
21. R. Zurawski, "Petri net models, functional abstractions, and reduction techniques: Applications to the design of automated manufacturing systems," IEEE Trans. Ind. Electron., vol. 52, no. 2, pp. 595-609, Apr. 2005. (Pubitemid 40573544)
22. E. Y. T. Juan, J. J. P. Tsai, T. Murata, and Y. Zhou, "Reduction methods for real-time systems using delay time Petri nets," IEEE Trans. Softw. Eng., vol. 27, no. 5, pp. 422-448, May 2001. (Pubitemid 32534357)
23. M. Uzam, "The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems," Int. J. Adv. Manuf. Technol., vol. 23, no. 3/4, pp. 204-219, Feb. 2004.
24. R. H. Sloan and U. Buy, "Reduction rules for time Petri nets," Acta Informatica, vol. 33, no. 7, pp. 687-706, 1996.
25. J. Wang, Y. Deng, and M. C. Zhou, "Compositional time Petri nets and reduction rules," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 4, pp. 562-572, Aug. 2000.
26. Z. Ding, C. Jiang, M. C. Zhou, and Y. Y. Zhang, "Preserving languages and properties in stepwise refinement-based synthesis of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 38, no. 4, pp. 791-801, Jul. 2008.
27. Y. Han and X. Luo, "Modeling and performance analysis of Grid task scheduling based on composition and reduction of Petri nets," in Proc. 5th Int. Conf. Grid Cooperative Comput., Hunan, China, Oct. 21-23, 2006, pp. 331-334. (Pubitemid 351165001)
28. S. Haddad, "A reduction theory for coloured Petri nets," Lecture Notes Comput. Sci., vol. 483, pp. 209-235, 1991.
29. J. Li, X. Dai, Z. Meng, J. Dou, and X. Guan, "Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams," Comput. Ind. Eng., vol. 57, no. 4, pp. 1431-1451, Nov. 2009.
30. J. Li, X. Dai, and Z. Meng, "Automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system based approach," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 1, pp. 156-167, Jan. 2009.
31. J. Li, X. Dai, X. Guan, and J. Dou, "Petri net algebras for DES model transformation," in Proc. Int. Conf. Comput. Intell. Softw. Eng., Wuhan, China, Dec. 10-12, 2010, pp. 1-4.
32. E. Best, R. Devillers, and M. Koutny, Petri Net Algebra. New York: Springer-Verlag, 2001.
33. J. Vautherin, "Parallel systems specifications with coloured Petri nets and algebraic specifications," Lecture Notes Comput. Sci., vol. 266, pp. 293- 308, 1987.
34. W. Reisig, "Petri nets and algebraic specifications," Theor. Comput. Sci., vol. 80, no. 1, pp. 1-34, Mar. 1991. (Pubitemid 21730929)
35. S. MacLane and G. Birkhoff, Algebra, 3rd ed. Washington, DC: AMS Chelsea, 1999.
36. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991. (Pubitemid 21674694)
37. J. Esparza, "Reduction and synthesis of live and bounded free choice Petri nets," Inf. Comput., vol. 114, no. 1, pp. 50-87, 1994.
38. J. Desel, "Reduction and design of well-behaved concurrent systems," Lecture Notes Comput. Sci., vol. 458, pp. 166-181, 1990.
39. Y. F. Chen, Z.W. Li, M. Khalgui, and O. Mosbahi, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, Apr. 2011.
40. A. A. Desrochers, T. J. Deal, and M. P. Fanti, "Complex-valued token Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 2, no. 4, pp. 309-318, Oct. 2005. (Pubitemid 41560386)
41. M. P. Fanti, A. Giua, and C. Seatzu, "Monitor design for colored Petri nets: An application to deadlock prevention in railway networks," Control Eng. Pract., vol. 14, no. 10, pp. 1231-1247, Oct. 2006. (Pubitemid 43842705)
42. M. P. Fanti, "Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 80-92, Jan. 2004.
43. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
44. M. P. Fanti, "Event-based controller to avoid deadlock and collisions in zone control AGVS," Int. J. Prod. Res., vol. 40, no. 6, pp. 1453-1478, 2002. (Pubitemid 34593782)
45. M. P. Fanti, G. Maione, and B. Turchiano, "Design of supervisors to avoid deadlock in flexible assembly systems," Int. J. Flexible Manuf. Syst., vol. 14, no. 2, pp. 157-175, Apr. 2002. (Pubitemid 34434093)
46. M. P. Fanti, G. Maione, and B. Turchiano, "Distributed event-control for deadlock avoidance in automated manufacturing systems," Int. J. Prod. Res., vol. 39, no. 9, pp. 1993-2021, 2001. (Pubitemid 35165604)
47. M. Hou, H. Zhu, M. C. Zhou, and G. R. Arrabito, "Optimizing operatoragent interaction in intelligent adaptive interface design: A conceptual framework," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 41, no. 2, pp. 161-178, Mar. 2011.
48. H. Hu, M. C. Zhou, and Z. Li, "Supervisor design to enforce production ratio and liveness using Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 201-212, Mar. 2011.
49. H. Hu, M. C. Zhou, and Z. Li, "Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 4, pp. 794-804, Oct. 2011.
50. H. Hu,M. C. Zhou, and Z. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
51. H. Hu,M. C. Zhou, and Z. Li, "Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 933-944, Oct. 2010.
52. Z. Li, G. Liu, H.-M. Hanisch, and M. C. Zhou, "Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
53. Z. Li, M. Yan, and M. C. Zhou, "Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 40, no. 3, pp. 330- 340, May 2010.
54. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 369-384, Mar. 2008. (Pubitemid 351425590)
55. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007. (Pubitemid 47061954)
56. D. Liu, Z. W. Li, and M. C. Zhou, "Liveness of an extended S3PR," Automatica, vol. 46, no. 6, pp. 1008-1018, Jun. 2010.
57. G. J. Liu, C. J. Jiang, and M. C. Zhou, "Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources," IET Control Theory Appl., vol. 5, no. 9, pp. 1059-1068, Jun. 2011.
58. G. Liu, C. Jiang, and M. C. Zhou, "Process nets with channels," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 1, pp. 213-225, Jan. 2012.
59. G. Liu, C. Jiang, and M. C. Zhou, "Two simple deadlock prevention policies for S3PR based on key resource/operation-place pairs," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 945-957, Oct. 2010.
60. R. Robidoux, H. Xu, L. Xing, and M. C. Zhou, "Automated verification of dynamic reliability block diagrams using colored Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 337-351, Mar. 2010.
61. W. Tan, Y. Fan, M. C. Zhou, and Z. Tian, "Data-driven service composition in building SOA solutions: A Petri net approach," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 686-694, Jul. 2010.
62. N. Q. Wu and M. C. Zhou, "Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes," Trans. Inst. Meas. Control, vol. 33, no. 1, pp. 9-29, Feb. 2011.
63. N. Wu and M. C. Zhou, "Colored timed Petri nets for modeling and analysis of cluster tools," Asian J. Control, vol. 12, no. 3, pp. 253-266, May 2010.
64. N. Wu and M. C. Zhou, "Process vs resource-oriented Petri net modeling of automated manufacturing systems," Asian J. Control, vol. 12, no. 3, pp. 267-280, May 2010.
65. N. Q. Wu, L. P. Bai, and C. B. Chu, "Modeling and conflict detection of crude-oil operations for refinery process based on controlled-coloredtimed Petri net," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 461-472, Jul. 2007.
66. Z.W. Li andM. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer-Verlag, 2009.
67. N. Wu, F. Chu, S. Mammar, and M. C. Zhou, "Petri net modeling of cooperation behavior of driver and co-pilot in advanced driving assistance systems," IEEE Trans. Intell. Transp. Syst., vol. 12, no. 4, pp. 977-989, Dec. 2011.
68. N. Q.Wu andW. Q. Zeng, "Deadlock avoidance in AGV system using colored Petri net model," Int. J. Prod. Res., vol. 40, no. 1, pp. 223-238, 2002.
69. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst.,Man, Cybern. C, Appl. Rev., vol. 29, no. 2, pp. 192-204, May 1999.
70. N. Wu and M. C. Zhou, System Modeling and Control with Resource- Oriented Petri Nets. New York: CRC Press, 2010.
71. K. Xing, M. C. Zhou, F. Wang, H. Liu, and F. Tian, "Resource transition circuits and siphons for deadlock control of automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 1, pp. 74-84, Jan. 2011.
72. P. C. Xiong, Y. Fan, and M. C. Zhou, "Web service configuration under multiple quality-of-service attributes," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 2, pp. 311-321, Apr. 2009.
73. M. C. Zhou and M. P. Fanti, Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, Jan. 2005.
74. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U.K.: Kluwer, 1993.