Deciding Detectability for Labeled Petri Nets.

Tomás Masopust Xiang Yin

Published in: CoRR (2018)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
fuzzy petri net
high level petri nets
service composition
discrete dynamical systems
ims ld
collaborative learning
state machines
stochastic petri net
artificial intelligence
programmable logic controller