Repository logo
 
Publication

A formal validation approach for holonic control system specifications

2003Conference object Restricted access
Simple item page
dc.contributor.authorLeitão, Paulo
dc.contributor.authorColombo, Armando W.
dc.contributor.authorRestivo, Francisco
dc.date.accessioned2010-01-27T20:00:47Z
dc.date.available2010-01-27T20:00:47Z
dc.date.issued2003
dc.descriptionIndexado ISIpt
dc.description.abstractThe 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.citationLeitã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-3pt
dc.identifier.isbn0-7803-7937-3
dc.identifier.urihttp://hdl.handle.net/10198/1542
dc.language.isoengpt
dc.publisherIEEEpt
dc.subjectHolonic manufacturing systemspt
dc.subjectPetri netspt
dc.subjectIntelligent manufacturing controlpt
dc.titleA formal validation approach for holonic control system specificationspt
dc.typeconference object
dspace.entity.typePublication
oaire.citation.conferencePlaceLisboa, Portugalpt
oaire.citation.endPage210pt
oaire.citation.startPage203pt
oaire.citation.title9th IEEE International Conference on Emerging Technologies and Factory Automationpt
person.familyNameLeitão
person.givenNamePaulo
person.identifierA-8390-2011
person.identifier.ciencia-id8316-8F13-DA71
person.identifier.orcid0000-0002-2151-7944
person.identifier.scopus-author-id35584388900
rcaap.rightsopenAccesspt
rcaap.typeconferenceObjectpt
relation.isAuthorOfPublication68d9eb25-ad4f-439b-aeb2-35e8708644cc
relation.isAuthorOfPublication.latestForDiscovery68d9eb25-ad4f-439b-aeb2-35e8708644cc

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
2003-ETFA-published.pdf
Size:
630.57 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.82 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ESTiG - Publicações em Proceedings Indexadas à WoS/Scopus