Petri nets are state machines and mathematical models which can be used to describe and analyze concurrent processes and state transitions within those processes. They are named after their inventor, Carl Petri, who created them in 1939 (when he was ...
