Login / Signup
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics.
Cláudia Nalon
Bruno Lopes
Gilles Dowek
Edward Hermann Haeusler
Published in:
LSFA (2014)
Keyphrases
</>
petri net
contract net protocol
discrete event systems
manufacturing systems
fuzzy petri net
ims ld
colored petri nets
petri net model
process algebra
modal logic
concurrent systems
programmable logic controller
discrete dynamical systems
stochastic petri net
workflow process
control system
neural network