| Petri网共享子网合成活性分析 |
| |
| 引用本文： | 夏传良,焦莉,陆维明.Petri网共享子网合成活性分析[J].系统仿真学报,2005,17(Z1):12-16. |
| |
| 作者姓名： | 夏传良 焦莉 陆维明 |
| |
| 作者单位： | 1. 中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080
2. 中国科学院软件所,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金(60073013) |
| |
| 摘 要： | 为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段.
|
| 关 键 词： | Petri网 合成 分析 有界活性 |
| 文章编号： | 1004-731X(2005)S-12-05 |
| 修稿时间： | 2005年8月22日 |
Liveness Analysis of Synthesis of Petri Nets Shared Subnet |
| |
| XIA Chuan-liang,JIAO Li,LU Wei-ming.Liveness Analysis of Synthesis of Petri Nets Shared Subnet[J].Journal of System Simulation,2005,17(Z1):12-16. |
| |
| Authors: | XIA Chuan-liang JIAO Li LU Wei-ming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
