| 时间Petri网分析工具的实现 |
| |
| 引用本文： | 秦锋,宋金晶,袁志祥.时间Petri网分析工具的实现[J].计算机工程与应用,2003,39(15):133-134,153. |
| |
| 作者姓名： | 秦锋 宋金晶 袁志祥 |
| |
| 作者单位： | 1. 安徽工业大学计算机科学系,安徽,马鞍山,243002
2. 同济大学计算机科学与工程系,上海,200092 |
| |
| 基金项目： | 国家自然科学基金资助项目(编号:69985004) |
| |
| 摘 要： | 时间Petri网是非常适合描述实时系统的模型工具,由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上,采用OOP技术,实现了一个时间petri网的分析工具。
|
| 关 键 词： | 时间Petri网 可达性分析 实时系统 |
| 文章编号： | 1002-8331-(2003)15-0133-02 |
The Analysis Tools Implementation of Time Petri Nets |
| |
| Qin Feng,Song Jinjing,Yuan Zhixiang.The Analysis Tools Implementation of Time Petri Nets[J].Computer Engineering and Applications,2003,39(15):133-134,153. |
| |
| Authors: | Qin Feng Song Jinjing Yuan Zhixiang |
| |
| Affiliation: | Qin Feng 1 Song Jinjing 2 Yuan Zhixiang 11 |
| |
| Abstract: | Time Petri Nets is the model which is suitable for the specification of real-time systems.Due to its time complexity,the reachability analysis of TPN becomes difficult.In paper 1,The paper presents the reachability analysis algorithm of time Petri nets based on the concept of clock-stamped state class(CS-class).This paper implements the analysis tool of TPN based on the ideal of it. |
| |
| Keywords: | Time Petri Nets Reachability analysis Real-time systems |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
