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 19 (Search time: 0.002 seconds).
previous
1
2
next
Item hits:
This table browses all dspace content"
Issue Date
Title
Author(s)
Type
Access Type
2013
A Proposal for the Description of Individual Course Units
Barros, João Paulo
;
Gomes, Luís
;
Garcia, Luís
article
closedAccess
2014
Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development
Gomes, Luís
;
Moutinho, Filipe
;
Pereira, Fernando
;
Ribeiro, José
;
Costa, Anikó
;
Barros, João Paulo
conferenceObject
info:eu-repo/semantics/restrictedAccess
2011
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
Barbosa, Paulo
;
Barros, João Paulo
;
Ramalho, Franklin
;
Gomes, Luís
;
Figueiredo, Jorge
;
Moutinho, Filipe
;
Costa, Anikó
;
Aranha, André
bookPart
closedAccess
2011
Towards Statecharts to Input-Output Place Transition Nets Transformations
Pais, Rui
;
Gomes, Luís
;
Barros, João Paulo
bookPart
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
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
Feb-2011
Petri Net based specification and verification of globally-asynchronous-locally-synchronous system
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
2012
Model composition by reusing Petri net based modules
Costa, Aniko
;
Gomes, Luís
;
Barros, João Paulo
conferenceObject
info:eu-repo/semantics/closedAccess
May-2005
Structuring and composability issues in Petri nets modeling
Gomes, Luís
;
Barros, João Paulo
article
info:eu-repo/semantics/closedAccess
Sep-2012
Towards a complete description for individual course units: a follow-up to the Bologna proposals
Barros, João Paulo
;
Gomes, Luís
;
Garcia, Luís
conferenceObject
info:eu-repo/semantics/closedAccess
Discover
Author
19
Barros, João Paulo
4
Moutinho, Filipe
3
Costa, Anikó
3
Pais, Rui
2
Barbosa, Paulo
2
Brito, Isabel Sofia
2
Costa, Aniko
2
Figueiredo, Jorge
2
Garcia, Luís
2
Pereira, Fernando
.
next >
Subject
8
Indexação ISI
8
Petri nets
7
Indexação Scopus
5
Petri Nets
3
Cyber-physical systems
3
Embedded systems
3
IOPT
3
Semantics
3
Tools
2
ATL
.
next >
Date issued
1
2020 - 2022
16
2010 - 2019
2
2005 - 2009
Document Type
8
article
3
bookPart
8
conferenceObject