Verification of Petri Nets based Simulation Models using Coverage Metrics.

Markus Rabe, Maik Deininger, Anne Antonia Scheidler

Browse the full PADS paper archive.