On the left is a flow chart, which uses boxes to represent events that change some data and diamonds to represent decisions, which may change the
direction of the process.
In the center is a finite-state machine, which uses circles to represent states and arcs to show the transitions from one state to the next.
On the right is a Petri net, which can be considered a merger of a flow chart and a finite-state machine. The circles of the
Petri net, which are called places, correspond to the states of the finite-state machine; the bars, called transitions,
correspond to the events of the flow chart.
Unlike processes, which consist of instances of states and events, procedures consist of state types and event types.
Processes are represented by acyclic graphs. Procedures, however, often contain loops. Those loops do not cycleback to an
earlier time, but to another instance of the same type of state or event. In the diagrams, the state types are labeled p, q, r, s, and t;
the events types are labeled a, b, d, e, and f. Any of the three notations in Figure can be used to specify an infinitefamily of
discrete processes. Following are the sequences of state and event types for the first three processes in the family:
❖p, a, q, b, r, f, t.
❖p, a, q, b, r, d, s, e, q, b, r, f, t.