Login / Signup

Finding a Witness Path for Non-liveness in Free-Choice Nets.

Harro WimmelKarsten Wolf
Published in: Petri Nets (2011)
Keyphrases
  • shortest path
  • databases
  • neural network
  • multimedia
  • lower bound
  • trade off