Symbolic Unfolding of Parametric Stopwatch Petri Nets.

Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux

Browse the full ATVA paper archive.