• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2000, Vol. 22 ›› Issue (3): 60-63.

• 论文 • 上一篇    下一篇

时间约束Petri网的可达性分析研究

李慧芳 李人厚   

  • 出版日期:2000-03-01 发布日期:2010-06-11

  • Online:2000-03-01 Published:2010-06-11

摘要:

时间约束Petri风是具有广义时间约束的一类Petri网。目前有关TCPN状态可达性的研究仅局限于一些较简单的网,本文通过对TCPN的进一步研究,给出了更一般的状态可达性分析方法,并讨论了一般拓扑结构TCPN的可调度分析。

关键词: 时间约束 Petri网 可达性分析