10.3969/j.issn.1001-3695.2014.11.022
基于分解的连续Petri网性质分析方法
讨论了最大速度恒定连续Petri网(CCPN)的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法,实现了CCPN的分解。为了保证通过子网分析原网的正确性,对合成网的动态不变性进行了证明,并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。
连续Petri网、分解、库所归属、性质分析
TP311(计算技术、计算机技术)
广西高校科研一般资助项目201203 YB100;广西高校科研重点资助项目2013ZD040;北部湾环境演变与资源利用省部共建教育部重点实验室资助项目BBG1105;广西自然科学基金资助项目2012GXNSFAA053218
2014-11-15(万方平台首次上网日期,不代表论文的发表时间)
共5页
3295-3298,3303