Moutinho, Filipe, Lu{\'ı}s Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, and André Monteiro. "Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System." Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. 2011. 237-245. Abstract
Pereira, Fernando, Filipe Moutinho, João Paulo Barros, Anikó Costa, and Luís Gomes. "Executable models for Embedded Controllers Development - {A} Cloud Based Development Framework." Proceedings of the MoDELS 2015 Demo and Poster Session co-located with {ACM/IEEE} 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015. 2015. 40-43. Abstract
n/a
S
Silva, Edgar M., Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, and Luís Gomes. "Communication support for Petri nets based distributed controllers." 23rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2014, Istanbul, Turkey, June 1-4, 2014. 2014. 1111-1116. Abstract