Please wait a minute...
J4  2010, Vol. 44 Issue (9): 1711-1718    DOI: 10.3785/j.issn.1008-973X.2010.09.014
无线电电子学、电信技术     
基于工作流的安全库所替换网特性研究
董利达,程曦浩,郑寒
浙江大学 电子电路与信息系统研究所,浙江 杭州 310027
Properties research of Petri nets safety place substitution
DONG Li-da, CHENG Xi-hao, ZHENG han
Institute of Electronic Circuit and Information System, Zhejiang University, Hangzhou 310027, China
 全文: PDF  HTML
摘要:

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri 网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.

Abstract:

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.

出版日期: 2010-09-01
:  TP 301  
基金资助:

国家自然科学资金资助项目(60503027);国家"863"高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046).

作者简介: 董利达(1971-),男,浙江慈溪人,副教授,从事Petri网及其应用和工业无线系统研究.E-mail: lddong2002@163.com
服务  
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章  

引用本文:

董利达, 程曦浩, 郑寒. 基于工作流的安全库所替换网特性研究[J]. J4, 2010, 44(9): 1711-1718.

DONG Li-Da, CHENG Xi-Gao, ZHENG Han. Properties research of Petri nets safety place substitution. J4, 2010, 44(9): 1711-1718.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2010.09.014        http://www.zjujournals.com/eng/CN/Y2010/V44/I9/1711

[1] 吴振寰,吴哲辉. Petri网替换运算[J]. 计算机科学,2005,32(11):238240.
WU Zhenhuan, WU Zhehui. Substitution operation of Petri nets[J]. Computer Science, 2005, 32(11): 238240.
[2] SUZUKI I, MURATA T. A method for stepwise refinement and abstraction of Petri nets[J]. Journal of Computer and System Science, 1983, 27(1): 5176.
[3] 吴哲辉. Petri网导论[M]. 北京:机械工业出版社,2006:141.
[4] MURATA T. Petri Nets: properties, analysis and applications[J]. Proceedings of the IEEE, 1989, 77(4): 541580.
[5] AALST W, AZEMA P, BALBO G. Verification of workflow nets[C]∥ Proceedings of the 18th International Conference. Berlin: SpringerVerlag, 1997: 407426.
[6] 庞善臣,闫春钢,蒋昌俊. 基于家态的多事物工作流完整性分析[J]. 电子学报,2006,34(6): 11631168.
PANG Shanchen, YAN Chungang, JIANG Changjun. Soundness analysis of the multicases workflow model based on home state[J]. ACTA Electronica Sinica, 2006, 34(6): 11631168.
[7] 张亮,姚淑珍. 基于Petri网的工作流模式研究[J]. 计算机集成制造系统,2006,12(1):5458.
ZHANG Liang, YAO Shuzhen. Research on workflow patterns based on Petri nets[J]. Computer Integrated Manufacturing Systems, 2006, 12(1): 5458.
[8] 刘书雷,陈荦,唐宇,等.工作流扩展模型及其性能等价分析[J]. 系统工程与电子技术,2007,29(1): 6468.
LIU Shulei, CHEN Luo, TANG Yu, et al. Extended workflow model and its performance equivalent analysis[J]. Systems Engineering and Electronics, 2007, 29(1): 6468.
[9] 董利达. 基于序状Petri网的离散事件系统监控理论[D]. 杭州:浙江大学, 2004: 1316.
DONG Lida. Supervisory control for discrete event systems based on cascade Petri net[D]. Hangzhou: Zhejiang University, 2004: 1316.
[10] MAYR E W. An algorithm for the general Petri net reachability problem[J]. SIAM J Comput, 1984, 13(3):441460.
[11] LAUTENBACH K. Liveness in Petri nets[R]. GMD, St. Augustin:F.R.G, 1975.
[12] SILVA M, MURATA. Bfairness and structural Bfairness in Petri net models of concurrent systems[R]. Urbana, USA: University of Illinois,1986.
[13] 兰守珍. 序状Petri网的简化方法及其在控制器设计中的应用[D]. 杭州:浙江大学, 2008: 1732.
LAN Shouzhen. The simplification of cascade Petri net and its application for controller design[D]. Hangzhou: Zhejiang University, 2008: 1732.
[14] AALST W. The application of Petri nets to workflow management[J]. The Journal of Circuit, System and Computers, 1998, 8(1): 2166.

[1] 徐克林, 朱伟, 李艳冰. 配装-运输集成决策模型及其遗传算法[J]. J4, 2011, 45(9): 1630-1635.
[2] 陈婧, 张树有. 基于关联调度模型的模糊环境下车间动态调度[J]. J4, 2011, 45(2): 240-246.
[3] 董利达, 郑寒, 程曦浩. 一类含T-图环结构受控网显式控制器设计[J]. J4, 2010, 44(6): 1057-1066.
[4] 丁春, 冯志勇. 面向波动复杂性的上下文预测[J]. J4, 2010, 44(2): 220-224.
[5] 孟捷 ,刘华锋 ,岳茂雄 ,胡红杰. 生物力学模型导引的心肌运动与材料参数对偶估计[J]. J4, 2012, 46(5): 912-917.