A Trace Semantics for Petri Nets

P. W. Hoogers H. C. M. Kleijn P. S. Thiagarajan

Published in: Inf. Comput. (1995)

Keyphrases

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