Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. - Jeffrey J. P. Tsai; Steve Jennhwa Yang; Yao-Hsiung Chang (IEEE Trans. Software Eng., 1995)

Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. - Jeffrey J. P. Tsai; Stephen J. H. Yang; Yao-Hsiung Chang; Eric Y. T. Juan (COMPSAC, 1996)