《计算机应用研究》|Application Research of Computers

基于分解的连续Petri网性质分析方法

Properties analysis of continuous Petri net based on decomposition

免费全文下载 (已被下载 次)  
获取PDF全文
作者 陆建波,廖伟志
机构 1.广西师范学院 北部湾环境演变与资源利用省部共建教育部重点实验室,南宁 530001;2.嘉兴学院 数理与信息工程学院,浙江 嘉兴314001
统计 摘要被查看 次,已被下载
文章编号 1001-3695(2014)11-3295-04
DOI 10.3969/j.issn.1001-3695.2014.11.022
摘要 讨论了最大速度恒定连续Petri网(CCPN)的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法,实现了CCPN的分解。为了保证通过子网分析原网的正确性,对合成网的动态不变性进行了证明,并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。
关键词 连续Petri网;分解;库所归属;性质分析
基金项目 广西高校科研一般资助项目(201203YB100)
广西高校科研重点资助项目(2013ZD040)
北部湾环境演变与资源利用省部共建教育部重点实验室资助项目(BBG1105)
广西自然科学基金资助项目(2012GXNSFAA053218)
本文URL http://www.arocmag.com/article/01-2014-11-022.html
英文标题 Properties analysis of continuous Petri net based on decomposition
作者英文名 LU Jian-bo, LIAO Wei-zhi
机构英文名 1. Key Laboratory of Beibu Gulf Environment Change & Resources Utilization, Guangxi Teachers Education University, Nanning 530001, China; 2. College of Mathematics Physics & Information Engineering, Jiaxing University, Jiaxing Zhejiang 314001, China
英文摘要 This paper presented a decomposition method for constant speed continuous Petri net(CCPN) based on belonging of places, and it proved that the original CCPN could be obtained by the communion composition of the decomposed subnets. Also, it proved the relationship of the properties between the original CCPN net and the subnet systems. Finally, it verified the properties of the original CCPN could be analyzed by decomposing it to the subnets by a CCPN model. The results demonstrate the advantages of the proposed method.
英文关键词 continuous Petri net(CPN); decomposition; belonging of places; properties analysis
参考文献 查看稿件参考文献
  [1] DAVID R, ALLA H. Continuous Petri nets[C] //Proc of the 8th European Workshop on Applications and Theory of Petri Nets. 1987:275-294.
[2] Le BAIL J, ALLA H, DAVID R. Asymptotic continuous Petri nets[C] //Discrete Event Dynamic Systems:Theory and Applications. 1993:235-263.
[3] 叶志宝, 赵义军, 董焕河. 最大速度变化的连续Petri网(VCPN)的动态演变及性质判定[J] . 计算机研究与发展, 2002, 39(3):330-334.
[4] 廖伟志. 混杂生产过程的混杂Petri网建模及分析技术研究[D] . 西安:西安电子科技大学, 2007.
[5] ALLA H, DAVID R. A modeling and analysis tool for discrete event systems:continuous Petri nets[J] . Performance Evaluation, 1998, 33(3):175-199.
[6] AMARAH A, ZERHOUNI N. On the control of manufacturing lines modeled by controlled continuous Petri nets[J] . Journal of Systems Science, 1998, 29(2):127-137.
[7] LIAO Wei-zhi, GU Tian-long. Optimization and control of production systems based on interval speed continuous Petri nets[C] //Proc of IEEE International Conference on Systems, Man and Cybernetics. 2005:1212-1217.
[8] JLEVZ J, BOEL R. Modelling and controlling traffic behavior with continuous Petri nets[C] //Proc of the 16th IFAC World Congress. 2005:916-921.
[9] TOLBA C, LEFEVRE D, THOMAS P. Continuous Petri nets models for the analysis of traffic urban networks[C] //Proc of IEEE International Conference on Systems, Man, and Cybernetics. 2001:1323-1328.
[10] TOLBA C, LEFEBVRE D, THOMAS P. Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modeling[J] . Simulation Modeling Practice and Theory, 2005, 13(5):407-436.
[11] JLVEZ J, BOEL R. A continuous Petri nets approach for model predictive control of traffic systems[J] . IEEE Trans on Systems, Man and Cybernetics, 2010, 40(4):686-697.
[12] 汤新民, 钟诗胜. 基于确定时间连续Petri网的航空发动机总装资源调度[J] . 计算机集成制造系统, 2008, 14(9):1752-1758.
[13] 张悦, 王坚. 企业生产与能耗过程模型及其仿真连续Petri网方法[J] . 计算机集成制造系统, 2011, 17(12):2714-2722.
[14] JúLVEZ J, RECALDE L, SILVA M. On reachability in autonomous continuous Petri net systems[C] //Proc of the 24th International Conference on Applications and Theory of Petri Nets. 2003:221-240.
[15] MAHULEA C, RECALDE L, SILVA M. Basic server semantics and performance monotonicity of continuous Petri nets[J] . Discrete Event Dynamic Systems, 2009, 19(2):189-212.
[16] VZQUEZ C R, SILVA M. Timing and liveness in continuous Petri nets[J] . Automatica, 2011, 47(2):283-290.
[17] SILVA M, JLEVZ J, MAHULEA C, et al. On fluidization of discrete event models:observation and control of continuous Petri net[J] . Discrete Event Dynamic Systems, 2011, 21(4):427-497.
[18] 赵义军, 王培良. 最大速度恒定的连续Petri网(CCPN)的性质及判定方法[J] . 系统工程学报, 2000, 15(1):107-112.
[19] 张永刚, 叶鲁卿. 变速连续Petri网的性质及运行分析[J] . 华中理工大学学报, 1999, 27(3):52-55.
[20] 廖伟志, 古天龙. 区间速率连续Petri网的有效冲突及其消解[J] . 计算机科学, 2006, 33(10):221-224.
[21] AYBAR A, IFAR A. Overlapping decompositions and expansions of Petri nets[J] . IEEE Trans on Automatic Control, 2002, 47(3):511-515.
[22] ZAITSEV D A. Decomposition of Petri nets[J] . Cybernetics and Systems Analysis, 2004, 40(5):739-746.
[23] 曾庆田, 吴哲辉. 基于库所指标的Petri分解方法[J] . 计算机科学, 2002, 29(4):15-17.
[24] 祝军. 基于分解的Petri性质分析方法探讨[D] . 济南:山东科技大学, 2009.
[25] ZENG Qing-tian. A polynomial-time decompositions algorithm for Petri nets based on indexes of transitions[J] . Journal of Information Technology, 2011, 10(4):856-862.
收稿日期 2013/10/31
修回日期 2013/12/19
页码 3295-3298,3303
中图分类号 TP311
文献标志码 A