Petri Nets in BPM
Petri nets are a BPM notation. Unlike many other BPM notations, Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis. For this reason, they are popular in academia. Probably for the same reason, they are rarely used in practical BPM modeling, apart from very specific [...]