Reachability Analysis of Variants of Communication-Free Petri Nets.

Chien-Liang Chen Suey Wang Hsu-Chun Yen

Published in: IEICE Trans. Inf. Syst. (2009)

Keyphrases

petri net
reachability analysis
markov decision processes
manufacturing systems
concurrent processes
model checking
petri net model
discrete event systems
stochastic petri net
ims ld
state space
service composition
colored petri nets
incremental algorithms
timed automata
fuzzy petri net