Computation of Flexibility in Sequential Networks - The Unknown Component Problem: Theory and Applications - page 164

.default 0
1-1
-11
.table r1 r2 x2
.default 0
1-1
-11
.table x1 x2 x
.default 0
111
.table a b y1
.default 0
1-1
-11
.table y1 e y
.default 0
111
.table a R1
.default 0
11
.table b R2
.default 0
11
.end
Machine MB.mv
.model MB
.inputs x y
.outputs o
.latch R1 r1
.reset r1
0
.latch R2 r2
.reset r2
0
.latch R3 r3
.reset r3
0
.table x y r1 r2 r3 o
.default 0
-1---1
1---11
1-11-1
.table y r1 r2 r3 R1
.default 0