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

摘要：

讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，对合成网的动态不变性进行了证明，并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。

关键词：连续Petri网、分解、库所归属、性质分析

分类号：TP311(计算技术、计算机技术)

资助基金：广西高校科研一般资助项目201203 YB100;广西高校科研重点资助项目2013ZD040;北部湾环境演变与资源利用省部共建教育部重点实验室资助项目BBG1105;广西自然科学基金资助项目2012GXNSFAA053218

在线出版日期：2014-11-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3295-3298,3303