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

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