Christian Rohr. Simulative CSL model checking of Stochastic Petri nets in IDD-MC. In Martin Schwarick, Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010. Volume 643 of CEUR Workshop Proceedings, pages 88-93, CEUR-WS.org, 2010. [doi]
Abstract is missing.