Spätná analýza stavových grafov Petriho sietí

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Rybár, Matej, 1990- (Verfasst von)
Weitere Verfasser: Flochová, Jana, 1959- (Betreuung Doktorarbeit)
Format: Manuskript Buch
Sprache:Slowakisch
Veröffentlicht: Bratislava : Fakulta informatiky a informačných technológií STU, 2013
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

MARC

LEADER 00000ntm a22000003a 4500
001 stu280333
005 20171115173159.0
008 131216s--------xo------------------slo-d
040 |a STU  |b slo 
041 0 |a slo 
044 |a xo 
100 1 |a Rybár, Matej,  |d 1990-  |4 aut  |u I100  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav počítačových systémov a sietí  |X 64553  |U I100  |Y 178  |7 A000064553 
245 1 |a Spätná analýza stavových grafov Petriho sietí 
260 |a Bratislava :  |b Fakulta informatiky a informačných technológií STU,  |c 2013 
300 |a 47 s  |c príl. 
650 7 |a značkovanie  |2 stusub 
650 7 |a Petriho siete  |2 stusub 
650 7 |a spätné prehľadávanie  |2 stusub 
700 1 |a Flochová, Jana,  |d 1959-  |4 ths  |u I100  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav počítačových systémov a sietí  |X 3540  |U I100  |Y 178  |7 3540 
996 |b IBAP55/13  |c I*BAP55/13  |l II680  |s A  |a 24  |w stu280333_0002