State Machine

A state machine is a kind of graph where only one state can be active (i.e. hold a token) at a time. This kind of graph is often used to represent the state of an object while safe petri networks are better suited for scenario representation. When a state machine updates, it performs various operations involving both Sequences(or state) and Transitions. Here is a description of such an update : (insert workflow image)