A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Alexandre DavidLasse JacobsenMorten JacobsenJirí Srba
Published in: SSV (2012)