Model checking Petri nets with MSVL.

Ya Shi Cong Tian Zhenhua Duan Mengchu Zhou

Published in: Inf. Sci. (2016)

Keyphrases

petri net
model checking
partial order reduction
temporal logic
process algebra
reactive systems
model checker

formal specification
concurrent systems
formal verification
automated verification
finite state machines
temporal properties
service composition

colored petri nets
epistemic logic
symbolic model checking
process model
transition systems
web service composition

verification method
formal methods
timed automata
fuzzy petri net
bounded model checking
asynchronous circuits