期刊文章详细信息
时间Petri网分析工具的实现
The Analysis Tools Implementation of Time Petri Nets
文献类型：期刊文章
机构地区：[1]安徽工业大学计算机科学系,安徽马鞍山243002 [2]同济大学计算机科学与工程系,上海200092
基 金：国家自然科学基金资助项目(编号:69985004)
年 份：2003
卷 号：39
期 号：15
起止页码：133-134
语 种：中文
收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊
摘 要：时间Petri网是非常适合描述实时系统的模型工具,由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上,采用OOP技术,实现了一个时间petri网的分析工具。
关 键 词：时间Petri 网 可达性分析 实时系统
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
