| 基于共享位置的Petri网系统综合与保性 |
| |
| 引用本文： | 焦莉,陆维明.基于共享位置的Petri网系统综合与保性[J].计算机学报,2007,30(3):352-360. |
| |
| 作者姓名： | 焦莉 陆维明 |
| |
| 作者单位： | 1. 中国科学院软件研究所计算机科学重点实验室,北京,100080
2. 中国科学院数学与系统科学研究院,北京,100080 |
| |
| 摘 要： | 基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持.
|
| 关 键 词： | Petri网 特点保持 共享位置 设计 综合 位置 Petri Net 系统综合 Shared Based Systems liveness 活性 行为特点 deadlock free 无死锁 过程 设计模型 条件 重用 设计方法 shared |
| 修稿时间： | 2005-04-212006-09-06 |
Synthesis and Property-Preservation of Petri Net Systems Based on Shared Places |
| |
| JIAO Li,LU Wei-Ming.Synthesis and Property-Preservation of Petri Net Systems Based on Shared Places[J].Chinese Journal of Computers,2007,30(3):352-360. |
| |
| Authors: | JIAO Li LU Wei-Ming |
| |
| Affiliation: | 1.Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080; 2. Academy of Mathematic and System Science, Chinese Academy of Sciences, Beijing 100080 |
| |
| Abstract: | Based on the shared places,this paper introduces one kind of synthesis design methods,which is convenient for reuse of many models.Meanwhile,this paper also proposes some conditions under which each stage can preserve some important behavior properties of Petri nets,such as deadlock freedom.The liveness property can also be preserved for some subclasses. |
| |
| Keywords: | Petri nets property-preservation shared places design synthesis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
