Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan. Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. In COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. pages 36-40, IEEE Computer Society, 1996. [doi]
Abstract is missing.