Modeliranje i analiza Petrijeve mreže provjerom modela

diplomski rad

• Naslov (engleski): Petri Net Modeling and Analysis with Model Checkers
• Autor: Filip Božić
• Mentor: Bruno Blašković (mentor)
• Član povjerenstva: Bruno Blašković (predsjednik povjerenstva)
• Član povjerenstva: Mirko Randić (član povjerenstva)
• Član povjerenstva: Luka 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 obrane: 2020-07-06, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

Dubinska analiza procesa jest skup tehnika koje se primjenjuju nad podacima iz zapisnika događaja u svrhu otkrivanja modela procesa, te provjeru sukladnosti i analizu performansi modela procesa. Otkriveni model procesa predstavljen je Petrijevom mrežom, matematičkim jezikom za opis distribuiranih sustava. Programska podrška razvijena u ovom radu transformira Petrijevu mrežu, zadanu u LoLA formatu, u model Petrijeve mreže u Promela jeziku. Alatom SPIN vrši se formalna verifikacija Promela modela, pomoću linearne vremenske logike. Formalna verifikacija jedna je od tehnika provjere sukladnosti modela.

Sažetak (engleski)

Process mining is a family of techniques that are used to discover a process model from event log data. These techniques also include conformance checking and performance analysis of a model. Discovered process is described with a Petri net, a mathematical model for distributed systems. Software developed in this work transforms Petri net, given in LoLA format, to a Promela model of Petri net. SPIN tool is used to perform formal verification of a Promela model, with linear temporal logic. Formal verification is one of the conformance checking techniques.

• Ključne riječi: dubinska analiza procesa; provjera sukladnosti; proces; zapisnik događaja; model procesa; Petrijeva mreža; LoLA; Promela; SPIN
• Ključne riječi (engleski): process mining; conformance check; process; event log; process model; Petri net; LoLA; Promela; SPIN
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:240988
• Studijski program: Naziv: 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 resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2023-01-13 09:48:04