@Inproceedings{EPTCS204.3,
  author    = {Soboci\'nski, Pawe{\l}},
  year      = {2016},
  title     = {Compositional model checking of concurrent systems, with Petri nets},
  editor    = {Mu\~noz, C\'esar A. and P\'erez, Jorge A.},
  booktitle = {{\rm Proceedings of the Eleventh International Workshop on}
               Developments in Computational Models,
               {\rm Cali, Colombia, October 28, 2015}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {204},
  publisher = {Open Publishing Association},
  pages     = {19-30},
  doi       = {10.4204/EPTCS.204.3},
}