Showing results 8 to 20 of 20
< previous
This table browses all dspace content
| Issue Date | Title | Author(s) | Type | Access Type |
| 2013 | Merging and splitting Petri net models within distributed embedded controller design20.500.12207/704 | Gomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, Fernando | bookPart | info:eu-repo/semantics/closedAccess |
| 2012 | Model composition by reusing Petri net based modules20.500.12207/652 | Costa, Aniko; Gomes, Luís; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
| Oct-2007 | On the use of programming languages for textual specification of Petri Net Models20.500.12207/237 | Barros, João Paulo; Gomes, Luís | article | openAccess |
| Feb-2011 | Petri Net based specification and verification of globally-asynchronous-locally-synchronous system20.500.12207/654 | Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, Andre | conferenceObject | info:eu-repo/semantics/closedAccess |
| 2013 | A Proposal for the Description of Individual Course Units20.500.12207/490 | Barros, João Paulo; Gomes, Luís; Garcia, Luís | article | closedAccess |
| Oct-2018 | Refining IOPT Petri Nets Class for Embedded System Controller Modeling20.500.12207/5043 | Gomes, Luís; Barros, João Paulo | article | openAccess |
| May-2005 | Structuring and composability issues in Petri nets modeling20.500.12207/703 | Gomes, Luís; Barros, João Paulo | article | info:eu-repo/semantics/closedAccess |
| 2011 | SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design20.500.12207/491 | Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, André | bookPart | closedAccess |
| Sep-2012 | Towards a complete description for individual course units: a follow-up to the Bologna proposals20.500.12207/657 | Barros, João Paulo; Gomes, Luís; Garcia, Luís | conferenceObject | info:eu-repo/semantics/closedAccess |
| 2022 | Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker20.500.12207/5698 | Barros, João Paulo; Gomes, Luís | article | restrictedAccess |
| 12-Sep-2017 | Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards20.500.12207/4787 | Ataíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, Luís | conferenceObject | closedAccess |
| 2011 | Towards Statecharts to Input-Output Place Transition Nets Transformations20.500.12207/494 | Pais, Rui; Gomes, Luís; Barros, João Paulo | bookPart | closedAccess |
| 2014 | Towards the use of Place/Transition net tools for analysis of IOPT models20.500.12207/4471 | Barros, João Paulo; Gomes, Luís | conferenceObject | info:eu-repo/semantics/openAccess |
