Automata can be composed to an automaton network.
We recommend constructing networks via the method
create_network() of the respective modeling context:
from momba import model # creates a *Probabilistic Timed Automata* (PTA) modeling context ctx = model.Context(model.ModelType.PTA) # let's create an automaton network named *network* network = ctx.create_network(name="network") network
<momba.model.networks.Network at 0x7ff7643115e0>
A network comprises a set of automaton instances connected via links.
Network(ctx, *, name=None)¶
Represents an automaton network.
The optional name of the network.
The set of links of the network.
The set of instances of the network.
An optional restriction to be satisfied by initial states.
This property can be set only once on a network. The expression has to be boolean.
ModelingErrorwhen set twice or to a non-boolean expression.
Adds an instance to the network.
The instance and network are required to be in the same modeling context.
Creates a synchronization link between automata instances.
The parameter vector is a mapping from the instances participating in the synchronization to action patterns with which they participate.
The parameter result is the action pattern resulting from synchronizing.