时间约束Petri网的状态可达及可调度分析算法

State Reachability and Schedulability Analysis Algorithm of Timing Constraint Petri Nets

时间约束Petri网是具有广义时间约束的一类Petri网。时间约束的引入使TCPN’s的演化与系统每一时刻的状态密切相关，导致网的动态复杂性。目前有关TCPN’s状态可达性的研究仅局限于一些较简单的网，该文通过对TCPN’s的进一步研究，给出了更一般的可达性分析方法及变迁可调度决策算法，并讨论了含冲突结构的TCPN’s的可调度分析。

Timing Constraint Petri Nets are the class of petri nets which have general time consbonts. The introdction of time constaints makes the involution of TCPN's closely relate to the system states at each moment,which results in dynamic complexity of TCPN's. At present, studies on state reachability of TCPN's only restrict to some simple nets.This paper forther studies TCPN's,and shows more general analysis method of reachability and decision algorithm of schedtilability,and discusses analysis of schedulability of TCPN's including conflict structures.