state graph

state graph

[′stāt ‚graf]
(computer science)
A directed graph whose nodes correspond to internal states of a sequential machine and whose edges correspond to transitions among these states.
References in periodicals archive ?
The state graph illustrated in figure 4 for an aggregate TLC is the same and for TLC timed automata.
A Markov Model was used to generate a problem state graph.
In section 5, we study the effect of the absence of subnetwork in F on the asynchronous state graph of f, which is a directed graph on [{0,1}.
n], called the asynchronous state graph of f, which has been proposed by Thomas (1973) as a model for the dynamics of gene networks; see also Thomas and d'Ari (1990).
The strategy of restoration adopted during the first period (identification of the power sources available), consists in associating at each available power source, a state graph representing the topology of the power system network.
The oriented state graph associated with West Algerian interconnected power system network and representing the restoration process starting from the interconnection bus of OUJ is presented thus, the lengths (in km) of the lines connecting two buses are associated to the arcs costs:
In some cases, it is possible to reformulate a state graph into a more abstract state graph with the property that any solution to the abstract problem has a solution when refined to the full state graph.
The structure M is potentially intractably large, of size exponential in that of the underlying program whose state graph it represents.
method is showing how to efficiently detect the existence of fair paths in the large global state graph M - i.
To detect livelocks, the state graph must be kept and the transition relations (connectivity information [Holzmann 1990]) among global states must be maintained during the state expansion.
More memory is still needed if the connectivity of the state graph must be maintained to verify the liveness property.
Full browser ?