Analýza udalostných systémov s viacerými inštanciami : dátum obhajoby 26.8.2019, č. ved. odboru 9-2-9

Gespeichert in:
1. Verfasser: Kazlov, Igor (Verfasst von)
Weitere Verfasser: Juhás, Gabriel (Betreuung Doktorarbeit)
Format: Manuskript Buch
Sprache:Slowakisch
Veröffentlicht: Bratislava : STU v Bratislave FEI, 2019
Schlagworte:
Petriho siete
work-flow
soundness
korektnosť
deadlock
zdroje
syntéza
región
Petri nets
region
resources
synthesis
Online-Zugang:http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=114835
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

MARC

LEADER 00000ntm a22000003a 4500
001 stuzp48589
003 SK-STU
005 20230413102027.4
007 ta
008 150427s2015----xo-----f-mn---000-0-slo-d
040 |a STU  |b slo 
041 0 |a slo 
044 |a xo 
100 1 |a Kazlov, Igor  |u 035000  |k Z9  |4 aut  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Ústav informatiky a matematiky  |X 16036  |U E050  |Y 816  |7 A000016036 
242 0 1 |a Analysis of event systems with multiple instances  |y eng 
245 1 0 |a Analýza udalostných systémov s viacerými inštanciami :  |b dátum obhajoby 26.8.2019, č. ved. odboru 9-2-9 
260 |a Bratislava : 
260 |b STU v Bratislave FEI, 
260 |c 2019 
300 |a 72 s., CD-ROM,  |b AUTOREF. 2019, 8 s. 
650 4 |a Petriho siete  |2 slo 
650 4 |a work-flow  |2 slo 
650 4 |a soundness  |2 slo 
650 4 |a korektnosť  |2 slo 
650 4 |a deadlock  |2 slo 
650 4 |a zdroje  |2 slo 
650 4 |a syntéza  |2 slo 
650 4 |a región  |2 slo 
650 4 |a Petri nets  |2 eng 
650 4 |a work-flow  |2 eng 
650 4 |a soundness  |2 eng 
650 4 |a deadlock  |2 eng 
650 4 |a region  |2 eng 
650 4 |a resources  |2 eng 
650 4 |a synthesis  |2 eng 
700 1 |a Juhás, Gabriel  |u 035000  |k Z1  |4 ths  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Ústav informatiky a matematiky  |X 4971  |U E050  |Y 816  |7 A000004971 
856 4 |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=114835 
996 |b 284ED01629  |c E*ZP-495  |l EE01  |s A  |a 24  |w stuzp48589_0001 

Ähnliche Einträge