EnPAC: Petri Net Model Checking for Linear Temporal Logic.

Zhijun Ding Cong He Shuo Li

Published in: ICNSC (2023)

Keyphrases

petri net
linear temporal logic
model checking
temporal logic
bounded model checking

model checker
formal specification
formal verification
transition systems
service composition

finite state
formal methods
web service composition
symbolic model checking
concurrent systems

process model
reactive systems
epistemic logic
planning domains
domain specific