"Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches."

Didier Lime et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics