Login / Signup
Modular encoding of synchronous and asynchronous interactions using open Petri nets.
Paolo Baldan
Filippo Bonchi
Fabio Gadducci
Giacoma Valentina Monreale
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
ims ld
colored petri nets
fuzzy petri net
service composition
state machines
data analysis
discrete dynamical systems
programmable logic controller