State Transition Graphs
A State Transition Graph (STG) is a directed graph representing the dynamical behaviour of a. Nodes of this graph represent possible states of the model, assigning a value to each component. Arcs of the STG represent transitions from one state to another (i.e. change of value for one or several components).
For a more formal definition see Naldi 2011.
Generate State Transition Graphs
Analyse State Transition Graphs
Like other, STGs can be saved in the or formats. They can also be exported to the .