Symbolic Computation of Petri Nets.

Andrés Iglesias Sinan Kapçak

Published in: International Conference on Computational Science (2) (2007)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
colored petri nets
state machines
stochastic petri net
service composition
ims ld
fuzzy sets
concurrent systems