Decision Diagrams for Petri Nets: Which Variable Ordering?
Elvio Gilberto AmparoreSusanna DonatelliMarco BeccutiGiulio GarbiAndrew S. MinerPublished in: PNSE @ Petri Nets (2017)
Keyphrases
- petri net
- variable ordering
- decision diagrams
- binary decision diagrams
- boolean functions
- planning problems
- colored petri nets
- branch and bound algorithm
- efficient computation
- fuzzy petri net
- knowledge compilation
- multi valued
- model checking
- markov decision processes
- constraint satisfaction problems
- np hard
- machine learning