Petri Nets are extremely powerful and expressive, but they are not as widely used as state machines. That’s a pity, they allow us to solve problems beyond the reach of state machines. This po…