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

• 作者: 廖伟志 陆建波
• 来源期刊: 计算机应用研究
• 关键词: 连续Petri网 分解 库所归属 性质分析
• 年，卷（期）: 2014,（11）
• 页码范围: 3295-3298,3303
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.11.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆建波	广西师范学院北部湾环境演变与资源利用省部共建教育部重点实验室	23	54	3.0	5.0
2	廖伟志	嘉兴学院数理与信息工程学院	7	20	3.0	4.0