Markus Rabe, Maik Deininger, Anne Antonia Scheidler. Verification of Petri Nets based Simulation Models using Coverage Metrics. In Simon J. E. Taylor, Navonil Mustafee, Young Jun Son, editors, Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10 - 12, 2015. pages 247-256, ACM, 2015. [doi]
Abstract is missing.