Login / Signup

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.

Pierre-Alain ReynierFrédéric Servais
Published in: Fundam. Informaticae (2013)
Keyphrases
  • petri net
  • search space
  • optimal solution
  • np hard
  • neural network
  • pruning algorithm
  • pruning strategy