时间约束Petri网的可调度性分析方法研究

摘要

在系统地研究了时间约束 Petri网的基础上 ,提出了一般的状态可达性分析方法。通过讨论任意拓扑结构 TCPN′s的可调度分析 ,克服了以往 TCPN′s可达性分析方法的局限性 ,显示了该方法的准确性和实用性。