摘要
本文所论述的时间Petri网属确定性(deter—ministic)时间Petri网类的一种。在简要回顾时间Petri 网的发展过程的同时,指出了这种网的优点和限制。对这种时间Petri网的主要基本概念进行了论述。最后举了一个简单通信规程的应用例子,使用PNUT软件工具描绘了TRG,进行了逻辑正确性的验证和简单的系统性能分析。
出处
《计算技术与自动化》
1990年第2期22-30,共9页
Computing Technology and Automation
基金
本课题为非教育系统出国留学人员科技活动资助项目
