Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.
Didier LimeOlivier H. RouxCharlotte SeidnerLouis-Marie TraonouezPublished in: TACAS (2009)
Keyphrases
- petri net
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- ai planning
- petri net model
- discrete event systems
- test suite
- web service composition
- set theory
- colored petri nets
- service composition
- epistemic logic
- fuzzy petri net
- specification language
- planning domains
- stochastic petri net
- process model
- test cases
- concurrent systems
- knowledge based systems
- dynamic programming
- genetic algorithm