A causal semantics for time Petri nets.

Tuomas Aura Johan Lilius

Published in: Theor. Comput. Sci. (2000)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
logic programming
fuzzy petri net
discrete dynamical systems
process algebra
concurrent systems
process model
stochastic petri net
state machines
sequence diagrams
ims ld
service composition
web services