Petri nets and autonomous systems: a case study
| dc.contributor.author | Leite, Guilherme Eduardo [UNESP] | |
| dc.contributor.author | Marranghello, Norian [UNESP] | |
| dc.contributor.author | Pereira, Aledir Silveira [UNESP] | |
| dc.contributor.author | IEEE | |
| dc.contributor.institution | Universidade Estadual Paulista (Unesp) | |
| dc.date.accessioned | 2020-12-10T22:31:54Z | |
| dc.date.available | 2020-12-10T22:31:54Z | |
| dc.date.issued | 2009-01-01 | |
| dc.description.abstract | This work presents the Petri net-based modeling of an autonomous robot's navigation system used for the application of supplies in agriculture. The model was developed theoretically and implemented through the CPNTools software. It simulates the behavior of the robot, capturing environmental characteristics by means of sensors, making appropriate decisions, and forwarding them to the corresponding actuators. By exciting the model using CPNTools it is possible to simulate situations that the robot might undergo, without the need to expose it to real potentially dangerous situations. | en |
| dc.description.affiliation | Sao Paulo State Univ, BR-15054000 Sao Jose do Rio Preto, SP, Brazil | |
| dc.description.affiliationUnesp | Sao Paulo State Univ, BR-15054000 Sao Jose do Rio Preto, SP, Brazil | |
| dc.format.extent | 7 | |
| dc.identifier.citation | 2009 Ieee Conference On Emerging Technologies & Factory Automation (efta 2009). New York: Ieee, 7 p., 2009. | |
| dc.identifier.issn | 1946-0740 | |
| dc.identifier.lattes | 2098623262892719 | |
| dc.identifier.orcid | 0000-0003-1086-3312 | |
| dc.identifier.uri | http://hdl.handle.net/11449/197448 | |
| dc.identifier.wos | WOS:000355314000100 | |
| dc.language.iso | eng | |
| dc.publisher | Ieee | |
| dc.relation.ispartof | 2009 Ieee Conference On Emerging Technologies & Factory Automation (efta 2009) | |
| dc.source | Web of Science | |
| dc.title | Petri nets and autonomous systems: a case study | en |
| dc.type | Trabalho apresentado em evento | |
| dcterms.license | http://www.ieee.org/publications_standards/publications/rights/rights_policies.html | |
| dcterms.rightsHolder | Ieee | |
| unesp.author.lattes | 2098623262892719[2] | |
| unesp.author.orcid | 0000-0003-1086-3312[2] | |
| unesp.campus | Universidade Estadual Paulista (Unesp), Instituto de Biociências Letras e Ciências Exatas, São José do Rio Preto | pt |
| unesp.department | Ciências da Computação e Estatística - IBILCE | pt |