workcraft/workcraft

# LPN file generated by Workcraft 3
.name Untitled
.inputs dsr dsw ldtack
.outputs d dtack lds
#@.init_state [000000]
.graph
d+/0 dtack+/0
d+/1 lds+/1
d-/0 p3 p4
d-/1 dtack+/1
dsr+/0 lds+/0
dsr-/0 d-/0
dsw+/0 d+/1
dsw-/0 p3 p4
dtack+/0 dsr-/0
dtack+/1 dsw-/0
dtack-/0 p1
lds+/0 ldtack+/0
lds+/1 ldtack+/1
lds-/0 ldtack-/0
ldtack+/0 d+/0
ldtack+/1 d-/1
ldtack-/0 p2
p1 dsr+/0 dsw+/0
p2 lds+/0 lds+/1
p3 lds-/0
p4 dtack-/0
.marking {p1 p2}
.end