|
|
|
| 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 |
|
|
|
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.
|
|
Published: 01 September 2010
|
|
|
基于工作流的安全库所替换网特性研究
基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明：用稳固工作流网对原Petri 网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性；同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性．
|
|
| ［1］ 吴振寰,吴哲辉. Petri网替换运算［J］. 计算机科学,2005,32(11)：238240．
WU Zhenhuan, WU Zhehui. 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 Shanchen, YAN Chungang, JIANG Changjun. Soundness analysis of the multicases workflow model based on home state［J］. ACTA Electronica Sinica, 2006, 34(6): 11631168．
［7］ 张亮,姚淑珍. 基于Petri网的工作流模式研究［J］. 计算机集成制造系统,2006,12(1):5458．
ZHANG Liang, YAO Shuzhen. Research on workflow patterns based on Petri nets［J］. Computer Integrated Manufacturing Systems, 2006, 12(1): 5458．
［8］ 刘书雷,陈荦,唐宇,等.工作流扩展模型及其性能等价分析［J］. 系统工程与电子技术,2007,29(1): 6468．
LIU Shulei, 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 Lida. 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. Bfairness and structural Bfairness in Petri net models of concurrent systems［R］. Urbana, USA： University of Illinois,1986.
［13］ 兰守珍. 序状Petri网的简化方法及其在控制器设计中的应用［D］. 杭州：浙江大学, 2008: 1732．
LAN Shouzhen. 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． |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
