O.H.: Parametric model-checking of stopwatch Petri nets (2009)

by L M Traonouez, D Lime, Roux
Venue:Journal of Universal Computer Science (J.UCS