Petri Net FSM Design

The Petri net is a useful tool that can be used to describe systems where a system can reside in more than one state. The Petri net allows us to be able to describe systems that exhibit both sequential and parallel behaviour and has been used for many years to model systems that contain both sequential and parallel conditions. Three equations can be obtained from the Petri net that can be used to synthesize the circuit for the Petri net. These include: placeholder equations, transition equations, and output equations. There are two additional arc types available in Petri nets that can help to control synchronization between two parallel Petri net graphs. These include: disabling arcs, and enabling arcs. Both can be used to help control and synchronize separate parallel paths in a Petri net.