A formal validation approach for holonic control system specifications

Detalhes bibliográficos
Autor(a) principal: Paulo Leitão
Data de Publicação: 2003
Outros Autores: Armando W. Colombo, Francisco José de Oliveira Restivo
Tipo de documento: Livro
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/10216/25249
Resumo: The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.
id RCAP_21fcc42585f87b3d0b772be5962c78f6
oai_identifier_str oai:repositorio-aberto.up.pt:10216/25249
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling A formal validation approach for holonic control system specificationsEngenharia de controlo, Engenharia electrotécnica, electrónica e informáticaControl engineering, Electrical engineering, Electronic engineering, Information engineeringThe holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.20032003-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookapplication/pdfhttps://hdl.handle.net/10216/25249eng10.1109/ETFA.2003.1247707Paulo LeitãoArmando W. ColomboFrancisco José de Oliveira Restivoinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-29T15:22:37Zoai:repositorio-aberto.up.pt:10216/25249Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:22:05.513493Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv A formal validation approach for holonic control system specifications
title A formal validation approach for holonic control system specifications
spellingShingle A formal validation approach for holonic control system specifications
Paulo Leitão
Engenharia de controlo, Engenharia electrotécnica, electrónica e informática
Control engineering, Electrical engineering, Electronic engineering, Information engineering
title_short A formal validation approach for holonic control system specifications
title_full A formal validation approach for holonic control system specifications
title_fullStr A formal validation approach for holonic control system specifications
title_full_unstemmed A formal validation approach for holonic control system specifications
title_sort A formal validation approach for holonic control system specifications
author Paulo Leitão
author_facet Paulo Leitão
Armando W. Colombo
Francisco José de Oliveira Restivo
author_role author
author2 Armando W. Colombo
Francisco José de Oliveira Restivo
author2_role author
author
dc.contributor.author.fl_str_mv Paulo Leitão
Armando W. Colombo
Francisco José de Oliveira Restivo
dc.subject.por.fl_str_mv Engenharia de controlo, Engenharia electrotécnica, electrónica e informática
Control engineering, Electrical engineering, Electronic engineering, Information engineering
topic Engenharia de controlo, Engenharia electrotécnica, electrónica e informática
Control engineering, Electrical engineering, Electronic engineering, Information engineering
description The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.
publishDate 2003
dc.date.none.fl_str_mv 2003
2003-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/book
format book
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10216/25249
url https://hdl.handle.net/10216/25249
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1109/ETFA.2003.1247707
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799136136820424704

Registros relacionados