prikaz prve stranice dokumenta Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela
Rad nije dostupan
diplomski rad
Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela
2020. urn:nbn:hr:168:668852
Božić, Dino
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Citirajte ovaj rad

Božić, D. (2020). Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:668852

Božić, Dino. "Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2020. https://urn.nsk.hr/urn:nbn:hr:168:668852

Božić, Dino. "Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2020. https://urn.nsk.hr/urn:nbn:hr:168:668852

Božić, D. (2020). 'Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 19.04.2024., https://urn.nsk.hr/urn:nbn:hr:168:668852

Božić D. Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2020 [pristupljeno 19.04.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:668852

D. Božić, "Modeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2020. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:668852

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:668852
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovModeliranje i analiza labeliranog sustava sa prijelazima alatima za provjeru modela
Naslov (engleski)Labeled Transition System Modeling and Analysis with Model Checkers
AutorDino Božić
MentorBruno Blašković (mentor)
Član povjerenstvaBruno Blašković (predsjednik povjerenstva)
Član povjerenstvaMirko Randić (član povjerenstva)
Član povjerenstvaLuka Humski (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2020-07-06, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
Kako bi se omogućila fleksibilnost modula za dubinsku analizu poslovnih procesa potrebno je pokušati dokazati izravnu povezivost formata koji se koriste u različitim tehnikama analize. U ovom radu opisan je postupak pretvorbe modela definiranog jezikom Promela u model Petrijeve mreže. Promela model jest verifikacijski jezik kojem je primarna svrha provjera modela dok je Petrijeva mreža jedan od najpoznatijih formata za prikaz i analizu dubinske analize poslovnih procesa. Implementacija algoritma koji izvršava pretvorbu sastoji se od proučavanja svojstava i specijalnosti ulaznog i izlaznog formata te valjane prilagodbe na izlazni format. Konačan rezultat jest algoritam kojem je ulaz Promela model a izlaz funkcionalna Petrijeva mreža spremna za analizu.
Sažetak (engleski)
To enable module flexibility in order to support process mining it is necessary to prove direct connectivity between formats used for different analysis techniques. This master thesis describes the process of transforming model defined in Promela verification language into the Petri net model. Promela is a verification language whose primary purpose is model checking while Petri net format is one of the most recognizable ones in process mining and process analysis. Implementation of the transformation algorithm consist of researching characteristics and specialities of both input and output formats and their adjustments for the final output. Final result is an algorithm whose input format is a Promela model and the output is a fully functional Petri Net ready for analysis.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:668852
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2023-01-13 11:51:39