|
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.
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
