Generovanie Petriho sietí s predpísanými vlastnosťami

Gespeichert in:
1. Verfasser: Števaňáková, Nikola (Verfasst von)
Weitere Verfasser: Kovář, Jakub (Betreuung Doktorarbeit)
Format: Manuskript Buch
Sprache:Slowakisch
Veröffentlicht: Bratislava : STU v Bratislave FEI, 2022
Schlagworte:
I/O matice
T-invariant
XML notácia
Petriho siete
P-invariant
Petri net
I/O matrixes
XML notation
Online-Zugang:https://opac.crzp.sk/?fn=detailBiblioFormChildC14KNT&sid=85CE14C1EED0152B7835D69735B2&seo=CRZP-detail-kniha
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

MARC

LEADER 00000ntm a22000003a 4500
001 stuzp87706
003 SK-STU
005 20230403124117.3
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 Števaňáková, Nikola  |u 035000  |4 aut  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Ústav informatiky a matematiky  |X 104598  |U E050  |Y 816  |7 104598 
242 0 1 |a Generation of Petri nets with prescribed properties  |y eng 
245 1 0 |a Generovanie Petriho sietí s predpísanými vlastnosťami 
260 |a Bratislava :  |b STU v Bratislave FEI,  |c 2022 
300 |a 44 s., príl. 
650 4 |a I/O matice  |2 slo 
650 4 |a T-invariant  |2 slo 
650 4 |a XML notácia  |2 slo 
650 4 |a Petriho siete  |2 slo 
650 4 |a P-invariant  |2 slo 
650 4 |a Petri net  |2 eng 
650 4 |a I/O matrixes  |2 eng 
650 4 |a T-invariant  |2 eng 
650 4 |a P-invariant  |2 eng 
650 4 |a XML notation  |2 eng 
700 1 |a Kovář, Jakub  |u 035000  |k Z3  |4 ths  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Ústav informatiky a matematiky  |X 81277  |U E050  |Y 816  |7 81277 
856 4 |u https://opac.crzp.sk/?fn=detailBiblioFormChildC14KNT&sid=85CE14C1EED0152B7835D69735B2&seo=CRZP-detail-kniha 

Ähnliche Einträge