| 基于Petri网表示的嵌入式系统模型化简规则(英文) |
| |
| 引用本文： | 夏传良. 基于Petri网表示的嵌入式系统模型化简规则(英文)[J]. 计算机科学与探索, 2008, 2(6): 614-626 |
| |
| 作者姓名： | 夏传良 |
| |
| 作者单位： | 山东建筑大学,计算机学院,济南,250101;中国科学院软件研究所计算机科学国家重点实验室,北京,100190 |
| |
| 基金项目： | No.60721061，the National Grand Fundamental Research 973 Program of China under Grant No.2002cb312200 (国家重点基础研究发展规划 |
| |
| 摘 要： | 为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系。对两个系统模型的化简结果进一步说明了这些化简规则的有效性。
|
| 关 键 词： | 化简规则 Petri网 完全等价 保性 嵌入式系统 |
| 修稿时间： | |
Reduction rules for Petri Net based representation for embedded systems |
| |
| XIA Chuanliang. Reduction rules for Petri Net based representation for embedded systems[J]. Journal of Frontier of Computer Science and Technology, 2008, 2(6): 614-626 |
| |
| Authors: | XIA Chuanliang |
| |
| Affiliation: | 1. School of Computer Science and Technology， Shandong Jianzhu University， Jinan 250101， China 2. State Key Laboratory for Computer Science， Institute of Software， Chinese Academy of Sciences， Beijing 100190， China |
| |
| Abstract: | Abstract: The research concentrates on the aspects related to reduction rules for Petri Net based Representation for Embedded Systems (PRES+). The major motivation of this work is to give correctness-preservation transformations to improve the verification efficiency. It proposes a set of reduction rules to reduce PRES+ nets to the equivalent reduced PRES+ nets. Reductions for two system models demonstrate the efficiency of this reduction rules on practical applications. |
| |
| Keywords: | reduction rules Petri Nets total-equivalence property preservation embedded system |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
