A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Published in: SSV (2012)

Keyphrases