New reachability trees for unbounded Petri nets.

ShouGuang Wang MengChu Zhou Mengdi Gan Dan You Yue Li

Published in: ICRA (2015)

Keyphrases

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