Počet záznamů: 1
Deciding detectability for labeled Petri nets
SYS 0504048 LBL 01000a^^22220027750^450 005 20240103221934.0 014 $a 85063045219 $2 SCOPUS 014 $a 000466616600027 $2 WOS 017 $a 10.1016/j.automatica.2019.02.058 $2 DOI 100 $a 20190418d m y slo 03 ba 101 $a eng $d eng 102 $a NL 200 1-
$a Deciding detectability for labeled Petri nets 215 $a 4 s. 463 -1
$1 001 cav_un_epca*0256218 $1 011 $a 0005-1098 $e 1873-2836 $1 200 1 $a Automatica $v Roč. 104, June (2019), s. 238-241 $1 210 $c Elsevier 610 $a discrete event systems 610 $a Petri nets 610 $a complexity 700 -1
$3 cav_un_auth*0262819 $4 070 $a Masopust $b Tomáš $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0372289 $4 070 $a Yin $b X. $y CN $z K 856 $9 RIV $u http://dx.doi.org/10.1016/j.automatica.2019.02.058
Počet záznamů: 1