Login / Signup

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms.

Elvio Gilberto AmparoreSusanna DonatelliMarco BeccutiGiulio GarbiAndrew S. Miner
Published in: Trans. Petri Nets Other Model. Concurr. (2018)
Keyphrases
  • petri net
  • variable ordering
  • computational complexity
  • special case
  • colored petri nets
  • data structure
  • expert systems
  • combinatorial optimization
  • branch and bound algorithm