10.12.2012 Views

SIMPLORER User Manual V6.0 - FER-a

SIMPLORER User Manual V6.0 - FER-a

SIMPLORER User Manual V6.0 - FER-a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

State Graph Components<br />

• Transition Component<br />

• States<br />

• State Flexible<br />

Transition Component<br />

<strong>SIMPLORER</strong> 6.0 — <strong>Manual</strong> 247<br />

>>Basics>State Graph<br />

With the transition component, the transfer condition between the states of the<br />

system can be described. The transition component is switched if all previous<br />

states are marked and the transfer condition is true. In case of an event, all predecessor<br />

states are deactivated and all successor states are activated. If in the<br />

logical expression of the transfer condition >= or >Basics>State Graph<br />

There are various symbols for states with different inputs<br />

and outputs. The choice of symbols depends on<br />

the structure of the state graph to be modeled.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!