SAT-Solving the Coverability Problem for Petri Nets.
Parosh Aziz AbdullaS. Purushothaman IyerAletta NylénPublished in: Formal Methods Syst. Des. (2004)
Keyphrases
- petri net
- sat solving
- sat solvers
- discrete event systems
- petri net model
- sat problem
- boolean satisfiability
- stochastic petri net
- sat encodings
- service composition
- constraint satisfaction
- colored petri nets
- orders of magnitude
- ims ld
- constraint satisfaction problems
- programmable logic controller
- max sat
- search tree
- fuzzy petri net