Skip navigation

Search


Current filters:
Start a new search

wcag

wcag

wcag

wcag

Add filters:

Use filters to refine the search results.


Results 1-10 of 14 (Search time: 0.003 seconds).
Item hits:
This table browses all dspace content"
Issue DateTitleAuthor(s)TypeAccess Type
Nov-2009PNML based composition in non-autonomous Petri net modelsGomes, L.; Barros, João PauloconferenceObjectclosedAccess
Oct-2007On the use of programming languages for textual specification of Petri Net ModelsBarros, João Paulo; Gomes, LuísarticleopenAccess
16-Jul-2013Coloured Petri Net Model of the bCMS system using CPN toolsBrito, Isabel SofiaconferenceObjectinfo:eu-repo/semantics/closedAccess
2013Merging and splitting Petri net models within distributed embedded controller designGomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, FernandobookPartinfo:eu-repo/semantics/closedAccess
2012Model composition by reusing Petri net based modulesCosta, Aniko; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
Nov-2011From UML State Machines to Petri nets: history attribute translation strategiesPais, Rui; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2011An Ecore based Petri net type definition for PNML IOPT modelsRibeiro, J.; Moutinho, F.; Pereira, F.; Barros, João Paulo; Gomes, L.conferenceObjectinfo:eu-repo/semantics/closedAccess
Sep-2010Scenario-based modeling in industrial information systemsMachado, Ricardo; Fernandes, Joao; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
19-Jul-2016From requirements to code (Re2Code): A model-based approach for controller implementationBrito, Isabel Sofia; Barros, João Paulo; Gomes, LuísconferenceObjectclosedAccess
12-Sep-2017Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boardsAtaíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, LuísconferenceObjectclosedAccess