ci/flow-mpsat-g/adfast.g
.name adfast
.inputs La Da Za
.outputs Lr Dr Zr
.mode SELFTIMED
.graph
Da+/0 Zr-/0
Da+/0 Dr-/0
La-/0 Dr-/0
Dr-/0 Da-/0
Zr-/0 Za-/0
Za+/0 Zr-/0
Za-/0 Lr+/0
Lr-/0 La-/0
Dr+/0 Da+/0
Zr+/0 Za+/0
La+/0 Lr-/0
La+/0 Dr+/0
La+/0 Zr+/0
Lr+/0 La+/0
Da-/0 Lr+/0
.marking {<La+/0 ,Lr-/0 > <La+/0 ,Dr+/0 > <La+/0 ,Zr+/0 > }
.end