Formalization of Karp-Miller tree construction on petri nets.

Mitsuharu Yamamoto Shogo Sekine Saki Matsumoto

Published in: CPP (2017)

Keyphrases

petri net
tree construction
decision trees
petri net model
r tree
discrete event systems
colored petri nets
knowledge representation
suffix tree
manufacturing systems
state machines
concurrent systems
ims ld
fuzzy petri net
stochastic petri net
complex systems
programmable logic controller