Repository logo
 
Publication

A formal specification approach for holonic control systems: the ADACOR case

2006Journal article Restricted access
Simple item page
dc.contributor.authorLeitão, Paulo
dc.contributor.authorColombo, Armando W.
dc.contributor.authorRestivo, Francisco
dc.date.accessioned2010-01-23T17:27:12Z
dc.date.available2010-01-23T17:27:12Z
dc.date.issued2006
dc.description.abstractDistributed manufacturing control systems, like holonic control systems, are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand and to synthesize the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of holonic control systems based in Highlevel Petri nets. The proposed approach is tested in the specification of the ADACOR holonic control system.pt
dc.identifier.citationLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2006). A formal specification approach for holonic control systems: the ADACOR case. International Journal of Manufacturing Technology and Management. ISSN 1741-5195. 8:1-2-3 p.37-57pt
dc.identifier.issn1741-5195
dc.identifier.urihttp://hdl.handle.net/10198/1416
dc.language.isoengpt
dc.publisherIndersciencept
dc.subjectPetri netspt
dc.subjectIntelligent manufacturing controlpt
dc.subjectFlexible manufacturing systemspt
dc.titleA formal specification approach for holonic control systems: the ADACOR casept
dc.typejournal article
dspace.entity.typePublication
oaire.citation.endPage57pt
oaire.citation.startPage37pt
oaire.citation.titleInternational Journal of Manufacturing Technology and Managementpt
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.rightsrestrictedAccesspt
rcaap.typearticlept
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:
2006-IJTMT.pdf
Size:
182.98 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 - Artigos em Revistas Não Indexados à WoS/Scopus