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