Automata networks¶
Pint takes as input automata networks. Automata networks are transition-centered models, close to 1-bounded Petri nets. They gather a finite number of finite-state machines, where their internal transitions can be conditioned by the state of other automata in the network.
Pint uses a simple plain text format to specify automata networks and their initial state. The text files have the extension .an
.
Models expressed as Boolean and multi-valued networks can be automatically converted using the python interface.
See pypint.model.load()
and Model input tutorial.
The structure of a .an
file is the following.
You can refer to the model repository for some examples.
Automata declaration
An automaton is defined by a name and a list of local states. If the name of the automaton contain special characters, it should be enclosed with “. The local states can either be integers, or strings (enclosed in “).
Examples:
a [0, 1]
b [0, 1, 2]
"Fyn-1" ["inactive", "active"]
Transitions
A transition specifies a local state change within one automaton, and can be conditionned by the conjunction of states of other automata.
Examples:
a 0 -> 1 when "Fyn-1"="active" and b=2
a 1 -> 0 (* no external condition *)
"Fyn-1" "inactive" -> "active" when a=0
"Fyn-1" 0 -> 1 when a=0 (* equivalent to previous declaration *)
Transitions can also be coupled, i.e., their application is done simultaneously:
{ b 0 -> 1 ; "Fyn-1" "active" -> "inactive" } when a = 1
The above synchronized transition can be perfomed only when a=1, b=0, and Fyn-1=active.
Initial state
By default, each automaton starts in the local state 0. The initial state of the automata network can be overrided with the following directive:
initial_state a=1,b=2