Login / Signup
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity.
Gabriel Juhás
Robert Lorenz
Sebastian Mauser
Published in:
Fundam. Informaticae (2008)
Keyphrases
</>
petri net
petri net model
discrete event systems
colored petri nets
manufacturing systems
fuzzy petri net
ims ld
service composition
concurrent systems
process algebra
concurrency control
process model
logic programming
sequence diagrams
stochastic petri net
state machines
programmable logic controller