时间约束Petrilit（timing constraint Petri nets，简称TCPN）是一类重要的时间Petri网系统．对相关定义重新界定，丰富并完善了TCPN理论．针......