Publicação: 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.institution | Universidade Estadual Paulista (Unesp) | |
dc.date.accessioned | 2014-05-27T11:24:03Z | |
dc.date.available | 2014-05-27T11:24:03Z | |
dc.date.issued | 2009-12-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. ©2009 IEEE. | en |
dc.description.affiliation | Sao Paulo State University, Rua Cristovao Colombo, 2265, 15054-000 Sao Jose do Rio Preto, SP | |
dc.description.affiliationUnesp | Sao Paulo State University, Rua Cristovao Colombo, 2265, 15054-000 Sao Jose do Rio Preto, SP | |
dc.identifier | http://dx.doi.org/10.1109/ETFA.2009.5347087 | |
dc.identifier.citation | ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation. | |
dc.identifier.doi | 10.1109/ETFA.2009.5347087 | |
dc.identifier.lattes | 2098623262892719 | |
dc.identifier.lattes | 9667295076549924 | |
dc.identifier.orcid | 0000-0003-1086-3312 | |
dc.identifier.scopus | 2-s2.0-77949894144 | |
dc.identifier.uri | http://hdl.handle.net/11449/71294 | |
dc.language.iso | eng | |
dc.relation.ispartof | ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation | |
dc.rights.accessRights | Acesso aberto | |
dc.source | Scopus | |
dc.subject | Autonomous robot | |
dc.subject | Autonomous systems | |
dc.subject | Dangerous situations | |
dc.subject | Environmental characteristic | |
dc.subject | Factory automation | |
dc.subject | Graph theory | |
dc.subject | Petri nets | |
dc.subject | Semiconductor quantum dots | |
dc.subject | Robots | |
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 | |
dspace.entity.type | Publication | |
unesp.author.lattes | 2098623262892719[2] | |
unesp.author.lattes | 9667295076549924 | |
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 |