Weak Time Petri Nets Strike Back!.

Pierre-Alain Reynier, Arnaud Sangnier

Browse the full CONCUR paper archive.