| The input-output place-transition petri net class and associated tools L Gomes, JP Barros, A Costa, R Nunes 2007 5th IEEE International Conference on Industrial Informatics 1, 509-514, 2007 | 160 | 2007 |
| Structuring and composability issues in Petri nets modeling L Gomes, JP Barros IEEE Transactions on Industrial Informatics 1 (2), 112-123, 2005 | 107 | 2005 |
| From Petri net models to VHDL implementation of digital controllers L Gomes, A Costa, JP Barros, P Lima IECON 2007-33rd Annual Conference of the IEEE Industrial Electronics Society …, 2007 | 69 | 2007 |
| Modeling formalisms for embedded systems design L Gomes, J Barros, A Costa CRC, 2005 | 56 | 2005 |
| Using lab exams to ensure programming practice in an introductory programming course JP Barros, L Estevens, R Dias, R Pais, E Soeiro ACM SIGCSE Bulletin 35 (3), 16-20, 2003 | 49 | 2003 |
| Net model composition and modification by net operations: a pragmatic approach JP Barros, L Gomes 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN'04 …, 2004 | 43 | 2004 |
| Educating for mobile computing: addressing the new challenges B Burd, JP Barros, C Johnson, S Kurkovsky, A Rosenbloom, N Tillman Proceedings of the final reports on Innovation and technology in computer …, 2012 | 38 | 2012 |
| Extending input-output place-transition Petri nets for distributed controller systems development L Gomes, F Moutinho, F Pereira, J Ribeiro, A Costa, JP Barros 2014 International Conference on Mechatronics and Control (ICMC), 1099-1104, 2014 | 32 | 2014 |
| Towards usage of formal methods within embedded systems co-design L Gomes, JP Barros, A Costa, R Pais, F Moutinho 2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 4 pp …, 2005 | 31 | 2005 |
| Actions as Activities and Activities as Petri nets JP Barros, L Gomes TUM 129, 2003 | 31 | 2003 |
| On structuring mechanisms for Petri nets based system design L Gomes, JP Barros EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory …, 2003 | 30 | 2003 |
| Towards the support for crosscutting concerns in activity diagrams: a graphical approach JP Barros, L Gomes Proc. of the AOSD Modeling with UML Workshop, 2003 | 26 | 2003 |
| Petri nets tools framework supporting FPGA-based controller implementations A Costa, L Gomes, JP Barros, J Oliveira, T Reis 2008 34th Annual Conference of IEEE Industrial Electronics, 2477-2482, 2008 | 23 | 2008 |
| Activities as behaviour aspects JP Barros, L Gomes The 2nd International Workshop on Aspect-Oriented Modeling with UML, Germany …, 2002 | 23 | 2002 |
| Structuring mechanisms in Petri net models: From specification to FPGA-based implementations MA Adamski, A Karatkevich, M Wegrzyn, L Gomes, JP Barros, A Costa Design of embedded control systems, 153-166, 2005 | 21 | 2005 |
| Modifying Petri net models by means of crosscutting operations JP Barros, L Gomes Third International Conference on Application of Concurrency to System …, 2003 | 21 | 2003 |
| A tool for tailored code generation from petri net models R Pais, SP Barros, L Gomes 2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 8 pp …, 2005 | 20 | 2005 |
| A graphical editor for the input-output place-transition petri net class R Nunes, L Gomes, JP Barros 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007 | 19 | 2007 |
| From Petri net models to C implementation of digital controllers L Gomes, R Rebelo, JP Barros, A Costa, R Pais 2010 IEEE International Symposium on Industrial Electronics, 3057-3062, 2010 | 18 | 2010 |
| Ecore representation for extending PNML for Input-Output Place-Transition nets F Moutinho, L Gomes, F Ramalho, J Figueiredo, JP Barros, P Barbosa, ... IECON 2010-36th Annual Conference on IEEE Industrial Electronics Society …, 2010 | 17 | 2010 |
Luis GomesUniversidade Nova de Lisboa / UNINOVAVerified email at fct.unl.pt
