摘要
时间Petri网是非常适合描述实时系统的模型工具,由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上,采用OOP技术,实现了一个时间petri网的分析工具。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第15期133-134,153,共3页
Computer Engineering and Applications
基金
国家自然科学基金资助项目(编号:69985004)
