| 层次结构的Petri网 |
| |
| 引用本文： | 郝克刚,丁剑洁.层次结构的Petri网[J].计算机科学与探索,2008,2(2):123-130. |
| |
| 作者姓名： | 郝克刚 丁剑洁 |
| |
| 作者单位： | 1. 西北大学,信息科学与技术学院,西安,710027
2. 西北大学,信息科学与技术学院,西安,710027;陕西教育学院,数理工程系,西安,710061 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)
,
国家高技术研究发展计划(863计划) |
| |
| 摘 要： | Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。
|
| 关 键 词： | Petri网 层次结构 位置精化网 转移精化网 对象网 着色网 开放网 |
| 修稿时间： | |
Hierarchical Petri nets |
| |
| HAO Kegang,DING Jianjie.Hierarchical Petri nets[J].Journal of Frontier of Computer Science and Technology,2008,2(2):123-130. |
| |
| Authors: | HAO Kegang DING Jianjie |
| |
| Affiliation: | 1. College of Information Science and Technology， Northwest University， Xi’an 710027， China 2. Department of Math and Physics， Shaanxi Education Institute， Xi’an 710061， China |
| |
| Abstract: | Petri net is a perfect model to describe and analyze concurrent systems. However， in large or complex applications of the real world， it may run into the problem that the amount of nodes is too large. Colored Petri nets and several hierarchical Petri nets， such as place/transition refinement nets， object nets and open nets are introduced. Also， the methods of deduction of amount of nodes and introduction of hierarchy into models are analyzed and compared. Further， the relations of these models with each other in view of their structures are discussed. |
| |
| Keywords: | Petri net hierarchy place refinement transition refinement object Petri net colored Petri net open net |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
