Publicação
A formal validation approach for holonic control system specifications
| dc.contributor.author | Leitão, Paulo | |
| dc.contributor.author | Colombo, Armando W. | |
| dc.contributor.author | Restivo, Francisco | |
| dc.date.accessioned | 2010-01-27T20:00:47Z | |
| dc.date.available | 2010-01-27T20:00:47Z | |
| dc.date.issued | 2003 | |
| dc.description | Indexado ISI | pt |
| dc.description.abstract | The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacluring 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. | pt |
| dc.identifier.citation | Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2003). A formal validation approach for holonic control system specifications. In Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation. Lisboa, Portugal. p.203-210. ISBN: 0-7803-7937-3 | pt |
| dc.identifier.isbn | 0-7803-7937-3 | |
| dc.identifier.uri | http://hdl.handle.net/10198/1542 | |
| dc.language.iso | eng | pt |
| dc.publisher | IEEE | pt |
| dc.subject | Holonic manufacturing systems | pt |
| dc.subject | Petri nets | pt |
| dc.subject | Intelligent manufacturing control | pt |
| dc.title | A formal validation approach for holonic control system specifications | pt |
| dc.type | conference paper | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Lisboa, Portugal | pt |
| oaire.citation.endPage | 210 | pt |
| oaire.citation.startPage | 203 | pt |
| oaire.citation.title | 9th IEEE International Conference on Emerging Technologies and Factory Automation | pt |
| 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 | |
| rcaap.rights | openAccess | pt |
| rcaap.type | conferenceObject | pt |
| relation.isAuthorOfPublication | 68d9eb25-ad4f-439b-aeb2-35e8708644cc | |
| relation.isAuthorOfPublication.latestForDiscovery | 68d9eb25-ad4f-439b-aeb2-35e8708644cc |