Login / Signup
Unfold and cover: Qualitative diagnosability for Petri Nets.
Stefan Haar
Published in:
CDC (2007)
Keyphrases
</>
petri net
discrete event systems
petri net model
high level petri nets
manufacturing systems
colored petri nets
service composition
ims ld
qualitative and quantitative
state machines
process model
stochastic petri net
complex systems
fuzzy petri net
discrete dynamical systems
model based diagnosis
discrete event
telecommunication networks
sequence diagrams