Počet záznamů: 1
Séquentialisation du comportement des réseaux de Petri temporisés
SYS 0422087 LBL 03831^^^^^2200361^^^450 005 20240103203544.1 100 $a 20140227d m y slo 03 ba 101 0-
$a fre $d fre 102 $a FR 200 1-
$a Séquentialisation du comportement des réseaux de Petri temporisés 215 $a 16 s. $c P 463 -1
$1 001 cav_un_epca*0422086 $1 011 $a 1269-6935 $1 200 1 $a Journal Européen des Systèmes Automatisés $v Roč. 47, 1-3 (2013), s. 139-154 541 1-
$a Sequentialization of timed Petri net behaviours $z eng 610 0-
$a timed Petri nets 610 0-
$a (max,+) automata 610 0-
$a race policy 700 -1
$3 cav_un_auth*0228472 $a Boimond $b J.-L. $y FR $4 070 701 -1
$3 cav_un_auth*0100669 $a Komenda $b Jan $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0228473 $a Lahaye $b S. $y FR $4 070 856 $u http://jesa.revuesonline.com/article.jsp?articleId=18769
Počet záznamů: 1