New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets.

Shouguang Wang Dan You Mengchu Zhou

Published in: Sci. China Inf. Sci. (2018)

Keyphrases

petri net
colored petri nets
state space
petri net model
discrete event systems
manufacturing systems
state machines
high level petri nets
fuzzy petri net
service composition
ims ld
machine learning
decision making
cellular automata