Publication
Modelling and validating the multi-agent system behaviour for a washing machine production line
| dc.contributor.author | Leitão, Paulo | |
| dc.contributor.author | Rodrigues, Nelson | |
| dc.date.accessioned | 2012-12-03T11:34:17Z | |
| dc.date.available | 2012-12-03T11:34:17Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | 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. | por |
| dc.identifier.citation | 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 | por |
| dc.identifier.uri | http://hdl.handle.net/10198/7738 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | IEEE | por |
| dc.subject | Multi-agent systems | por |
| dc.subject | Formal modelling | por |
| dc.subject | Petri nets | por |
| dc.subject | Production line | por |
| dc.title | Modelling and validating the multi-agent system behaviour for a washing machine production line | por |
| dc.type | conference paper | |
| dspace.entity.type | Publication | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/FP7/246203 | |
| oaire.citation.conferencePlace | Hangzhou, China | por |
| oaire.citation.endPage | 1208 | por |
| oaire.citation.startPage | 1203 | por |
| oaire.citation.title | 21st IEEE International Symposium on Industrial Electronics (ISIE) | por |
| oaire.fundingStream | FP7 | |
| person.familyName | Leitão | |
| person.givenName | Paulo | |
| person.identifier | A-8390-2011 | |
| person.identifier.ciencia-id | 8316-8F13-DA71 | |
| person.identifier.orcid | 0000-0002-2151-7944 | |
| person.identifier.scopus-author-id | 35584388900 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.name | European Commission | |
| rcaap.rights | openAccess | por |
| rcaap.type | conferenceObject | por |
| relation.isAuthorOfPublication | 68d9eb25-ad4f-439b-aeb2-35e8708644cc | |
| relation.isAuthorOfPublication.latestForDiscovery | 68d9eb25-ad4f-439b-aeb2-35e8708644cc | |
| relation.isProjectOfPublication | dabbc4ae-d243-4db3-96d9-1ce103a6a3cf | |
| relation.isProjectOfPublication.latestForDiscovery | dabbc4ae-d243-4db3-96d9-1ce103a6a3cf |