A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking.
Nicolas AmatBernard BerthomieuSilvano Dal-ZilioPublished in: Fundam. Informaticae (2022)
Keyphrases
- petri net
- partial order reduction
- model checking
- bounded model checking
- temporal logic
- concurrent processes
- concurrent systems
- reactive systems
- colored petri nets
- fuzzy petri net
- formal verification
- automated verification
- process algebra
- model checker
- temporal properties
- symbolic model checking
- verification method
- web service composition
- finite state machines
- service composition
- linear temporal logic
- timed automata
- formal specification
- transition systems
- expert systems
- epistemic logic
- process model
- software engineering
- planning domains