@Article{DBLP:journals/scp/BaldanBGM15,
   status = {public},
   task = {T2.1},
   doi = {10.1016/j.scico.2014.11.019},
   year = {2015},
   invited = {no},
   main = {no},
   issn = {0167-6423},
   title = {{Modular encoding of synchronous and asynchronous
interactions using open Petri nets}},
   author = {Paolo Baldan and Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale},
   period = {year4},
   journal = {Science of Computer Programming},
   partner = {UNIPI},
   assoc_res = {Paolo Baldan, Filippo Bonchi},
   wp = {WP2}
}