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

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