Romo: A Tool for Analyzing time Petri nets (2005)

by G Gardey, D Lime, M Magnin, O H Roux
Venue:In Proc. CAV’05. LNCS 3576