37 lines
447 B
Plaintext
37 lines
447 B
Plaintext
# ZN automata network, but without integer variables
|
|
|
|
net {
|
|
|
|
actions { m; n; p; q; w; };
|
|
|
|
automaton automacikB1 {
|
|
clocks {
|
|
};
|
|
locations {
|
|
a { init; };
|
|
b;
|
|
};
|
|
trans {
|
|
a -> b , m , , { };
|
|
b -> b , q , , { };
|
|
b -> a , n , , { };
|
|
};
|
|
};
|
|
|
|
automaton automacikB2 {
|
|
clocks {
|
|
};
|
|
locations {
|
|
d;
|
|
c { init; };
|
|
e;
|
|
};
|
|
trans {
|
|
c -> d , p , , { };
|
|
d -> e , m , , { };
|
|
e -> c , n , , { };
|
|
};
|
|
};
|
|
|
|
};
|