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 50 (Search time: 0.041 seconds).
previous
1
2
3
4
...
5
next
Item hits:
This table browses all dspace content"
Issue Date
Title
Author(s)
Type
Access Type
2006
Modularidade em Redes de Petri
Barros, João Paulo
doctoralThesis
openAccess
2013
A Proposal for the Description of Individual Course Units
Barros, João Paulo
;
Gomes, Luís
;
Garcia, Luís
article
closedAccess
Nov-2009
PNML based composition in non-autonomous Petri net models
Gomes, L.
;
Barros, João Paulo
conferenceObject
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
2005
A Case Study on Coloured Petri Nets in object-oriented analysis and design
Barros, João Paulo
;
Jørgensen, Jens Bæk
article
openAccess
Oct-2007
On the use of programming languages for textual specification of Petri Net Models
Barros, João Paulo
;
Gomes, Luís
article
openAccess
Jun-2011
Towards the use of sequence diagrams as a learning aid
Barros, João Paulo
;
Biscaia, Luís
;
Vitória, Miguel
conferenceObject
openAccess
2014
On the Description of Individual Course Units for Programme Assessment and Better Syllabuses
Barros, João Paulo
article
info:eu-repo/semantics/openAccess
Discover
Author
1
Ataíde, Artur
1
Barbosa, P.
1
Burd, B.
1
Burd, Barry
1
Caixinha, Pedro
1
Campos Rebelo, Rogério
1
Campos-Rebelo, Rogério
1
Costa, Luís
1
Domingues, Luís
1
Fernandes, Joao
.
< previous
next >
Subject
21
Indexação Scopus
16
Indexação ISI
13
Petri nets
6
Petri Nets
4
CS1
4
Embedded systems
3
Alignment
3
Assessment
3
Cyber-physical systems
3
Internet of Things
.
next >
Date issued
4
2020 - 2023
41
2010 - 2019
5
2005 - 2009
Document Type
17
article
4
bookPart
28
conferenceObject
1
doctoralThesis