On detectability of labeled Petri nets with inhibitor arcs.

Kuize Zhang Alessandro Giua

Published in: CoRR (2018)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
process model
colored petri nets
fuzzy petri net
discrete dynamical systems
service composition
ims ld
sequence diagrams
stochastic petri net
learning objects
concurrent systems
programmable logic controller