Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Advisor
Title
Subject
Document Type
Access Type
Help
wcag
Language
English
português
Sign on to:
My Account
Receive email
updates
Edit Profile
tequery
tequery
Repositório do IPBeja
Search
Search:
All of DSpace
D-ENG - Engenharia
D-ENG - Artigos em revistas com peer review
D-ENG - Artigos em revistas indexadas à WoS/Scopus
D-ENG - Artigos em revistas não indexadas à WoS/Scopus
D-ENG - Artigos em revistas sem peer review
D-ENG - Comunicações com peer review
D-ENG - Comunicações sem peer review
D-ENG - Dissertações de Mestrado
D-ENG - Livros e Capítulo de livro
D-ENG - Posters
D-ENG - Provas Públicas
D-ENG - Relatórios Técnico-científicos
D-ENG - Teses de Doutoramento
D-ENG - Trabalhos de Investigação
for
Current filters:
Title
Author
Subject
Date Issued
Document Type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
wcag
wcag
wcag
wcag
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document Type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 14 (Search time: 0.003 seconds).
previous
1
2
next
Item hits:
This table browses all dspace content"
Issue Date
Title
Author(s)
Type
Access Type
Nov-2009
PNML based composition in non-autonomous Petri net models
Gomes, L.
;
Barros, João Paulo
conferenceObject
closedAccess
Oct-2007
On the use of programming languages for textual specification of Petri Net Models
Barros, João Paulo
;
Gomes, Luís
article
openAccess
16-Jul-2013
Coloured Petri Net Model of the bCMS system using CPN tools
Brito, Isabel Sofia
conferenceObject
info:eu-repo/semantics/closedAccess
2013
Merging and splitting Petri net models within distributed embedded controller design
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 modules
Costa, Aniko
;
Gomes, Luís
;
Barros, João Paulo
conferenceObject
info:eu-repo/semantics/closedAccess
Nov-2011
From UML State Machines to Petri nets: history attribute translation strategies
Pais, Rui
;
Gomes, Luís
;
Barros, João Paulo
conferenceObject
info:eu-repo/semantics/closedAccess
2011
An Ecore based Petri net type definition for PNML IOPT models
Ribeiro, J.
;
Moutinho, F.
;
Pereira, F.
;
Barros, João Paulo
;
Gomes, L.
conferenceObject
info:eu-repo/semantics/closedAccess
Sep-2010
Scenario-based modeling in industrial information systems
Machado, Ricardo
;
Fernandes, Joao
;
Barros, João Paulo
conferenceObject
info:eu-repo/semantics/closedAccess
19-Jul-2016
From requirements to code (Re2Code): A model-based approach for controller implementation
Brito, Isabel Sofia
;
Barros, João Paulo
;
Gomes, Luís
conferenceObject
closedAccess
12-Sep-2017
Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards
Ataíde, Artur
;
Barros, João Paulo
;
Brito, Isabel Sofia
;
Gomes, Luís
conferenceObject
closedAccess
Discover
Author
13
Barros, João Paulo
8
Gomes, Luís
4
Brito, Isabel Sofia
2
Gomes, L.
1
Ataíde, Artur
1
Campos-Rebelo, Rogério
1
Costa, Aniko
1
Costa, Anikó
1
Fernandes, Joao
1
Gomes, Luis
.
next >
Subject
6
Indexação ISI
5
Indexação Scopus
3
Cyber-physical systems
2
CNAEF 481
2
CNAEF 523
2
Control systems
2
Embedded systems
2
FOS 1.2
2
IOPT
2
Semantics
.
next >
Date issued
1
2020 - 2022
11
2010 - 2019
2
2007 - 2009
Document Type
5
article
1
bookPart
8
conferenceObject