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], IEEE
Tipo de documento: Artigo de conferência
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://hdl.handle.net/11449/197448
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.
id UNSP_7e9e306737645d8e9a4f36fa49235995
oai_identifier_str oai:repositorio.unesp.br:11449/197448
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Petri nets and autonomous systems: a case studyThis 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.Sao Paulo State Univ, BR-15054000 Sao Jose do Rio Preto, SP, BrazilSao Paulo State Univ, BR-15054000 Sao Jose do Rio Preto, SP, BrazilIeeeUniversidade Estadual Paulista (Unesp)Leite, Guilherme Eduardo [UNESP]Marranghello, Norian [UNESP]Pereira, Aledir Silveira [UNESP]IEEE2020-12-10T22:31:54Z2020-12-10T22:31:54Z2009-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObject72009 Ieee Conference On Emerging Technologies & Factory Automation (efta 2009). New York: Ieee, 7 p., 2009.1946-0740http://hdl.handle.net/11449/197448WOS:00035531400010020986232628927190000-0003-1086-3312Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPeng2009 Ieee Conference On Emerging Technologies & Factory Automation (efta 2009)info:eu-repo/semantics/openAccess2021-10-23T14:41:02Zoai:repositorio.unesp.br:11449/197448Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-05-23T11:17:04.495022Repositó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]
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]
IEEE
author_role author
author2 Marranghello, Norian [UNESP]
Pereira, Aledir Silveira [UNESP]
IEEE
author2_role author
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]
IEEE
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.
publishDate 2009
dc.date.none.fl_str_mv 2009-01-01
2020-12-10T22:31:54Z
2020-12-10T22:31:54Z
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 2009 Ieee Conference On Emerging Technologies & Factory Automation (efta 2009). New York: Ieee, 7 p., 2009.
1946-0740
http://hdl.handle.net/11449/197448
WOS:000355314000100
2098623262892719
0000-0003-1086-3312
identifier_str_mv 2009 Ieee Conference On Emerging Technologies & Factory Automation (efta 2009). New York: Ieee, 7 p., 2009.
1946-0740
WOS:000355314000100
2098623262892719
0000-0003-1086-3312
url http://hdl.handle.net/11449/197448
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2009 Ieee Conference On Emerging Technologies & Factory Automation (efta 2009)
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 7
dc.publisher.none.fl_str_mv Ieee
publisher.none.fl_str_mv Ieee
dc.source.none.fl_str_mv Web of Science
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_ 1803045798668140544