Login / Signup
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.
Pierre-Alain Reynier
Frédéric Servais
Published in:
Fundam. Informaticae (2013)
Keyphrases
</>
petri net
search space
optimal solution
np hard
neural network
pruning algorithm
pruning strategy