Computing Minimal Elements of Upward-Closed Sets for Petri Nets.

Hsu-Chun Yen Chien-Liang Chen

Published in: ICATPN (2007)

Keyphrases

petri net
closed sets
discrete event systems
petri net model
closure operator
colored petri nets
fuzzy petri net
ims ld
service composition
stochastic petri net
binary data
random walk
inductive inference
multi relational
programmable logic controller