bibtype J - Journal Article
ARLID 0382079
utime 20240103201357.7
mtime 20121029235959.9
title (primary) (eng) Synthesis of Decentralized Supervisor for Petri Nets Using Decomposition with Overlapping Places
specification
page_count 14 s.
serial
ARLID cav_un_epca*0382078
ISSN 1312-885X
title Applied Mathematical Sciences
volume_id 6
volume 124 (2012)
page_num 6181-6194
keyword Perti nets
keyword loopback control
keyword decentralization
author (primary)
ARLID cav_un_auth*0230039
name1 Papík
name2 Martin
full_dept (cz) Zpracování obrazové informace
full_dept (eng) Department of Image Processing
department (cz) ZOI
department (eng) ZOI
institution UTIA-B
full_dept Department of Image Processing
fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
author
ARLID cav_un_auth*0015163
name1 Moravec
name2 J.
country CZ
source
url http://library.utia.cas.cz/separaty/2012/ZOI/papik-0382079.pdf
cas_special
abstract (eng) 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.
reportyear 2013
RIV IN
mrcbC52 4 A 4a 20231122135243.3
inst_support RVO:67985556
permalink http://hdl.handle.net/11104/0212406
mrcbT16-q 13
mrcbT16-s 0.137
mrcbT16-y 13.33
mrcbT16-x 0.21
mrcbT16-4 Q4
mrcbT16-E Q4
arlyear 2012
mrcbTft \nSoubory v repozitáři: papik-0382079.pdf
mrcbU63 cav_un_epca*0382078 Applied Mathematical Sciences 1312-885X Roč. 6 č. 124 2012 6181 6194