29 lines
294 B
Text
29 lines
294 B
Text
p0s:PNPlaceState {
|
|
numTokens = 1;
|
|
}
|
|
|
|
:pn_of (p0s -> p0)
|
|
|
|
p1s:PNPlaceState {
|
|
numTokens = 0;
|
|
}
|
|
|
|
:pn_of (p1s -> p1)
|
|
|
|
p2s:PNPlaceState {
|
|
numTokens = 0;
|
|
}
|
|
|
|
:pn_of (p2s -> p2)
|
|
|
|
p3s:PNPlaceState {
|
|
numTokens = 0;
|
|
}
|
|
|
|
:pn_of (p3s -> p3)
|
|
|
|
p4s:PNPlaceState {
|
|
numTokens = 0;
|
|
}
|
|
|
|
:pn_of (p4s -> p4)
|