|
|||||
|
|
| Petri网共享PP-型子网合成性质分析 | |
| 引用本文： | 夏传良,焦莉,陆维明.Petri网共享PP-型子网合成性质分析[J].软件学报,2007,18(1):22-32. |
| 作者姓名： | 夏传良 焦莉 陆维明 |
| 作者单位： | 1. 中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080;计算机科学重点实验室(中国科学院,软件研究所),北京,100080;山东建筑大学,计算机科学与技术学院,山东,济南,250101 2. 计算机科学重点实验室(中国科学院,软件研究所),北京,100080 3. 中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080 |
| 基金项目： | 国家自然科学基金;国家重点基础研究发展计划(973计划) |
| 摘 要： | Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetric choice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段. |
| 关 键 词： | Petri网 分析 合成 活性和有界性 子网 |
| 收稿时间： | 2005-04-22 |
| 修稿时间： | 4/3/2006 12:00:00 AM |
Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets |
|
| XIA Chuan-Liang,JIAO Li and LU Wei-Ming.Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets[J].Journal of Software,2007,18(1):22-32. | |
| Authors: | XIA Chuan-Liang JIAO Li and LU Wei-Ming |
| Affiliation: | 1.Department of Computer Science, Academy of Mathematics and Systems Science, The Chinese Academy of Sciences, Beijing 100080, China;2.Laboratory of Computer Science (Institute of Software, The Chinese Academy of Sciences |
| Abstract: | |
| Keywords: | Petri net analysis synthesis liveness and boundedness subnet |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |