Miryam Barad. Timed Petri Nets as a Verification Tool. In Deborah J. Medeiros, Edward F. Watson, John S. Carson II, Mani S. Manivannan, editors, Proceedings of the 30th conference on Winter simulation, WSC 1998, Washington DC, USA, December 13-16, 1998. pages 547-554, ACM, 1998. [doi]
Abstract is missing.