Login / Signup
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets.
Artur Meski
Agata Pólrola
Wojciech Penczek
Bozena Wozna-Szczesniak
Andrzej Zbrzezny
Published in:
PNSE (2011)
Keyphrases
</>
petri net
bounded model checking
petri net model
model checking
concurrent systems
colored petri nets
distributed systems
formal verification
temporal logic
discrete event systems
concurrent processes
reactive systems
stochastic petri net
linear temporal logic
state machines
multi agent
cooperative