<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
<record>
  <controlfield tag="001">145433</controlfield>
  <controlfield tag="005">20241030091919.0</controlfield>
  <datafield tag="024" ind1="7" ind2=" ">
    <subfield code="2">doi</subfield>
    <subfield code="a">10.4995/riai.2020.13785</subfield>
  </datafield>
  <datafield tag="024" ind1="8" ind2=" ">
    <subfield code="2">sideral</subfield>
    <subfield code="a">123295</subfield>
  </datafield>
  <datafield tag="037" ind1=" " ind2=" ">
    <subfield code="a">ART-2021-123295</subfield>
  </datafield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">spa</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Mahulea, C</subfield>
    <subfield code="u">Universidad de Zaragoza</subfield>
    <subfield code="0">(orcid)0000-0003-0056-2225</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Path planning of multirobot systems using Petri net models. Results and open problems</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2021</subfield>
  </datafield>
  <datafield tag="520" ind1="3" ind2=" ">
    <subfield code="a">This paper presents a trajectory planning approach in multirobot systems based on Petri net models. This type of models is very useful for high-level specifications since, in this case, the classical planning methods (potential functions, RRT algorithms, RRT*) cannot be used being difficult to determine a priori the sequence of configurations for each robot. This work presents the formal definition of the Robot Motion Petri net that is obtained from a partition of the environment in cells. Using the structure of the Petri net, in case of specifications defined as Boolean or Linear Temporal Logic (LTL) formulas, different optimization problems are presented that can be used to obtain trajectories for robots. The main advantage of models based on Petri nets is their scalability with respect to the number of robots. This makes it possible to efficiently solve planning problems with a large number of robots. In the second part of the paper, some extensions and new results for distributed planning in unknown environments and with partial communications between robots are presented.ntial functions, RRT algorithms, RRT*) cannot be used being difficult to determine a priori the sequence of configurations for each robot. This work presents the formal definition of the Robot Motion Petri net that is obtained from a partition of the environment in cells. Using the structure of the Petri net, in case of specifications defined as Boolean or Linear Temporal Logic (LTL) formulas, different optimization problems are presented that can be used to obtain trajectories for robots. The main advantage of models based on Petri nets is their scalability with respect to the number of robots. This makes it possible to efficiently solve planning problems with a large number of robots. In the second part of the paper, some extensions and new results for distributed planning in unknown environments and with partial communications between robots are presented.</subfield>
  </datafield>
  <datafield tag="506" ind1="0" ind2=" ">
    <subfield code="a">Access copy available to the general public</subfield>
    <subfield code="f">Unrestricted</subfield>
  </datafield>
  <datafield tag="536" ind1=" " ind2=" ">
    <subfield code="9">info:eu-repo/grantAgreement/ES/MCIU-AEI-FEDER/PGC2018-098719-B-I00</subfield>
    <subfield code="9">info:eu-repo/grantAgreement/ES/MICIU-AEI-FEDER/PGC2018-098817-A-I00</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="9">info:eu-repo/semantics/openAccess</subfield>
    <subfield code="a">by-nc-nd</subfield>
    <subfield code="u">http://creativecommons.org/licenses/by-nc-nd/3.0/es/</subfield>
  </datafield>
  <datafield tag="590" ind1=" " ind2=" ">
    <subfield code="a">1.25</subfield>
    <subfield code="b">2021</subfield>
  </datafield>
  <datafield tag="591" ind1=" " ind2=" ">
    <subfield code="a">AUTOMATION &amp; CONTROL SYSTEMS</subfield>
    <subfield code="b">59 / 65 = 0.908</subfield>
    <subfield code="c">2021</subfield>
    <subfield code="d">Q4</subfield>
    <subfield code="e">T3</subfield>
  </datafield>
  <datafield tag="591" ind1=" " ind2=" ">
    <subfield code="a">ROBOTICS</subfield>
    <subfield code="b">29 / 30 = 0.967</subfield>
    <subfield code="c">2021</subfield>
    <subfield code="d">Q4</subfield>
    <subfield code="e">T3</subfield>
  </datafield>
  <datafield tag="592" ind1=" " ind2=" ">
    <subfield code="a">0.446</subfield>
    <subfield code="b">2021</subfield>
  </datafield>
  <datafield tag="593" ind1=" " ind2=" ">
    <subfield code="a">Control and Systems Engineering</subfield>
    <subfield code="c">2021</subfield>
    <subfield code="d">Q2</subfield>
  </datafield>
  <datafield tag="593" ind1=" " ind2=" ">
    <subfield code="a">Computer Science (miscellaneous)</subfield>
    <subfield code="c">2021</subfield>
    <subfield code="d">Q2</subfield>
  </datafield>
  <datafield tag="594" ind1=" " ind2=" ">
    <subfield code="a">3.0</subfield>
    <subfield code="b">2021</subfield>
  </datafield>
  <datafield tag="655" ind1=" " ind2="4">
    <subfield code="a">info:eu-repo/semantics/article</subfield>
    <subfield code="v">info:eu-repo/semantics/publishedVersion</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Gonzalez, R</subfield>
    <subfield code="u">Universidad de Zaragoza</subfield>
    <subfield code="0">(orcid)0000-0003-3760-1371</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Montijano, E</subfield>
    <subfield code="u">Universidad de Zaragoza</subfield>
    <subfield code="0">(orcid)0000-0002-5176-3767</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Silva, M</subfield>
    <subfield code="u">Universidad de Zaragoza</subfield>
    <subfield code="0">(orcid)0000-0001-8631-8770</subfield>
  </datafield>
  <datafield tag="710" ind1="2" ind2=" ">
    <subfield code="1">5007</subfield>
    <subfield code="2">520</subfield>
    <subfield code="a">Universidad de Zaragoza</subfield>
    <subfield code="b">Dpto. Informát.Ingenie.Sistms.</subfield>
    <subfield code="c">Área Ingen.Sistemas y Automát.</subfield>
  </datafield>
  <datafield tag="710" ind1="2" ind2=" ">
    <subfield code="1">5002</subfield>
    <subfield code="2">515</subfield>
    <subfield code="a">Universidad de Zaragoza</subfield>
    <subfield code="b">Dpto. Ingeniería Diseño Fabri.</subfield>
    <subfield code="c">Área Ing. Procesos Fabricación</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="g">18, 1 (2021), 19-31</subfield>
    <subfield code="p">Rev. iberoam. autom. inform. ind.</subfield>
    <subfield code="t">Revista iberoamericana de automática e informática industrial</subfield>
    <subfield code="x">1697-7912</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1103467</subfield>
    <subfield code="u">http://zaguan.unizar.es/record/145433/files/texto_completo.pdf</subfield>
    <subfield code="y">Versión publicada</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2229041</subfield>
    <subfield code="u">http://zaguan.unizar.es/record/145433/files/texto_completo.jpg?subformat=icon</subfield>
    <subfield code="x">icon</subfield>
    <subfield code="y">Versión publicada</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="o">oai:zaguan.unizar.es:145433</subfield>
    <subfield code="p">articulos</subfield>
    <subfield code="p">driver</subfield>
  </datafield>
  <datafield tag="951" ind1=" " ind2=" ">
    <subfield code="a">2024-10-30-08:48:21</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">ARTICLE</subfield>
  </datafield>
</record>
</collection>