Angelo Furfaro, Libero Nigro. Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. In Peter Kokol, editor, IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005. pages 388-393, IASTED/ACTA Press, 2005.
Abstract is missing.