1. Repositório Aberto da Universidade do Porto
  2. FEUP - Faculdade de Engenharia
  3. FEUP - Artigo em Livro de Atas de Conferência Internacional
Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/25263
Full metadata record
DC FieldValueLanguage
dc.creatorPaulo Leitão
dc.creatorArmando W. Colombo
dc.creatorFrancisco José de Oliveira Restivo
dc.date.accessioned2019-02-06T20:45:55Z-
dc.date.available2019-02-06T20:45:55Z-
dc.date.issued2005
dc.identifier.othersigarra:52371
dc.identifier.urihttps://repositorio-aberto.up.pt/handle/10216/25263-
dc.description.abstractThe formal specification of agent-based and holonic manufacturing control systems assumes a critical role in order to understand and synthesize those complex systems. This paper presents the formal specification of the coordination models for the ADACOR holonic control system. For this purpose, it is used High-Level Petri Nets to model the behaviour of individual ADACOR entities, AUML interaction diagrams to represent the interaction between those entities and mailboxes structures to synchronize the evolution of the Petri net models.
dc.language.isoeng
dc.relation.ispartofProceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005
dc.rightsrestrictedAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/
dc.subjectAutomação, Engenharia electrotécnica, electrónica e informática
dc.subjectAutomation, Electrical engineering, Electronic engineering, Information engineering
dc.titleFormal specification of ADACOR holonic control system : coordination models
dc.typeArtigo em Livro de Atas de Conferência Internacional
dc.contributor.uportoFaculdade de Engenharia
dc.identifier.doi10.1109/CDC.2005.1582477
dc.identifier.authenticusP-000-6ZB
dc.subject.fosCiências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
dc.subject.fosEngineering and technology::Electrical engineering, Electronic engineering, Information engineering
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
52371.pdf
  Restricted Access		185.24 kBAdobe PDFView/Open
Show simple item record Recommend this item Display Statistics


This item is licensed under a Creative Commons License Creative Commons