Quelle  Valk p56-2.cob

       identification division.
       program-id. bound-live-reversible.
      * aus Valk-Girault Petri-Nets p56
      * no home states and two live locks
       author. "JD".
       date-written. 16.5.2008.
       date-compiled.
       data division.
       working-storage section.
        77 p1       pic 9.
        77 p2       pic 9.
        77 p3       pic 9.
        77 p4       pic 9.
        77 p5       pic 9.
        77 p6       pic 9.
        77 p7       pic 9.
        77 p8       pic 9.
        77 p9       pic 9.
        77 p10      pic 9.
        77 p11      pic 9.
        77 p12      pic 9.
        77 p13      pic 9.
        77 p14      pic 9.
        77 blocked  pic 9.
       procedure division.
         display "gestartet"
         move 0 to p2 p7 p11 p8 p12 p9 p13 blocked 
         move 1 to p1 p3 p10 p14 p6
         perform until blocked=1
           move 1 to blocked
           if      p1>0 then 
             subtract 1 from p1 
             add 1 to p7 p2 p9
             move 0 to blocked
           else if p1>0 then 
             subtract 1 from p1 
             add 1 to p11 p13 p2
             move 0 to blocked
           else if p2>0 and p3>0 then 
             subtract 1 from p2 p3 
             add 1 to p4 p5
             move 0 to blocked
           else if p2>0 and p4>0 then 
             subtract 1 from p2 p4 
             add 1 to p3 p5
             move 0 to blocked
           else if p6>0 and p5>0 and p7>0 then 
             subtract 1 from p6 p5 p7 
             add 1 to p1 p8
             move 0 to blocked
           else if p6>0 and p5>0 and p11>0 then 
             subtract 1 from p6 p5 p11 
             add 1 to p1 p12
             move 0 to blocked
           else if p8>0 and p9>0 and p13>0 then 
             subtract 1 from p8 p9 p13 
             add 1 to p6 p10 p13
             move 0 to blocked
           else if p9>0 and p12>0 and p13>0 then 
             subtract 1 from p9 p12 p13 
             add 1 to p6 p14 p9
             move 0 to blocked
           end-if 
         end-perform.
         display "beendet"
        end-program subs.