Skip navigation

Browsing by Author Gomes, Luís

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 13 of 13
This table browses all dspace content
Issue DateTitleAuthor(s)TypeAccess Type
2014Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development20.500.12207/4470Gomes, Luís; Moutinho, Filipe; Pereira, Fernando; Ribeiro, José; Costa, Anikó; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/restrictedAccess
2014From SysML State Machines to Petri Nets using ATL Transformations20.500.12207/4472Pais, Rui; Barros, João Paulo; Gomes, Luísarticleinfo:eu-repo/semantics/restrictedAccess
Nov-2011From UML State Machines to Petri nets: history attribute translation strategies20.500.12207/648Pais, Rui; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2013Merging and splitting Petri net models within distributed embedded controller design20.500.12207/704Gomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, FernandobookPartinfo:eu-repo/semantics/closedAccess
2012Model composition by reusing Petri net based modules20.500.12207/652Costa, Aniko; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
Oct-2007On the use of programming languages for textual specification of Petri Net Models20.500.12207/237Barros, João Paulo; Gomes, LuísarticleopenAccess
Feb-2011Petri Net based specification and verification of globally-asynchronous-locally-synchronous system20.500.12207/654Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, AndreconferenceObjectinfo:eu-repo/semantics/closedAccess
2013A Proposal for the Description of Individual Course Units20.500.12207/490Barros, João Paulo; Gomes, Luís; Garcia, LuísarticleclosedAccess
May-2005Structuring and composability issues in Petri nets modeling20.500.12207/703Gomes, Luís; Barros, João Pauloarticleinfo:eu-repo/semantics/closedAccess
2011SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design20.500.12207/491Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, AndrébookPartclosedAccess
Sep-2012Towards a complete description for individual course units: a follow-up to the Bologna proposals20.500.12207/657Barros, João Paulo; Gomes, Luís; Garcia, LuísconferenceObjectinfo:eu-repo/semantics/closedAccess
2011Towards Statecharts to Input-Output Place Transition Nets Transformations20.500.12207/494Pais, Rui; Gomes, Luís; Barros, João PaulobookPartclosedAccess
2014Towards the use of Place/Transition net tools for analysis of IOPT models20.500.12207/4471Barros, João Paulo; Gomes, LuísconferenceObjectinfo:eu-repo/semantics/openAccess