.model A_fully_decoupled_latch

# Declaration of signals

.inputs p1 p2 p3 p4 p5 p6  
.outputs  Ain- Rout- Ain+ Rout+ dmy
.marking p1 p2

# Petri net
.graph

p1 dmy
p2 dmy
dmy p5 p6
p5 Ain+
Ain+ p3
p3 Ain-
Ain- p1
p6 Rout+
Rout+ p4
p4 Rout-
Rout- p2

# initial marking
.slowenv
.end

