<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="style/detail_T.xsl"?>
<bibitem type="J">   <ARLID>0382079</ARLID> <utime>20240103201357.7</utime><mtime>20121029235959.9</mtime>         <title language="eng" primary="1">Synthesis of Decentralized Supervisor for Petri Nets Using Decomposition with Overlapping Places</title>  <specification> <page_count>14 s.</page_count> </specification>    <serial><ARLID>cav_un_epca*0382078</ARLID><ISSN>1312-885X</ISSN><title>Applied Mathematical Sciences</title><part_num/><part_title/><volume_id>6</volume_id><volume>124 (2012)</volume><page_num>6181-6194</page_num></serial>    <keyword>Perti nets</keyword>   <keyword>loopback control</keyword>   <keyword>decentralization</keyword>    <author primary="1"> <ARLID>cav_un_auth*0230039</ARLID> <name1>Papík</name1> <name2>Martin</name2> <full_dept language="cz">Zpracování obrazové informace</full_dept> <full_dept language="eng">Department of Image Processing</full_dept> <department language="cz">ZOI</department> <department language="eng">ZOI</department> <institution>UTIA-B</institution> <full_dept>Department of Image Processing</full_dept>  <fullinstit>Ústav teorie informace a automatizace AV ČR, v. v. i.</fullinstit> </author> <author primary="0"> <ARLID>cav_un_auth*0015163</ARLID> <name1>Moravec</name1> <name2>J.</name2> <country>CZ</country>  </author>   <source> <url>http://library.utia.cas.cz/separaty/2012/ZOI/papik-0382079.pdf</url> </source>        <cas_special>  <abstract language="eng" primary="1">Petri nets are a formal tool for describing processes in a many of important  technical and social applications. Their advantage over other related type  instruments is very effective modeling of parallelism. This makes it easy to avoid  improper behavior process. This article deals with the use of Petri nets for  modeling specific type of control of dynamic systems, which reduces improper  behavior of these systems. One way to influence the behavior of the system is a  suitable feedback that prevents the emergence of adverse conditions. The article  presents the partial achievements of our research on loopback control and design  supervisors for Petri nets.</abstract>     <reportyear>2013</reportyear>  <RIV>IN</RIV>     <unknown tag="mrcbC52"> 4 A 4a 20231122135243.3 </unknown> <inst_support> RVO:67985556 </inst_support>  <permalink>http://hdl.handle.net/11104/0212406</permalink>         <unknown tag="mrcbT16-q">13</unknown> <unknown tag="mrcbT16-s">0.137</unknown> <unknown tag="mrcbT16-y">13.33</unknown> <unknown tag="mrcbT16-x">0.21</unknown> <unknown tag="mrcbT16-4">Q4</unknown> <unknown tag="mrcbT16-E">Q4</unknown> <arlyear>2012</arlyear>    <unknown tag="mrcbTft">  Soubory v repozitáři: papik-0382079.pdf </unknown>    <unknown tag="mrcbU63"> cav_un_epca*0382078 Applied Mathematical Sciences 1312-885X Roč. 6 č. 124 2012 6181 6194 </unknown> </cas_special> </bibitem>