66
77
88def execute_script ():
9- net : " PetriNet" = PetriNet ("" )
10- start : " PetriNet.Place" = PetriNet .Place ("start" )
11- end : " PetriNet.Place" = PetriNet .Place ("end" )
12- c1 : " PetriNet.Place" = PetriNet .Place ("c1" )
13- c2 : " PetriNet.Place" = PetriNet .Place ("c2" )
14- c3 : " PetriNet.Place" = PetriNet .Place ("c3" )
15- c4 : " PetriNet.Place" = PetriNet .Place ("c4" )
16- c5 : " PetriNet.Place" = PetriNet .Place ("c5" )
17- c6 : " PetriNet.Place" = PetriNet .Place ("c6" )
18- c7 : " PetriNet.Place" = PetriNet .Place ("c7" )
19- c8 : " PetriNet.Place" = PetriNet .Place ("c8" )
20- c9 : " PetriNet.Place" = PetriNet .Place ("c9" )
9+ net : PetriNet = PetriNet ("" )
10+ start : PetriNet .Place = PetriNet .Place ("start" )
11+ end : PetriNet .Place = PetriNet .Place ("end" )
12+ c1 : PetriNet .Place = PetriNet .Place ("c1" )
13+ c2 : PetriNet .Place = PetriNet .Place ("c2" )
14+ c3 : PetriNet .Place = PetriNet .Place ("c3" )
15+ c4 : PetriNet .Place = PetriNet .Place ("c4" )
16+ c5 : PetriNet .Place = PetriNet .Place ("c5" )
17+ c6 : PetriNet .Place = PetriNet .Place ("c6" )
18+ c7 : PetriNet .Place = PetriNet .Place ("c7" )
19+ c8 : PetriNet .Place = PetriNet .Place ("c8" )
20+ c9 : PetriNet .Place = PetriNet .Place ("c9" )
2121 net .places .add (c1 )
2222 net .places .add (c2 )
2323 net .places .add (c3 )
@@ -29,17 +29,17 @@ def execute_script():
2929 net .places .add (c9 )
3030 net .places .add (start )
3131 net .places .add (end )
32- t1 : " PetriNet.Transition" = PetriNet .Transition ("t1" , "a" )
33- t2 : " PetriNet.Transition" = PetriNet .Transition ("t2" , None )
34- t3 : " PetriNet.Transition" = PetriNet .Transition ("t3" , "b" )
35- t4 : " PetriNet.Transition" = PetriNet .Transition ("t4" , "c" )
36- t5 : " PetriNet.Transition" = PetriNet .Transition ("t5" , "d" )
37- t6 : " PetriNet.Transition" = PetriNet .Transition ("t6" , "e" )
38- t7 : " PetriNet.Transition" = PetriNet .Transition ("t7" , None )
39- t8 : " PetriNet.Transition" = PetriNet .Transition ("t8" , "f" )
40- t9 : " PetriNet.Transition" = PetriNet .Transition ("t9" , "g" )
41- t10 : " PetriNet.Transition" = PetriNet .Transition ("t10" , "h" )
42- t11 : " PetriNet.Transition" = PetriNet .Transition ("t11" , None )
32+ t1 : PetriNet .Transition = PetriNet .Transition ("t1" , "a" )
33+ t2 : PetriNet .Transition = PetriNet .Transition ("t2" , None )
34+ t3 : PetriNet .Transition = PetriNet .Transition ("t3" , "b" )
35+ t4 : PetriNet .Transition = PetriNet .Transition ("t4" , "c" )
36+ t5 : PetriNet .Transition = PetriNet .Transition ("t5" , "d" )
37+ t6 : PetriNet .Transition = PetriNet .Transition ("t6" , "e" )
38+ t7 : PetriNet .Transition = PetriNet .Transition ("t7" , None )
39+ t8 : PetriNet .Transition = PetriNet .Transition ("t8" , "f" )
40+ t9 : PetriNet .Transition = PetriNet .Transition ("t9" , "g" )
41+ t10 : PetriNet .Transition = PetriNet .Transition ("t10" , "h" )
42+ t11 : PetriNet .Transition = PetriNet .Transition ("t11" , None )
4343 net .transitions .add (t1 )
4444 net .transitions .add (t2 )
4545 net .transitions .add (t3 )
@@ -78,9 +78,9 @@ def execute_script():
7878 add_arc_from_to (t11 , end , net )
7979 add_arc_from_to (c5 , t10 , net )
8080 add_arc_from_to (t10 , end , net )
81- im : " Marking" = Marking ()
81+ im : Marking = Marking ()
8282 im [start ] = 1
83- fm : " Marking" = Marking ()
83+ fm : Marking = Marking ()
8484 fm [end ] = 1
8585 decomposed_net = decomposition .decompose (net , im , fm )
8686 gvizs = []
0 commit comments