@inproceedings { gommouper2014, author = "Gomes, Luís and Moutinho, Filipe and Pereira, Fernando and Ribeiro, José and Costa, Anikó and Barros, João Paulo", title = "Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development", year = "2014" }