Simulate an execution of the given list of automata and return a sequence of automaton states. If graph_vis is True, simulate the automata live in Gephi.
Note that ‘aut_states_list’ is composed of (autID, autState) tuples, ‘aut’ is enclosed in a list, and ‘env_states’ is a list of state dictionaries.
Arguments:
generated from jtlvint.synthesize or jtlv.computeStrategy function.
of automata and the values are the entry states of the next automata. Both keys and values are tuples in the following format:
(AutomatonID, AutomatonState)
where ‘AutomatonID’ is an integer corresponding to the index of the current automaton and ‘AutomatonState’ is the current automaton state.
the sequence of environment states. If the length of this sequence is less than num_it, then this function will automatically pick the environment states for the rest of the execution.
num_it – the number of iterations.
the environment state deterministically.
graph_vis – specify whether to visualize the simulation in Gephi.
destination ‘.gexf’ file.
or environment variables to be encoded as labels.
delay – for graph visualization, the time between simulation steps.
continue displaying.
Return: List of automaton states, corresponding to a sequence of simulated transitions. Each entry will be formatted as follows:
(AutomatonID, AutomatonState)
as described above under ‘aut_trans_dict’.
Open Gephi (a graph visualization application) and stream a live automaton simulation to it.
Arguments:
aut_list – a list of Automaton objects.
in Gephi.
variables to be encoded as labels.
Fields:
Write a simulation trace (sequence of states) to a text file.
Arguments:
(AutomatonID, AutomatonState)
where ‘AutomatonID’ is an integer corresponding to the index of the current automaton and ‘AutomatonState’ is the current automaton state.
file – the string name of the desired destination file.
Return: (nothing)
Write the states and transitions from a list of automata to a ‘.gexf’ graph file. If a list of simulated states is given, record the sequence of traversed states.
Arguments:
aut_list – a list of Automaton objects.
destfile – the string name of the desired destination file.
(AutomatonID, AutomatonState)
where ‘AutomatonID’ is an integer corresponding to the index of the current automaton and ‘AutomatonState’ is the current automaton state.
variables to be encoded as labels.
Return: (nothing)