ci/flow-mpsat-g/bus_ctrl.g
# STG file generated by Workcraft 3 (Return of the Hazard), version 3.2.6 (alpha)
.model bus_ctrl
.inputs ba bna cr
.outputs br ca
.graph
ba+ ca+
ba- p1
bna+ br-/1 p2
bna- p1
br+ p0
br- ba- ca-
br-/1 bna-
ca+ cr-
ca- cr+
cr+ p2
cr- br- ca-
p0 ba+ bna+
p1 br+
p2 br+
.marking {<ca-,cr+> p1}
.end