EnPAC: Petri Net Model Checking for Linear Temporal Logic.
Zhijun DingCong HeShuo LiPublished in: CoRR (2023)
Keyphrases
- petri net
- linear temporal logic
- model checking
- temporal logic
- bounded model checking
- finite state
- model checker
- formal specification
- formal verification
- symbolic model checking
- web service composition
- transition systems
- formal methods
- concurrent systems
- service composition
- reactive systems
- modal logic
- epistemic logic
- dynamic programming
- process model
- temporally extended goals