Repository logo
 
Publication

Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

2003Conference object Restricted access
Simple item page
dc.contributor.authorLeitão, Paulo
dc.contributor.authorColombo, Armando W.
dc.contributor.authorRestivo, Francisco
dc.contributor.authorSchoop, Ronald
dc.date.accessioned2010-01-27T20:01:37Z
dc.date.available2010-01-27T20:01:37Z
dc.date.issued2003
dc.descriptionIndexado ISIpt
dc.description.abstractHolonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufac turing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but present weak points when the system contains many instances of the same component, since the model grows (structure and components) in a noncontrollable manner. The use of High-Level Petri Nets, allows to reduce this complexity, by compressing the representation of states, actions and events, to overcome the identified limitations and to support more complex and bigger coordination scenarios. This paper presents a formal specification of the ADACOR product holons using High-Level Petri Nets and the associated formal validation of the model.pt
dc.identifier.citationLeitão, Paulo; Colombo, Armando W.; Restivo, Francisco; Schoop, Ronald (2003). Formal specification of holonic control system ADACOR, product holon, using high-level Petri nets. In Proceedings of the First IEEE International Conference on Industrial Information (INDIN’03). Alberta, Canada. p.263-272. ISBN: 0-7803-8200-5pt
dc.identifier.doi10.1109/INDIN.2003.1300278
dc.identifier.isbn0-7803-8200-5
dc.identifier.urihttp://hdl.handle.net/10198/1544
dc.language.isoengpt
dc.publisherIEEEpt
dc.subjectFlexible manufacturing systemspt
dc.subjectHolonic manufacturing systemspt
dc.subjectPetri netspt
dc.titleFormal specification of holonic control system ADACOR product holon, using high-level Petri Netspt
dc.typeconference object
dspace.entity.typePublication
oaire.citation.conferencePlaceAlberta, Canadapt
oaire.citation.endPage272pt
oaire.citation.startPage263pt
oaire.citation.titleFirst IEEE International Conference on Industrial Information (INDIN’03)pt
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.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-INDIN-published.pdf
Size:
749.4 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