Publication
Robot task plan representation by Petri nets: modelling, identification, analysis and execution
| datacite.subject.sdg | 03:Saúde de Qualidade | |
| datacite.subject.sdg | 07:Energias Renováveis e Acessíveis | |
| datacite.subject.sdg | 11:Cidades e Comunidades Sustentáveis | |
| dc.contributor.author | Costelha, Hugo | |
| dc.contributor.author | Lima, Pedro | |
| dc.date.accessioned | 2025-11-19T11:33:52Z | |
| dc.date.available | 2025-11-19T11:33:52Z | |
| dc.date.issued | 2012-03-29 | |
| dc.description.abstract | In this paper we introduce a framework to represent robot task plans based on Petri nets. Our approach enables modelling a robot task, analysing its qualitative and quantitative properties and using the Petri net representation for actual plan execution. The overall model is obtained from the composition of simple models, leading to a modular approach. Analysis is applied to a closed loop between the robot controller and the environment Petri net models. We focus here on the quantitative properties, captured by stochastic Petri net models. Furthermore, we introduce a method to identify the environment and action layer parameters of the stochastic Petri net models from real data, improving the significance of the model. The framework building blocks and a single-robot task model are detailed. Results of a case study with simulated soccer robots show the ability of the framework to provide a systematic modelling tool, and of determining, through wellknown analysis methods for stochastic Petri nets, relevant properties of the task plan applied to a particular environment. | eng |
| dc.description.sponsorship | This work was supported by the Portuguese Fundação para a Ciência e Tecnologia under grant SFRH/BD/12707/2003 and ISR/IST pluriannual funding through the PIDDAC Program funds. | |
| dc.identifier.citation | Costelha, H., Lima, P. Robot task plan representation by Petri nets: modelling, identification, analysis and execution. Auton Robot 33, 337–360 (2012). https://doi.org/10.1007/s10514-012-9288-x | |
| dc.identifier.doi | 10.1007/s10514-012-9288-x | |
| dc.identifier.issn | 0929-5593 | |
| dc.identifier.issn | 1573-7527 | |
| dc.identifier.uri | http://hdl.handle.net/10400.8/14669 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Springer Science and Business Media LLC | |
| dc.relation.hasversion | https://link.springer.com/article/10.1007/s10514-012-9288-x | |
| dc.relation.ispartof | Autonomous Robots | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | Analysis | |
| dc.subject | Execution | |
| dc.subject | Identification | |
| dc.subject | Modelling | |
| dc.subject | Petri nets | |
| dc.subject | Robot tasks | |
| dc.title | Robot task plan representation by Petri nets: modelling, identification, analysis and execution | eng |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 360 | |
| oaire.citation.issue | 4 | |
| oaire.citation.startPage | 337 | |
| oaire.citation.title | Autonomous Robots | |
| oaire.citation.volume | 33 | |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |
| person.familyName | Costelha | |
| person.givenName | Hugo | |
| person.identifier.ciencia-id | 931E-2249-DBA3 | |
| person.identifier.orcid | 0000-0003-0063-8592 | |
| person.identifier.rid | V-4722-2017 | |
| person.identifier.scopus-author-id | 24775187600 | |
| relation.isAuthorOfPublication | f45387c3-8889-4588-9808-d2bcd2d5848d | |
| relation.isAuthorOfPublication.latestForDiscovery | f45387c3-8889-4588-9808-d2bcd2d5848d |