Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.

Paolo Baldan Nadia Busi Andrea Corradini G. Michele Pinna

Published in: CONCUR (2000)

Keyphrases

petri net
concurrent processes
petri net model
discrete event systems
colored petri nets
manufacturing systems
fuzzy petri net
state machines
process algebra
ims ld
concurrent systems
stochastic petri net
discrete dynamical systems
process model
service composition
programmable logic controller