% Reset Petri Net [Leuschel-Lehmann 2000] % DMC code % MP - Nov 2007 :-dynamic r/4. :-dynamic info/4. info(1,[p],2,[x,y]). r(init,p(s_s,X,Y),{X=1,Y=0}, 1). %initial state r(p(s_s,X,Y),p(X1,Y1), {X>=1, Y>=0, X1=0, Y1=Y+2}, 2). r(p(s_s,X,Y),p(X1,Y1), {Y>=1, X1=X+2, Y1=Y-1}, 3). prop(unsafe,p:s * (x=3) * (y=0)).