A new reachability tree for unbounded Petri nets.

Yue Li ShouGuang Wang Jing Yang

Published in: ICCA (2013)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
fuzzy petri net
process model
service composition
stochastic petri net
state space
ims ld
colored petri nets
neural network
state machines
concurrent systems
programmable logic controller