SIMPLORER User Manual V6.0 - FER-a

6 Modeling with State Graphs
SIMPLORER 6.0 — Manual 241
The following components to create state graphs appear in the States folder of the «Basics»
tab. Open the folder States, select a state or transition, drag the component onto the sheet and
release the mouse button.
With SIMPLORER’s state graph, discontinuous processes can be modeled as event-oriented
based on the Petri Net theory. The theoretical basis of the modeling is to divide a system into:
• significant states and
• events, or transfers from one state to the other
A process sequence can be considered as a sequence of states. The current state is called active.
Switching the activity from states to their successor states is called an event. An event
occurs only if all previous states are active, all following states are inactive and the transfer
condition in the form of a logical expression is true. At the beginning of the simulation, one
state must be defined as active.
The event occurs if
• all previous states are active (marked) and
• the transfer conditions are TRUE; if no transfer condition is specified, the default value
FALSE is used.
The result of an event will be
• all previous states are deactivated and
• all successor states are activated
On entering a state, several arithmetic and logical instructions (actions) that influence the
system behavior can be executed.
Creating State Graphs
State 1 Event State 2
State 1 Event State 2
You cannot use state graphs in AC and DC simulations. To leave state graphs on the sheet,
select the components and choose ELEMENT>DON’T ADD TO MODEL DESCRIPTION. When you
want to process a transient simulation, you can change this option.
The state graph components are placed in the States folder in the «Basics» tab. Select the
folder, click the component name (transition or state), drag the component onto the sheet and
release the mouse button. Within the dialogs you can define the transfer conditions (transition)
and actions (states). A selected component can be rotated (R key) or flipped (F key).
To connect the state graph components start the wire mode with CTRL+W or choose CON-
NECT>WIRE. Place the cross wires on the component pins and set beginnings, corners, and
ends of the wire with the mouse. Exit the wire mode with ESC.
Schematic does not test the pins during the routing and allows all connections. However,
only reasonable state graphs lead to correct simulation results.