无线电电子学、电信技术 |
|
|
|
|
基于工作流的安全库所替换网特性研究 |
董利达,程曦浩,郑寒 |
浙江大学 电子电路与信息系统研究所,浙江 杭州 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 |
[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 |
|
|
|
|