@inproceedings{inproceedings36aae5d0,
title   = {Modeling and simulating interaction protocols using nested Petri nets},
author = {Fernández Venero, Mirtha Lina and Silva, Flávio Soares Corrêa da},
year = {2014},
doi = {10.1007/978-3-319-05032-4_11},
publisher = {Springer},
booktitle   = {International Conference on Software Engineering and Formal Methods - SEFM}
}