Detekcia uviaznutí v diskrétnych udalostných systémoch so zdieľanými zdrojmi : dát. obhaj. 15.12.2016, č. ved. odboru 5-2-14
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Manoscritto Libro |
| Lingua: | slovacco |
| Pubblicazione: |
Bratislava :
STU v Bratislave FEI,
2016
|
| Soggetti: | |
| Accesso online: | http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=45401 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000ntm a22000003a 4500 | ||
|---|---|---|---|
| 001 | stuzp30606 | ||
| 003 | SK-STU | ||
| 005 | 20230413101330.3 | ||
| 007 | ta | ||
| 008 | 150427s2015----xo-----f-mn---000-0-slo-d | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a slo | |
| 100 | 1 | |a Juhásová, Ana |u 031000 |4 aut |U FEI Fakulta elektrotechniky a informatiky |T FEI Ústav robotiky a kybernetiky |X 36686 |U E011 |Y 356 |7 36686 | |
| 242 | 0 | 1 | |a Detection of livelocks and deadlocks in discrete event systems with shared resources |y eng |
| 245 | 1 | 0 | |a Detekcia uviaznutí v diskrétnych udalostných systémoch so zdieľanými zdrojmi : |b dát. obhaj. 15.12.2016, č. ved. odboru 5-2-14 |
| 260 | |a Bratislava : | ||
| 260 | |b STU v Bratislave FEI, | ||
| 260 | |c 2016 | ||
| 300 | |a 139 s., |b AUTOREF. 2016, 48 s. | ||
| 650 | 4 | |a Diskrétne udalostné systémy |2 slo | |
| 650 | 4 | |a inštancie |2 slo | |
| 650 | 4 | |a Petriho siete |2 slo | |
| 650 | 4 | |a workflow siete |2 slo | |
| 650 | 4 | |a zamrznutia |2 slo | |
| 650 | 4 | |a workflow procesy |2 slo | |
| 650 | 4 | |a zdieľané zdroje |2 slo | |
| 650 | 4 | |a uviaznutia |2 slo | |
| 650 | 4 | |a zacyklenia |2 slo | |
| 650 | 4 | |a korektnosť |2 slo | |
| 650 | 4 | |a Discrete event systems |2 eng | |
| 650 | 4 | |a shared resources |2 eng | |
| 650 | 4 | |a workflow processes |2 eng | |
| 650 | 4 | |a instances |2 eng | |
| 650 | 4 | |a Petri nets |2 eng | |
| 650 | 4 | |a workflow nets |2 eng | |
| 650 | 4 | |a soundness |2 eng | |
| 650 | 4 | |a locks |2 eng | |
| 650 | 4 | |a deadlocks |2 eng | |
| 650 | 4 | |a livelocks |2 eng | |
| 700 | 1 | |a Murgaš, Ján |u 031000 |k Z1 |4 ths |U FEI Fakulta elektrotechniky a informatiky |T FEI Ústav robotiky a kybernetiky |X 4933 |U E011 |Y 356 |7 A000004933 | |
| 856 | 4 | |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=45401 | |
| 996 | |b 284ED01567 |c E*ZP-430 |l EE01 |s A |a 24 |w stuzp30606_0001 | ||