中文摘要：

时间约束Petrilit（timing constraint Petri nets，简称TCPN）是一类重要的时间Petri网系统．对相关定义重新界定，丰富并完善了TCPN理论．针对变迁可调度原始定义的不足，首先给出了变迁的弱／强可调度的新定义及强可调度判定定理；然后对变迁的强可调度进行了拓展，提出了TCPN时间可调度的概念，并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究．TCPN对时间Petri网的研究工作将起到启发作用，并对实时系统的描述和建模工作具布一定的参考价值．

英文摘要：

TCPN （timing constraint Petri nets） is an important kind of time-related Petri nets. Some basic concepts are redefined to enrich and perfect corresponding the theory of TCPN. Firstly, the rigorous definitions for weak and strong schedulability of a transition are redefined to correct the irrationality of the original ones. The verification method for the strong schedulability is presented in the form of a theorem. Secondly, the definition of schedulability of TCPN is given and the corresponding necessary and sufficient condition is proposed. Finally, the characteristic of TCPN along with Petri nets and other time-related Petri nets is analysed. It is of certain illumination and referrence, both in research of time-related Petri nets and in modeling real-time systems.