OA.uninova.pt

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | Date | Divisions | WoS Indexed | WoS Citations | No Grouping
Number of items: 60.

Article

Barros, João Paulo and Gomes, Luís and Garcia, Luís (2013) A Proposal for the Description of Individual Course Units. International Journal of Engineering Pedagogy (iJEP), 3 (S1). eISSN 2192-4880. URL: http://dx.doi.org/10.3991/ijep.v3iS1.2420.

Barros, João and Gomes, Luís (2007) On the Use of Programming Languages for Textual Specification of Petri Net Models. Petri Net Newsletter, 73. ISSN 0931-1084.

Gomes, Luís and Barros, João (2005) Structuring and Composability Issues in Petri Nets Modeling. IEEE Transactions on Industrial Informatics, 1 (2), pp. 112-123. (ISI Web of Science, Citations: 20).

Barros, João and Jørgensen, Jens Bæk (2005) A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nordic Journal of Computing, 12 (3), pp. 229-250. ISSN 1236-6064.

Barros, João and Gomes, Luís (2004) On the Use of Coloured Petri nets for the Object Oriented Design. Lecture Notes in Computer Science LNCS 3099, pp. 117-136. ISSN 0302-9743. (ISI Web of Science, Citations: 1).

Book

Moraru, Sorin-Aures and Borza, Paul N. and Gomes, Luís and Barros, João and Costa, Anikó (2002) Preparatory Module Course. Editura Lux Libris, Brasov, Romania. ISBN 973-9458-23-8.

Book Section

Gomes, Luís and Costa, Anikó and Barros, João Paulo and Moutinho, Filipe and Pereira, Fernando (2013) Merging and Splitting Petri Net Models within Distributed Embedded Controller Design. In: Embedded Computing Systems. IGI Global , pp. 160-183. ISBN 9781466639225. eISBN 9781466639232. URL: http://dx.doi.org/10.4018/978-1-4666-3922-5.ch009.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Modeling Formalisms for Embedded Systems Design. In: Zurawski, Richard, (ed.). Embedded Systems Handbook. CRC, 5.1-5.34. ISBN 0849328241.

Gomes, Luís and Barros, João (2005) Models of Computation for Embedded Systems. In: Zurawski, Richard, (ed.). The Industrial Information Technology Handbook. CRC, 83.1-83.17. ISBN 0849319854.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations. In: Adamski, Marian and Karatkevich, Andrei and Wegrzyn, Marek, (eds.). Design of embedded control systems. Springer, pp. 153-166. ISBN 10: 0-387-23630-9; 13: 978-0387-23630-8.

Conference or Workshop Item

Brito, Isabel Sofia and Barros, João Paulo and Gomes, Luís (2015) Controller design and implementation: An approach based on problem frames and Petri Net models. [Paper]. In: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 22-24 July 2015 , Cambridge. URL: http://dx.doi.org/10.1109/INDIN.2015.7281849.

Gomes, Luís and Moutinho, Filipe and Pereira, Fernando and Ribeiro, Jose and Costa, Anikó and Barros, João Paulo (2014) Extending input-output place-transition Petri nets for distributed controller systems development. [Paper]. In: 2014 International Conference on Mechatronics and Control (ICMC), 3-5 July 2014 , Jinzhou . URL: http://dx.doi.org/10.1109/ICMC.2014.7231723.

Pais, Rui and Barros, João Paulo and Gomes, Luís (2014) From SysML State Machines to Petri Nets Using ATL Transformations. [Paper]. In: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, April 7-9, 2014, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-54734-8_26.

Barros, João Paulo and Brito, Isabel Sofia and Gomes, Luís (2014) Requirements specification for controller design — From use cases to IOPT net models. [Paper]. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 27-30 July 2014, Porto Alegre . URL: http://dx.doi.org/10.1109/INDIN.2014.6945509.

Barros, João Paulo and Gomes, Luís (2014) Towards the use of Place/Transition net tools for analysis of IOPT models. [Paper]. In: 2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE), 1-4 June 2014, Istanbul. URL: http://dx.doi.org/10.1109/ISIE.2014.6864774.

Costa, Anikó and Gomes, Luís and Barros, João Paulo (2012) Model composition by reusing Petri net based modules. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389078.

Costa, Anikó and Gomes, Luís and Barros, João Paulo (2012) Model composition by reusing Petri net based modules. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389078.

Melo, F. and Pereira, N.E. and Areias, M. and Barata, José and Barros, João (2012) Network active management for load balacing based in a intelligent multi agent system. [Paper]. In: CIRED 2012 Workshop: Integration of Renewables into the Distribution Grid, 29-30 May 2012, Lisbon. URL: http://dx.doi.org/10.1049/cp.2012.0889.

Barros, João Paulo and Gomes, Luís and Costa, Anikó (2012) On the verification of non-autonomous Petri net models using autonomous petri net tools. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389077.

Barros, João Paulo and Gomes, Luís and Costa, Anikó (2012) On the verification of non-autonomous Petri net models using autonomous petri net tools. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389077.

Barros, João Paulo and Gomes, Luís and Garcia, Luis (2012) Towards a complete description for individual course units: A follow-up to the Bologna proposals. [Paper]. In: 2012 15th International Conference on Interactive Collaborative Learning (ICL), 26-28 Sept. 2012, Villach. URL: http://dx.doi.org/10.1109/ICL.2012.6402207.

Ribeiro, Jose and Moutinho, Filipe and Pereira, Fernando and Barros, João Paulo and Gomes, Luís (2011) An Ecore based Petri net type definition for PNML IOPT models. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034992. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) From UML state machines to Petri nets: History attribute translation strategies. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119924.

Moutinho, Filipe and Gomes, Luís and Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Monteiro, André (2011) Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_26. (ISI Web of Science).

Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André (2011) SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_28. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) Towards Statecharts to Input-Output Place Transition Nets Transformations. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_25. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luis and Ramalho, Franklin and Figueiredo, Jorge and Barros, João and Barbosa, Paulo and Pais, Rui and Costa, Anikó (2010) Ecore representation for extending PNML for Input-Output Place-Transition nets. [Paper]. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, 7-10 Nov. 2010, Phoenix, AZ, USA. URL: http://dx.doi.org/10.1109/IECON.2010.5675332. (ISI Web of Science).

Gomes, Luís and Rebelo, Rogério and Barros, João Paulo and Costa, Anikó and Pais, Rui (2010) From Petri net models to C implementation of digital controllers. [Paper]. In: ISIE’2010 - IEEE International Symposium on Industrial Electronics, 4-7 July 2010, Bari, Italy. URL: http://dx.doi.org/10.1109/IECON.2007.4460403. (ISI Web of Science, Citations: 1).

Machado, Ricardo J and Fernandes, João M. and Barros, João Paulo and Gomes, L. (2010) Scenario-based Modeling in Industrial Information Systems. [Paper]. In: DIPES’2010 - IFIP Conference on Distributed and Parallel Embedded Systems, September 20th - 23rd, 2010, Brisbane, Australia. URL: http://www.springerlink.com/content/8u0324ux1x4312.... (ISI Web of Science).

Gomes, L. and Barros, J. (2009) PNML based composition in non-autonomous Petri net models. [Paper]. In: 2009 35th Annual Conference of IEEE Industrial Electronics, November 3-5, Porto - Portugal. URL: http://dx.doi.org/10.1109/IECON.2009.5414908. (ISI Web of Science).

Costa, Anikó and Gomes, Luís and Barros, João and Oliveira, J.P. and Reis, Tiago M. (2008) Petri nets tools framework supporting FPGA-based controller implementations. [Paper]. In: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON’2008), 10-13 Nov 2008, Orlando. (ISI Web of Science).

Gomes, Luís and Costa, Anikó and Barros, João and Lima, P. (2008) Redes de Petri e geração de código VHDL. [Paper]. In: IV Jornadas sobre Sistemas Reconfiguráveis (REC’2008), 7-8 Feb 2008, Braga.

Gomes, Luís and Costa, Anikó and Barros, João and Lima, Paulo (2007) From Petri net models to VHDL implementation of digital controllers. [Paper]. In: IECON’2007 - The 33rd Annual Conference of the IEEE Industrial Electronics Society, November 5-8, 2007, The Grand Hotel, Taipei - Taiwan. (ISI Web of Science).

Nunes, Ricardo and Gomes, Luís and Barros, João (2007) A Graphical Editor for the Input-Output Place-Transition Petri Net Class. [Paper]. In: ETFA’2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation, September 25-28, 2007, Patras - Greece. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Nunes, Ricardo (2007) The Input-Output Place-Transition Petri Net Class and Associated Tools. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science, Citations: 1).

Gomes, Luís and Costa, Anikó and Barros, João and Pais, Rui and Rodrigues, Tiago and Ferreira, Richard (2007) Petri Net based Building Automation and Monitoring System. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó (2007) Petri Nets Tools and Embedded Systems Design. [Paper]. In: PNSE'07 - International Workshop on Petri Nets and Software Engineering, June 25-26, 2007, Siedlce - Poland.

Barros, João and Gomes, Luís (2007) Towards a Human-Usable Textual Language for Petri Nets. [Paper]. In: Workshop on Petri Net Standards 2007, 26 June 2007, Siedlce - Poland.

Barros, João and Gomes, Luís (2006) Teaching Concurrency Through Petri Nets and Model Composition. [Paper]. In: TeaConc’2006 - Workshop on Teaching Concurrency, Turku, Finlândia. URL: http://www.uninova.pt/teaconc2006.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2006) Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN. [Paper]. In: REC’2006 – 2as. Jornadas sobre Sistemas Reconfiguráveis, 16-17 Fev 2006, Porto, Portugal..

Pais, Rui and Barros, João and Gomes, Luís (2005) A Tool for Tailored Code Generation from Petri Net Models. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Towards Usage of Formal methods within Embedded Systems Co-design. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Paper]. In: ReCoSoC’05 - Reconfigurable Communication-centric Systems-on-Chip, 27-29 Jun 2005, Montpellier, França.

Barros, João and Gomes, Luís (2004) A Unidirectional Transition Fusion for Coloured Petri Nets and its Implementation for the CPNTools. [Paper]. In: CPN'04 - Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 8-11 Oct 2004, Denmark.

Gomes, Luís and Barros, João and Pais, Rui (2004) From non-autonomous Petri net models to code in embedded systems design. [Paper]. In: DESDes’04 - 2nd International Workshop on Discrete-Event System Design, 15-17 Sept 2004, Zielona Gora, Poland.

Barros, João and Gomes, Luís and Pais, Rui and Dias, Rui (2004) From Petri nets to executable systems: an environment for code generation and analysis. [Paper]. In: ICINCO’2004 – 1st International Conference on Informatics in Control, Automation and Robotics, 25-28 Aug 2004, Setúbal, Portugal.

Barros, João and Gomes, Luís (2004) Net Model Composition and Modification by Net Operations: a Pragmatic Approach. [Paper]. In: INDIN’2004 – 2nd IEEE International Conference on Industrial Informatics, 24-26 June 2004, Berlin, Germany. (ISI Web of Science).

Barros, João and Gomes, Luís (2004) On system’s model transformation by Petri nets. [Paper]. In: CONTROLO’2004 – Sixth Portuguese Conference on Automatic Control, 07-09 June 2004, Faro, Portugal.

Barros, João and Gomes, Luís (2004) Operational PNML: Towards a PNML Support for Model Construction and Modification. [Paper]. In: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, Bolonha, Itália.

Gomes, Luís and Barros, João and Lino, Rui (2004) Addition of fault detection capabilities in automation applications using Petri nets. [Paper]. In: ISIE’04 - 2004 IEEE International Symposium on Industrial Electronics, 04-07 May 2004, Ajjaccio, France. (ISI Web of Science).

Barros, João and Gomes, Luís (2003) Actions as Activities and Activities as Petri Nets. [Paper]. In: CSDUML’2003 – Workshop on Critical Systems Development with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Barros, João and Gomes, Luís (2003) Towards the Support for Crosscutting Concerns in Activity Diagrams: a Graphical Approach. [Paper]. In: Fourth Workshop on Aspect-Oriented Modeling with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Gomes, Luís and Barros, João (2003) On Structuring Mechanisms for Petri Nets Based System Design. [Paper]. In: ETFA’2003 – 2003 IEEE Conference on Emerging Technologies and Factory Automation, 16-19 Sept 2003, Lisbon, Portugal. (ISI Web of Science).

Barros, João and Gomes, Luís (2003) Modifying Petri Net Models by Means of Crosscutting Operations. [Paper]. In: ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 18-20 June 2003, Guimarães, Portugal. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó (2002) Man-machine interface for real-time telecontrol based onPetri nets specification. [Paper]. In: 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236), OCT 07-10, 2001, TUCSON, AZ. URL: http://dx.doi.org/10.1109/ICSMC.2001.973507.

Gomes, Luís and Costa, Anikó and Soares, Carlos and Barros, João and Steiger-Garção, Adolfo (1997) Campus-Guard: a domot targeted for integrated building monitoring and control. [Paper]. In: 2nd Int. Conference on Intelligent Buildings, 4 a 6 Março 1997, Tel-Aviv, Israel.

Barros, João and Gomes, Luís and Steiger-Garção, Adolfo (1997) Implementation Of A Non-Autonomous High-Level Petri Net Model For Reactive Real Systems. [Paper]. In: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control, 9 a 11 Abril 1997, Vilamoura, Portugal. (ISI Web of Science).

Gomes, Luís and Barros, João and Soares, A. and Steiger-Garção, Adolfo (1995) Monitoração de arquitecturas sensoriais distribuídas. [Paper]. In: 5as Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador, 30 de Maio a 1 de Junho 95, Guimarães.

Thesis

Barros, João (2006) Modularidade em Redes de Petri. Gomes, Luís (supervisor). PhD thesis, Faculdade Ciências e Tecnologia/UNL.

Barros, João (2002) CpPnets: Uma classe de redes de Petri de alto nível. Steiger-Garção, Adolfo (supervisor). Masters thesis, FCT/UNL.

This list was generated on Wed Mar 29 14:11:15 2017 GMT Daylight Time.