Invariant decomposition conditions for Petri nets based on the index of transitions

被引：20
作者：
Liu, Cong [1 ]
Zeng, Qingtian [1 ]
Zou, Jie [1 ]
Lu, Faming [1 ]
Wu, Qingxin [1 ]
机构：
[1] College of Information Science and Engineering, Shandong University of Science and Technology
来源：
Information Technology Journal | 2012年 / 11卷 / 07期
关键词：
Index of transitions; Invariant decomposition; Petri net; Petri net language; Reachable marking graph; Reachable states;
D O I：
10.3923/itj.2012.768.774
中图分类号：
学科分类号：
摘要：
With the decomposition method of Petri net by assigning an index of the transition set, a structurecomplex net system can be decomposed to a set of structure-simple subnets, named T-net. There is a projection relation of the reachable marking set and languages between the original net system and the subnet systems decomposed. However, some unnecessary states and languages are also added in the subnet systems. This study presents the deep research results on the decomposition method of Petri nets based on the index of transitions. A set of necessary and sufficient conditions for keeping the states and languages invariant between the original system and the subnet systems is obtained. Based on the simplified reachable marking graph, an algorithm is given to decide the states and languages invariant. © 2012 Asian Network for Scientific Information.
引用
收藏
页码：768 / 774
页数：6
相关论文
共 28 条
  • [1] Cui T., Zeng Q., Zhang D., Recognition algorithm design and complex analysis for languages of S-nets, Inform. Technol. J., 10, pp. 106-112, (2011)
  • [2] Du Y.Y., Guo B.Q., Logic petri nets and equivalency, Inform. Technol. J., 8, pp. 95-100, (2009)
  • [3] Jiang C., Wu Z., Net operations, J. Comput. Sci. Technol., 7, pp. 333-344, (1992)
  • [4] Jiang C., Petri net dynamic invariance, Sci. China, Series E: Technol., 40, pp. 605-611, (1997)
  • [5] Jiang C., Complete sequence behavior invariance of synchronous composition nets, J. Applied Sci., 18, pp. 271-275, (2000)
  • [6] Lee-Kwang H., Favrel J., Baptiste P., Generalized Petri net reduction method, IEEE Trans. Syst. Man Cybernetics, 17, pp. 297-303, (1987)
  • [7] Liu W., Du Y., Modeling multimedia synchronization using petri nets, Inform. Technol. J., 8, pp. 1054-1058, (2009)
  • [8] Liu W., Du Y., Sun H., Soundness analysis of T-restricted interorganizational logical workflow nets, Inform. Technol. J., 8, pp. 821-829, (2009)
  • [9] Meng D., Zeng Q., Lu F., Sun J., An J., Crossorganization task coordination patterns of urban emergency response systems, Inform. Technol. J., 10, pp. 367-375, (2011)
  • [10] Murata T., Petri nets: Properties, analysis and applications, Proc. IEEE, 77, pp. 541-580, (1989)
123