A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets.

Lutz Priese Harro Wimmel

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

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
fuzzy petri net
colored petri nets
service composition
ims ld
process algebra
logic programming
process model
concurrency control
concurrent systems
stochastic petri net
low cost