This table browses all dspace content
Issue Date | Title | Author(s) | Type | Access Type |
2011 | An Ecore based Petri net type definition for PNML IOPT models20.500.12207/646 | Ribeiro, J.; Moutinho, F.; Pereira, F.; Barros, João Paulo; Gomes, L. | conferenceObject | info:eu-repo/semantics/closedAccess |
16-Jul-2013 | Coloured Petri Net Model of the bCMS system using CPN tools20.500.12207/698 | Brito, Isabel Sofia | conferenceObject | info:eu-repo/semantics/closedAccess |
Jun-2019 | From non-autonomous Petri net models to executable state machines20.500.12207/4968 | Barros, João Paulo; Gomes, Luís | article | embargoedAccess |
2016 | From requirements to code (Re2Code) – A model-based approach for controller implementation20.500.12207/5921 | Brito, Isabel Sofia; Barros, João Paulo; Gomes, Luis | article | restrictedAccess |
19-Jul-2016 | From requirements to code (Re2Code): A model-based approach for controller implementation20.500.12207/4790 | Brito, Isabel Sofia; Barros, João Paulo; Gomes, Luís | conferenceObject | closedAccess |
Nov-2011 | From UML State Machines to Petri nets: history attribute translation strategies20.500.12207/648 | Pais, Rui; Gomes, Luís; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
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 |
Oct-2019 | Model based simulation for a smartcity project based on LoRa20.500.12207/5057 | Mesquita, Rui; Campos-Rebelo, Rogério; Barros, João Paulo | article | embargoedAccess |
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 |
Nov-2009 | PNML based composition in non-autonomous Petri net models20.500.12207/514 | Gomes, L.; Barros, João Paulo | conferenceObject | closedAccess |
Sep-2010 | Scenario-based modeling in industrial information systems20.500.12207/641 | Machado, Ricardo; Fernandes, Joao; Barros, João Paulo | 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 |