Petri tinklai
Petri tinklai – viena iš keleto matematinio modeliavimo kalbų, skirta paskirstytųjų sistemų aprašymui. Petri tinklas yra orientuotas dvidalis grafas, kuriame mazgai atitinka perėjimus (t. y. įvykiai kurie gali įvykti – pažymėti stulpeliais) ir vietas (t. y. sąlygos – pažymėtos apskritimais). Briaunos parodo, kurios vietos yra išankstinės sąlygos ir/ar posąlygos. Petri tinklus išrado Carl Adam Petri 1939 m. rugpjūtį, būdamas 13 metų norėdamas apibūdinti cheminį procesą. Kaip ir industrijos standartai tokie kaip UML diagramos, BPMN ir EPC, Petri tinklai suteikia galimybes žymėti pažingsninius procesus kaip pasirinkimas, kartojimas ir lygiagretus vykdymas. Kitaip nei minėti standartai, Petri tinklai turi tikslius vykdymo semantikos matematinius apibrėžimus su gerai išvystyta matematine procesų analizės teorija.