Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan. Towards the Verification of Scenarios with Time Petri-Nets. In 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan. pages 503-508, IEEE Computer Society, 2000. [doi]
Abstract is missing.