时间petri网保持活性、有界性的两个充要条件

活性和有界性是petri网最重要的性质，对于传统petri网的这些性质，国内外学者作过大量的研究工作，并且得到了不少成果，而对含时间因素的petri网的这些相应性质国内外研究得很少。本文首先介绍了时间petri网tpn的若干基本定义，然后说明了时间petri网tpn的活性、有界性和对应传统petri网的相应性质并无关系，接着给出了时间petri网保持活性、有界性的时间区间上的两个充分强要条件。为利用传统petri网的性质判定结果来判定时间petri网的相应性质提供了可能性。