root/PSi/PNK2.2/sampleNets/HLDinner.net @ 8fd1d584
| 2e0a7cb1 | Sylvain L. Sauvage | |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
|