Encoding Synchronous Interactions Using Labelled Petri Nets.

Paolo Baldan Filippo Bonchi Fabio Gadducci Giacoma Valentina Monreale

Published in: COORDINATION (2014)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
ims ld
colored petri nets
fuzzy petri net
process model
stochastic petri net
service composition
sequence diagrams
e learning