Unlike these standards, Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis.
Kitaip nei minėti standartai, Petri tinklai turi tikslius vykdymo semantikos matematinius apibrėžimus su gerai išvystyta matematine procesų analizės teorija.