Login / Signup
The Complexity of Diagnosability and Opacity Verification for Petri Nets.
Béatrice Bérard
Stefan Haar
Sylvain Schmitz
Stefan Schwoon
Published in:
Fundam. Informaticae (2018)
Keyphrases
</>
petri net
discrete event systems
petri net model
colored petri nets
concurrent systems
high level petri nets
manufacturing systems
complex systems
service composition
state machines
fuzzy petri net
stochastic petri net
model checking
high dimensional
model based diagnosis
programmable logic controller