计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
15期
133-134，153
,共3页
时间Petri网%可达性分析%实时系统
時間Petri網%可達性分析%實時繫統
시간Petri망%가체성분석%실시계통
时间Petri网是非常适合描述实时系统的模型工具,由于时间的复杂性因素使得它的可达性分析变得非常困难.该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上,采用OOP技术,实现了一个时间petri网的分析工具.
時間Petri網是非常適閤描述實時繫統的模型工具,由于時間的複雜性因素使得它的可達性分析變得非常睏難.該文在分析瞭基于全跼時間變量的時間Petri網的可達性算法的基礎上,採用OOP技術,實現瞭一箇時間petri網的分析工具.
시간Petri망시비상괄합묘술실시계통적모형공구,유우시간적복잡성인소사득타적가체성분석변득비상곤난.해문재분석료기우전국시간변량적시간Petri망적가체성산법적기출상,채용OOP기술,실현료일개시간petri망적분석공구.
