Properties research of Petri nets-safety place substitution based on workflow nets

被引：0
|
作者：
Dong L.-D. [1 ]
Cheng X.-H. [1 ]
Zheng H. [1 ]
机构：
[1] Institute of Electronic Circuit and Information System, Zhejiang University
来源：
Zhejiang Daxue Xuebao (Gongxue Ban)/Journal of Zhejiang University (Engineering Science) | 2010年 / 44卷 / 09期
关键词：
Petri nets; Safety place; Substitution net; Workflow nets;
D O I：
10.3785/j.issn.1008-973X.2010.09.014
中图分类号：
学科分类号：
摘要：
The substitution operation of Petri nets was defined, and the place substitution rules based on workflow was proposed, and also the safety place substitution net based on workflow was defined. Then, the properties preserving of the safety place substitution net system based on sound workflow net was studied. If a safety place in a Petri net system substituted by a sound workflow net, the substitution net system can preserve liveness, boundedness and reversible; if the Petri net system is safe, the substitution net system is bounded; since workflow net do not have properties of fairness and persistence, the substitution net system cannot preserve these properties.
引用
收藏
页码：1711 / 1718
页数：7
相关论文
共 14 条
  • [1] Wu Z.-H., Wu Z.-H., Substitution operation of Petri nets, Computer Science, 32, 11, pp. 238-240, (2005)
  • [2] Suzuki I., Murata T., A method for stepwise refinement and abstraction of Petri nets, Journal of Computer and System Science, 27, 1, pp. 51-76, (1983)
  • [3] pp. 1-41, (2006)
  • [4] Murata T., Petri Nets: properties, analysis and applications, Proceedings of the IEEE, 77, 4, pp. 541-580, (1989)
  • [5] Aalst W., Azema P., Balbo G., Verification of workflow nets, Proceedings of the 18th International Conference, pp. 407-426, (1997)
  • [6] Pang S.-C., Yan C.-G., Jiang C.-J., Soundness analysis of the multi-cases workflow model based on home state, ACTA Electronica Sinica, 34, 6, pp. 1163-1168, (2006)
  • [7] Zhang L., Yao S.-Z., Research on workflow patterns based on Petri nets, Computer Integrated Manufacturing Systems, 12, 1, pp. 54-58, (2006)
  • [8] Liu S.-L., Chen L., Tang Y., Et al., Extended workflow model and its performance equivalent analysis, Systems Engineering and Electronics, 29, 1, pp. 64-68, (2007)
  • [9] Dong L.-D., Supervisory control for discrete event systems based on cascade Petri net, pp. 13-16, (2004)
  • [10] Mayr E.W., An algorithm for the general Petri net reachability problem, SIAM J Comput, 13, 3, pp. 441-460, (1984)
12