Publication
An approach towards the development life-cycle of agent-based production control applications
| dc.contributor.author | Leitão, Paulo | |
| dc.contributor.author | Colombo, Armando W. | |
| dc.date.accessioned | 2010-01-27T19:53:05Z | |
| dc.date.available | 2010-01-27T19:53:05Z | |
| dc.date.issued | 2005 | |
| dc.description | Indexado ISI | pt |
| dc.description.abstract | This paper discusses a new approach to the development life-cycle of agent-based production control applications, from the design to the operation, based in a catalogue of High-level Petri nets. The High-level Petri net-based approach facilitates the conception, definition and formal specification of an "encapsulation process" in industrial production systems. The catalogue includes elements for the identification of manufacturing components, the development of agent-based control units, the formal validation ofthe models and theformal specification of complete collaborative automation scenarios. | pt |
| dc.description.sponsorship | The authors would like to thank the European Commission and the partners of the Innovative Production Machines and Systems (I*PROMS;http://www.iproms.org/) Network of Excellence for their support. | |
| dc.identifier.citation | Leitão, Paulo; Colombo, Armando W. (2005). An approach towards the development life-cycle of agent-based production control applications. In Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’05). Catania, Italy. p. 633-640. ISBN: 0-7803-9402-X | pt |
| dc.identifier.isbn | 0-7803-9402-X | |
| dc.identifier.uri | http://hdl.handle.net/10198/1527 | |
| dc.language.iso | eng | pt |
| dc.publisher | IEEE | pt |
| dc.subject | Manufacturing control systems | pt |
| dc.subject | Petri nets | pt |
| dc.subject | Holonic manufacturing systems | pt |
| dc.title | An approach towards the development life-cycle of agent-based production control applications | pt |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Catania, Italy | pt |
| oaire.citation.endPage | 640 | pt |
| oaire.citation.startPage | 633 | pt |
| oaire.citation.title | 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’05) | 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 | restrictedAccess | pt |
| rcaap.type | conferenceObject | pt |
| relation.isAuthorOfPublication | 68d9eb25-ad4f-439b-aeb2-35e8708644cc | |
| relation.isAuthorOfPublication.latestForDiscovery | 68d9eb25-ad4f-439b-aeb2-35e8708644cc |