Publicação
Distributed controllers modeling through Petri nets with multi-asynchronous-channels
| dc.contributor.author | Moutinho, Filipe | |
| dc.contributor.author | Ribeiro, José | |
| dc.contributor.author | Gomes, Luís | |
| dc.date.accessioned | 2016-04-14T15:50:36Z | |
| dc.date.available | 2016-04-14T15:50:36Z | |
| dc.date.issued | 2015-06-16 | |
| dc.description.abstract | This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE. | pt_PT |
| dc.identifier.citation | MOUTINHO, Filipe; [et al] - Distributed controllers modeling through Petri nets with multi-asynchronous-channels. In ICIT 2015 - 2015 IEEE International Conference on Industrial Technology. Seville, Spain: IEEE, 2015. ISBN 978-1-4799-7800-7. Pp. 1564-1569 | pt_PT |
| dc.identifier.doi | 10.1109/ICIT.2015.7125319 | pt_PT |
| dc.identifier.isbn | 978-1-4799-7800-7 | |
| dc.identifier.uri | http://hdl.handle.net/10400.21/5983 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | IEEE - Institute of Electrical and Electronics Engineers Inc. | pt_PT |
| dc.relation.ispartofseries | ;7125319 | |
| dc.subject | Petri nets | pt_PT |
| dc.subject | Multi-asynchronous-channels | pt_PT |
| dc.title | Distributed controllers modeling through Petri nets with multi-asynchronous-channels | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Seville, Spain | pt_PT |
| oaire.citation.endPage | 1569 | |
| oaire.citation.startPage | 1564 | |
| oaire.citation.title | ICIT 2015, 2015 IEEE International Conference on Industrial Technology | pt_PT |
| rcaap.rights | closedAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
Ficheiros
Principais
1 - 1 de 1
Miniatura indisponível
- Nome:
- Distributed controllers modeling through Petri nets with multi-asynchronous-channels.pdf
- Tamanho:
- 1.02 MB
- Formato:
- Adobe Portable Document Format
Licença
1 - 1 de 1
Miniatura indisponível
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrição: