|
|NET
|
|
|Dinner(HL)
|
|
|SPECIFICATION HL_Specification
|
|
|VARIABLES
|
|
|
|
|
;
|
|
|firingRule
|
|
|
|
|
;
|
|
|DECLARATION
|
|
|
|
|
;
|
|
|signature
|
|
| <variable name="x" />
|
|
|<variable name="y" />
|
|
|<function name="l" class="de.huberlin.informatik.pnk.netElementExtensions.hlNet.HLFkt" signature="l(java.lang.String)" />
|
|
|<function name="r" class="de.huberlin.informatik.pnk.netElementExtensions.hlNet.HLFkt" signature="r(java.lang.String)" />
|
|
|<tokenType name="String" class="java.lang.String" />
|
|
;
|
|
|PLACES
|
|
|Gabelpool 1
|
|
|tokenClass
|
|
|String
|
|
;
|
|
|MARKING
|
|
| g1 g2 g3
|
|
;
|
|
|name
|
|
|Gabelpool
|
|
;
|
|
|Initial Marking
|
|
| g1 g2 g3
|
|
;
|
|
;
|
|
|essen 2
|
|
|tokenClass
|
|
|String
|
|
;
|
|
|MARKING
|
|
|
|
|
;
|
|
|name
|
|
|essen
|
|
;
|
|
|Initial Marking
|
|
|
|
|
;
|
|
;
|
|
|denken 3
|
|
|tokenClass
|
|
|String
|
|
;
|
|
|MARKING
|
|
|p1 p2 p3
|
|
;
|
|
|name
|
|
|denken
|
|
;
|
|
|Initial Marking
|
|
|p1 p2 p3
|
|
;
|
|
;
|
|
;
|
|
|TRANSITIONS
|
|
|u 4
|
|
|name
|
|
|u
|
|
;
|
|
;
|
|
|t 5
|
|
|name
|
|
|t
|
|
;
|
|
;
|
|
;
|
|
|ARCS
|
|
|4 --> 3 6
|
|
| x
|
|
;
|
|
|inscription
|
|
| x
|
|
;
|
|
;
|
|
|3 --> 5 7
|
|
| x
|
|
;
|
|
|inscription
|
|
| x
|
|
;
|
|
;
|
|
|5 --> 2 8
|
|
| x
|
|
;
|
|
|inscription
|
|
| x
|
|
;
|
|
;
|
|
|2 --> 4 9
|
|
| x
|
|
;
|
|
|inscription
|
|
| x
|
|
;
|
|
;
|
|
|4 --> 1 10
|
|
| x.l(x)
|
|
;
|
|
|inscription
|
|
| x.l(x)
|
|
;
|
|
;
|
|
|1 --> 5 11
|
|
| x.l(x)
|
|
;
|
|
|inscription
|
|
| x.l(x)
|
|
;
|
|
;
|
|
;
|
|
|MARKING
|
|
|1
|
|
| g1 g2 g3
|
|
;
|
|
|2
|
|
|
|
|
;
|
|
|3
|
|
|p1 p2 p3
|
|
;
|
|
;
|
|
|NET_END
|
|
EDITOR_INFOS
|
|
PAGES
|
|
;
|
|
PLACE
|
|
1 :
|
|
1 141.0 135.0
|
|
{'tokenClass': (1, 15, 1), 'MARKING': (31, -12, 1), 'name': (1, -22, 1), 'Initial Marking': (31, 6, 1)}
|
|
.
|
|
2 :
|
|
1 144.0 193.0
|
|
{'tokenClass': (0, 17, 1), 'MARKING': (20, -5, 1), 'name': (1, -23, 1), 'Initial Marking': (20, 9, 1)}
|
|
.
|
|
3 :
|
|
1 142.0 81.0
|
|
{'tokenClass': (0, 14, 1), 'MARKING': (31, -13, 1), 'name': (1, -21, 1), 'Initial Marking': (31, 3, 1)}
|
|
.
|
|
;
|
|
TRANSITION
|
|
4 :
|
|
1 35.0 135.0
|
|
{'name': (-21, -3, 1)}
|
|
.
|
|
5 :
|
|
1 251.0 136.0
|
|
{'name': (20, 0, 1)}
|
|
.
|
|
;
|
|
ARC
|
|
6 :
|
|
1 0 0
|
|
{'inscription': (-5, -13, 1)}
|
|
.
|
|
7 :
|
|
1 0 0
|
|
{'inscription': (15, -3, 1)}
|
|
.
|
|
8 :
|
|
1 0 0
|
|
{'inscription': (13, 0, 1)}
|
|
.
|
|
9 :
|
|
1 0 0
|
|
{'inscription': (-14, 4, 1)}
|
|
.
|
|
10 :
|
|
1 0 0
|
|
{'inscription': (-4, 5, 1)}
|
|
.
|
|
11 :
|
|
1 0 0
|
|
{'inscription': (9, 6, 1)}
|
|
.
|
|
;
|
|
END_EDITOR
|