The Complexity of Diagnosability and Opacity Verification for Petri Nets.

Béatrice Bérard Stefan Haar Sylvain Schmitz Stefan Schwoon

Published in: Petri Nets (2017)

Keyphrases

petri net
discrete event systems
petri net model
colored petri nets
concurrent systems

manufacturing systems
high level petri nets
service composition
programmable logic controller
model based diagnosis

model checking
fuzzy petri net
stochastic petri net
ims ld

complex systems
multi agent systems
knowledge base
dynamic systems