| 基于分解的连续Petri网性质分析方法 |
| |
| 引用本文： | 陆建波,廖伟志.基于分解的连续Petri网性质分析方法[J].计算机应用研究,2014(11). |
| |
| 作者姓名： | 陆建波 廖伟志 |
| |
| 作者单位： | 1. 广西师范学院 北部湾环境演变与资源利用省部共建教育部重点实验室,南宁,530001
2. 嘉兴学院 数理与信息工程学院,浙江 嘉兴,314001 |
| |
| 基金项目： | 广西高校科研一般资助项目，广西高校科研重点资助项目，北部湾环境演变与资源利用省部共建教育部重点实验室资助项目，广西自然科学基金资助项目 |
| |
| 摘 要： | 讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，对合成网的动态不变性进行了证明，并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。
|
| 关 键 词： | 连续Petri网 分解 库所归属 性质分析 |
Properties analysis of continuous Petri net based on decomposition |
| |
| LU Jian-bo,LIAO Wei-zhi.Properties analysis of continuous Petri net based on decomposition[J].Application Research of Computers,2014(11). |
| |
| Authors: | LU Jian-bo LIAO Wei-zhi |
| |
| Abstract: | |
| |
| Keywords: | continuous Petri net(CPN) decomposition belonging of places properties analysis |
| 本文献已被 万方数据 等数据库收录！ |
