A Symbolic Model Checker for Petri Nets: pnmc.
Alexandre HamezPublished in: Trans. Petri Nets Other Model. Concurr. (2016)
Keyphrases
- petri net
- model checker
- model checking
- binary decision diagrams
- formal verification
- temporal logic
- formal methods
- description language
- formal specification
- ai planning
- web service composition
- set theory
- petri net model
- test suite
- discrete event systems
- symbolic representation
- service composition
- concurrent systems
- colored petri nets
- fuzzy petri net
- specification language
- process model
- epistemic logic
- reactive systems
- boolean functions
- neural network
- data mining