Biblioteca Digital do Instituto Politécnico de Bragança   Instituto Politécnico de Bragança

Biblioteca Digital do IPB >
Escola Superior de Tecnologia e Gestão >
Electrotecnia >
DE - Publicações em Proceedings Indexadas ao ISI >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10198/7738

Título: Modelling and validating the multi-agent system behaviour for a washing machine production line
Autor: Leitão, Paulo
Rodrigues, Nelson
Palavras-chave: Multi-agent systems
Formal modelling
Petri nets
Production line
Issue Date: 2012
Editora: IEEE
Citação: Leitão, Paulo; Rodrigues, Nelson (2012) - Modelling and validating the multi-agent system behaviour for a washing machine production line. In 21st IEEE International Symposium on Industrial Electronics (ISIE). Hangzhou, China. p.1203-1208
Resumo: This paper describes the formal modelling and validation of the behaviour of a multi-agent system that integrates the production and quality control processes in a washing machine production line. The modelling, analysis and validation process uses the Petri nets formalism that provides a rigorous and formal language based on its powerful mathematical foundation, supporting the complete verification of the system correctness during the design phase and before to proceed to the deployment phase. The behaviour models of each agent belonging to the system architecture are edited, analysed and simulated in the PnDK framework.
Arbitragem científica: yes
URI: http://hdl.handle.net/10198/7738
Appears in Collections:DE - Publicações em Proceedings Indexadas ao ISI

Files in This Item:

File Description SizeFormat
2012-ISIE-published.pdf1,32 MBAdobe PDFView/Open
Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 


  © Instituto Politécnico de Bragança - Biblioteca Digital - Feedback - Statistics
  Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE