Petri nets and autonomous systems: A case study

Detalhes bibliográficos
Autor(a) principal: Leite, Guilherme Eduardo [UNESP]
Data de Publicação: 2009
Outros Autores: Marranghello, Norian [UNESP], Pereira, Aledir Silveira [UNESP]
Tipo de documento: Artigo de conferência
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1109/ETFA.2009.5347087
http://hdl.handle.net/11449/71294
Resumo: 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.
id UNSP_307b60a8777150bf3828871bbeabbc28
oai_identifier_str oai:repositorio.unesp.br:11449/71294
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Petri nets and autonomous systems: A case studyAutonomous robotAutonomous systemsDangerous situationsEnvironmental characteristicFactory automationGraph theoryPetri netsSemiconductor quantum dotsRobotsThis 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.Sao Paulo State University, Rua Cristovao Colombo, 2265, 15054-000 Sao Jose do Rio Preto, SPSao Paulo State University, Rua Cristovao Colombo, 2265, 15054-000 Sao Jose do Rio Preto, SPUniversidade Estadual Paulista (Unesp)Leite, Guilherme Eduardo [UNESP]Marranghello, Norian [UNESP]Pereira, Aledir Silveira [UNESP]2014-05-27T11:24:03Z2014-05-27T11:24:03Z2009-12-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjecthttp://dx.doi.org/10.1109/ETFA.2009.5347087ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation.http://hdl.handle.net/11449/7129410.1109/ETFA.2009.53470872-s2.0-77949894144209862326289271996672950765499240000-0003-1086-3312Scopusreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automationinfo:eu-repo/semantics/openAccess2021-10-23T21:37:55Zoai:repositorio.unesp.br:11449/71294Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T18:26:17.371505Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Petri nets and autonomous systems: A case study
title Petri nets and autonomous systems: A case study
spellingShingle Petri nets and autonomous systems: A case study
Leite, Guilherme Eduardo [UNESP]
Autonomous robot
Autonomous systems
Dangerous situations
Environmental characteristic
Factory automation
Graph theory
Petri nets
Semiconductor quantum dots
Robots
title_short Petri nets and autonomous systems: A case study
title_full Petri nets and autonomous systems: A case study
title_fullStr Petri nets and autonomous systems: A case study
title_full_unstemmed Petri nets and autonomous systems: A case study
title_sort Petri nets and autonomous systems: A case study
author Leite, Guilherme Eduardo [UNESP]
author_facet Leite, Guilherme Eduardo [UNESP]
Marranghello, Norian [UNESP]
Pereira, Aledir Silveira [UNESP]
author_role author
author2 Marranghello, Norian [UNESP]
Pereira, Aledir Silveira [UNESP]
author2_role author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Leite, Guilherme Eduardo [UNESP]
Marranghello, Norian [UNESP]
Pereira, Aledir Silveira [UNESP]
dc.subject.por.fl_str_mv Autonomous robot
Autonomous systems
Dangerous situations
Environmental characteristic
Factory automation
Graph theory
Petri nets
Semiconductor quantum dots
Robots
topic Autonomous robot
Autonomous systems
Dangerous situations
Environmental characteristic
Factory automation
Graph theory
Petri nets
Semiconductor quantum dots
Robots
description 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.
publishDate 2009
dc.date.none.fl_str_mv 2009-12-01
2014-05-27T11:24:03Z
2014-05-27T11:24:03Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/conferenceObject
format conferenceObject
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1109/ETFA.2009.5347087
ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation.
http://hdl.handle.net/11449/71294
10.1109/ETFA.2009.5347087
2-s2.0-77949894144
2098623262892719
9667295076549924
0000-0003-1086-3312
url http://dx.doi.org/10.1109/ETFA.2009.5347087
http://hdl.handle.net/11449/71294
identifier_str_mv ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation.
10.1109/ETFA.2009.5347087
2-s2.0-77949894144
2098623262892719
9667295076549924
0000-0003-1086-3312
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv Scopus
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1808128931598958592

Registros relacionados