Login / Signup
Domain and event structure semantics for Petri nets with read and inhibitor arcs.
Paolo Baldan
Nadia Busi
Andrea Corradini
G. Michele Pinna
Published in:
Theor. Comput. Sci. (2004)
Keyphrases
</>
petri net
petri net model
process model
discrete event systems
state machines
colored petri nets
service oriented
sequence diagrams
low cost
dynamical systems
service composition
ims ld
process algebra
fuzzy petri net
stochastic petri net
discrete dynamical systems