Keyphrases
- petri net
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- ai planning
- petri net model
- web service composition
- test suite
- service composition
- set theory
- colored petri nets
- epistemic logic
- specification language
- fuzzy petri net
- concurrent systems
- stochastic petri net
- ims ld
- belief revision
- process model
- test cases
- knowledge based systems
- domain specific
- machine learning