@Inproceedings{DBLP:conf/etaps/BruniMM14,
   status = {public},
   task = {T2.1},
   publisher = {Springer},
   doi = {10.1007/978-3-642-54848-2_4},
   booktitle = {FPS@ETAPS, From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   isbn = {978-3-642-54847-5},
   invited = {no},
   volume = {8415},
   main = {no},
   title = {{From Hierarchical BIP to Petri Calculus}},
   editor = {Saddek Bensalem and Yassine Lakhneck and Axel Legay},
   author = {Roberto Bruni and Hern{\'a}n C. Melgratti and Ugo Montanari},
   period = {year4},
   abstract = {We focus on Hierarchical BIP, an extension of Joseph Sifakis et al's BIP component framework, to provide a semantics-preserving, compositional encoding in the Petri calculus, a recently proposed algebra of stateless connectors and one-position buffers.},
   partner = {UNIPI},
   assoc_res = {Hernán Melgratti},
   wp = {WP2},
   pages = {54--68}
}