STATE MACHINE

Definition

(according to [hac72])

A State Machine is a Petri Net where every transition has only one input place and one output place:

Sample Net

References


BACK