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

Uložené v:

Podrobná bibliografia
Hlavný autor:	Kazlov, Igor (Autor)
Ďalší autori:	Juhás, Gabriel (Vedúci práce)
Médium:	Rukopis Kniha
Jazyk:	Slovak
Vydavateľské údaje:	Bratislava : STU v Bratislave FEI, 2019
Predmet:	Petriho siete work-flow soundness korektnosť deadlock zdroje syntéza región Petri nets region resources synthesis
On-line prístup:	http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=114835
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

View in STU Opac

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