Sangyun Kim, Sunan Tugsinavisut, Peter A. Beerel. Reducing probabilistic timed petri nets for asynchronous architectural analysis. In David P. LaPotin, Charles J. Alpert, John Lillis, editors, Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002. pages 140-147, ACM, 2002. [doi]
Abstract is missing.