| 基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证 |
| |
| 引用本文： | 杨年华,虞慧群.基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证[J].华东理工大学学报(自然科学版),2010,36(3). |
| |
| 作者姓名： | 杨年华 虞慧群 |
| |
| 作者单位： | 1. 华东理工大学计算机科学与工程系,上海,200237;上海市计算机软件评测重点实验室,上海,201112
2. 华东理工大学计算机科学与工程系,上海,200237 |
| |
| 基金项目： | 国家自然科学基金，上海市曙光计划 |
| |
| 摘 要： | 结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。
|
| 关 键 词： | Petri网 抑制弧 嵌入式系统 建模 验证 |
Modeling and Verification of Embedded Systems Using Timed Colored Petri Net with Inhibitor Arcs |
| |
| YANG Nian-hua,YU Hui-qun.Modeling and Verification of Embedded Systems Using Timed Colored Petri Net with Inhibitor Arcs[J].Journal of East China University of Science and Technology,2010,36(3). |
| |
| Authors: | YANG Nian-hua YU Hui-qun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
