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 
摘要：

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的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.
Key words: Petri nets    workflow nets    safety place    substitution net
出版日期: 2010-10-10
:  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/xueshu/eng/CN/10.3785/j.issn.1008-973X.2010.09.014    或    http://www.zjujournals.com/xueshu/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]. 浙江大学学报(工学版), 2017, 51(6): 1153-1162.
[2] 许荣斌, 石军, 张鹏飞, 谢莹. Petri网的映射变迁关系相似性度量[J]. 浙江大学学报(工学版), 2017, 51(6): 1205-1213.
[3] 任迪, 万健, 殷昱煜, 周丽, 高敏. 基于贝叶斯分类的Web服务质量预测方法研究[J]. 浙江大学学报(工学版), 2017, 51(6): 1242-1251.
[4] 宋瑞祥, 张庆国, 于海敬, 徐丽, 施悯悯. 遥感数据的城市不透水面估算及增温效应[J]. 浙江大学学报(工学版), 2017, 51(5): 1051-1056.
[5] 李静, 王哲. 似平面应力条件下混凝土的变形特性[J]. 浙江大学学报(工学版), 2017, 51(4): 745-751.
[6] 蒋鑫龙, 陈益强, 刘军发, 忽丽莎, 沈建飞. 面向自闭症患者社交距离认知的可穿戴系统[J]. 浙江大学学报(工学版), 2017, 51(4): 637-647.
[7] 李明, 刘扬, 唐雪松. 疲劳裂纹的跨尺度分析[J]. 浙江大学学报(工学版), 2017, 51(3): 524-531.
[8] 张捷, 肖新标, 王瑞乾, 金学松. 高速列车铝型材声振特性测试及等效建模[J]. 浙江大学学报(工学版), 2017, 51(3): 545-553.
[9] 李晓东, 祝跃飞, 刘胜利, 肖睿卿. 基于权限的Android应用程序安全审计方法[J]. 浙江大学学报(工学版), 2017, 51(3): 590-597.
[10] 苏星, 王慧泉, 金仲和. 实时高可靠综合电子系统的逻辑架构设计[J]. 浙江大学学报(工学版), 2017, 51(3): 628-636.
[11] 潜龙昊, 胡士强, 杨永胜. 多节双八面体变几何桁架臂逆运动学解析算法[J]. 浙江大学学报(工学版), 2017, 51(1): 75-81.
[12] 张伟, 胡友德, 郑立荣. 基于频率可调驻波振荡器的芯片时钟系统设计[J]. 浙江大学学报(工学版), 2017, 51(1): 168-176.
[13] 谢罗峰, 徐慧宁, 黄沁元, 赵越, 殷国富. 应用双树复小波包和NCA-LSSVM检测磁瓦内部缺陷[J]. 浙江大学学报(工学版), 2017, 51(1): 184-191.
[14] 刘海宾, 王勇, 马鹏磊, 谢玉东. 基于平行式振荡翼系统参数耦合分析[J]. 浙江大学学报(工学版), 2017, 51(1): 153-159.
[15] 厉文榜,方梦祥,岑建孟,肖平,时正海,山石泉,王勤辉,骆仲泱. K-Fe复合催化剂对煤半焦气化速率与产物的影响[J]. 浙江大学学报(工学版), 2016, 50(9): 1746-1751.