Bounded model checking of Time Petri Nets using SAT solver.
Tomoyuki YokogawaMasafumi KondoHisashi MiyazakiSousuke AmasakiYoichiro SatoKazutami ArimotoPublished in: IEICE Electron. Express (2015)
Keyphrases
- petri net
- bounded model checking
- sat solvers
- model checking
- formal verification
- orders of magnitude
- temporal logic
- petri net model
- linear temporal logic
- constraint satisfaction
- sat problem
- sat solving
- discrete event systems
- search strategies
- web service composition
- boolean satisfiability
- search tree
- multi agent systems
- search space
- stochastic petri net
- sat instances
- colored petri nets
- reactive systems
- fuzzy petri net
- heuristic search
- concurrent systems
- boolean formula
- service composition