TCPN的可调度性及调度区间的约束分析

时间约束Petri网(TCPN)通过引入时间因素,增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性,使得网的可调度性及调度区间的分析十分困难。针对常见的如顺序、并发、同步、冲突等拓扑结构,对变迁的可成功调度与否以及影响调度区间的约束条件进行了分析和研究,简化了TCPN网的可达性与可调度性的分析方法。