Sign in
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
Alexandre David
Lasse Jacobsen
Morten Jacobsen
Jirí Srba
Published in:
SSV (2012)
Keyphrases
</>
petri net
dynamic programming
genetic algorithm