How Petri Net Theory Serves Petri Net Model Checking: A Survey.
Karsten WolfPublished in: Trans. Petri Nets Other Model. Concurr. (2019)
Keyphrases
- petri net
- model checking
- concurrent systems
- process algebra
- reactive systems
- temporal logic
- transition systems
- petri net model
- formal methods
- automated verification
- model checker
- formal verification
- timed automata
- colored petri nets
- web service composition
- formal specification
- bounded model checking
- verification method
- symbolic model checking
- service composition
- abstract interpretation
- asynchronous circuits
- temporal properties
- stochastic petri net
- process model
- fuzzy petri net
- epistemic logic
- set theory
- modal logic