Logical Reasoning and Petri Nets.

Kurt Lautenbach

Published in: ICATPN (2003)

Keyphrases

petri net
logical reasoning
formal semantics
petri net model
manufacturing systems
discrete event systems
fuzzy petri net
ims ld
colored petri nets
stochastic petri net
case study
service composition
neural network
software development
discrete dynamical systems