A Trace Semantics for Petri Nets (Extended Abstract).

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

Published in: ICALP (1992)

Keyphrases

extended abstract
petri net
discrete event systems
petri net model
manufacturing systems
colored petri nets
state machines
ims ld
discrete dynamical systems
process algebra
process model
service composition
fuzzy petri net
stochastic petri net
concurrent systems
logic programming
knowledge base
neural network