Formal verification of selected properties of process models obtained through process mining from event logs
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Manoscritto Libro |
| Lingua: | slovacco inglese |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=183613 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000ntm a22000003a 4500 | ||
|---|---|---|---|
| 001 | stuzp105802 | ||
| 003 | SK-STU | ||
| 005 | 20250607211648.9 | ||
| 007 | ta | ||
| 008 | 150427s2015----xo-----f-mn---000-0-slo-d | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Slovák, Peter |u 070200 |4 aut |U FIIT Fakulta informatiky a informačných technológií |T FIIT Ústav informatiky, informačných systémov a softvérového inžinierstva |X 110893 |U I200 |Y 179 |7 110893 | |
| 242 | 0 | 1 | |a Formálne verifikovanie vybraných vlastností procesných modelov získaných prostredníctvom dolovania procesov zo záznamov udalostí |y slo |
| 245 | 1 | 0 | |a Formal verification of selected properties of process models obtained through process mining from event logs |
| 260 | |c 2025 | ||
| 650 | 4 | |a Verification |2 eng | |
| 650 | 4 | |a Petri net |2 eng | |
| 650 | 4 | |a Event log |2 eng | |
| 650 | 4 | |a Process mining |2 eng | |
| 650 | 4 | |a Trace clustering |2 eng | |
| 650 | 4 | |a Event log |2 slo | |
| 650 | 4 | |a Trace clustering |2 slo | |
| 650 | 4 | |a Verification |2 slo | |
| 650 | 4 | |a Process mining |2 slo | |
| 650 | 4 | |a Petri net |2 slo | |
| 700 | 1 | |a Lehocki, Fedor |u 070200 |k Z1 |4 ths |U FIIT Fakulta informatiky a informačných technológií |T FIIT Ústav informatiky, informačných systémov a softvérového inžinierstva |X 1888 |U I200 |Y 179 |7 000001888 | |
| 856 | 4 | |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=183613 | |