80 lines
3.5 KiB
Text
80 lines
3.5 KiB
Text
|
# 1 "/home/user/UNITO/anno3/vpc/consegne/2.b/ReteF-RG of CPN.solution/CPN.ntp"
|
||
|
|
# 1 "<built-in>"
|
||
|
|
# 1 "<command-line>"
|
||
|
|
# 31 "<command-line>"
|
||
|
|
# 1 "/usr/include/stdc-predef.h" 1 3 4
|
||
|
|
# 32 "<command-line>" 2
|
||
|
|
# 1 "/home/user/UNITO/anno3/vpc/consegne/2.b/ReteF-RG of CPN.solution/CPN.ntp"
|
||
|
|
|0|
|
||
|
|
|
|
||
|
|
f 3 11 0 8 0 0 0
|
||
|
|
N -7134 0.6354166666666666 0.4322916666666667 0
|
||
|
|
n -7134 0.9635416666666666 0.4322916666666667 0
|
||
|
|
R1 -7134 1.328125 0.4322916666666667 0
|
||
|
|
S0 -10007 6.0 2.0 5.434166666666666 1.6122916666666667 0 6.2 2.1666666666666665 Slave
|
||
|
|
S1_a 0 5.0 3.1666666666666665 3.7883333333333327 3.3622916666666662 0 5.2 3.3333333333333335 Master,Slave
|
||
|
|
S1_b 0 7.0 3.1666666666666665 5.694583333333333 3.3622916666666662 0 7.2 3.3333333333333335 Master,Slave
|
||
|
|
S2_b 0 7.0 4.833333333333333 4.944583333333333 4.528958333333333 0 7.2 5.0 Master,Slave
|
||
|
|
S3 0 6.0 6.0 5.434166666666666 6.195625 0 6.2 6.166666666666667 Slave
|
||
|
|
S2_a 0 5.0 4.833333333333333 4.454999999999999 4.778958333333333 0 5.2 5.0 Master,Slave
|
||
|
|
Richiesta -10008 1.8333333333333333 1.8333333333333333 0.6425000000000001 2.1122916666666667 0 2.033333333333333 2.0 Master
|
||
|
|
Attesa 0 1.8333333333333333 3.6666666666666665 0.9029166666666667 3.9456249999999997 0 2.033333333333333 3.8333333333333335 Master
|
||
|
|
Elabora 0 1.8333333333333333 5.333333333333333 0.8091666666666667 5.612291666666667 0 2.033333333333333 5.5 Master
|
||
|
|
Buffer_input 0 3.6666666666666665 2.6666666666666665 2.3299999999999996 2.278958333333333 0 3.8666666666666667 2.8333333333333335 Master
|
||
|
|
Buffer_output 0 3.6666666666666665 5.5 2.2362499999999996 5.695625 0 3.8666666666666667 5.666666666666667 Master
|
||
|
|
T3 1.0 0 0 2 0 6.0 2.6666666666666665 5.645833333333333 2.5572916666666665 6.083333333333333 2.734375 0 5.28125 0.8177083333333334 [(d(m) = M1 and id = ID1) or (d(m) = M2 and id = ID2)]
|
||
|
|
1 1 0 0 0.000000 0.000000 <id>
|
||
|
|
1 10 0 0 0.000000 0.000000 <m>
|
||
|
|
2
|
||
|
|
1 2 0 0 0.000000 0.000000 <m,id>
|
||
|
|
1 3 0 0 0.000000 0.000000 <m,id>
|
||
|
|
0
|
||
|
|
T4 1.0 0 0 1 0 5.0 4.0 5.3125 4.057291666666667 5.083333333333333 4.067708333333333 0
|
||
|
|
1 2 0 0 0.000000 0.000000 <m,id>
|
||
|
|
1
|
||
|
|
1 6 0 0 0.000000 0.000000 <m,id>
|
||
|
|
0
|
||
|
|
T5 1.0 0 0 1 0 7.0 4.0 6.645833333333333 4.057291666666667 7.083333333333333 4.067708333333333 0
|
||
|
|
1 3 0 0 0.000000 0.000000 <m,id>
|
||
|
|
1
|
||
|
|
1 4 0 0 0.000000 0.000000 <m,id>
|
||
|
|
0
|
||
|
|
T6 1.0 0 0 2 0 6.0 5.5 5.979166666666667 5.223958333333333 6.083333333333333 5.567708333333333 0
|
||
|
|
1 6 1 0 0.000000 0.000000 <m,id>
|
||
|
|
6.0 5.416666666666667
|
||
|
|
1 4 0 0 0.000000 0.000000 <m,id>
|
||
|
|
2
|
||
|
|
1 5 0 0 0.000000 0.000000 <id>
|
||
|
|
1 11 3 0 0.000000 0.000000 <m>
|
||
|
|
4.666666666666667 5.5
|
||
|
|
4.666666666666667 5.5
|
||
|
|
4.75 5.5
|
||
|
|
0
|
||
|
|
Reset_s 1.0 0 0 1 1 6.833333333333333 2.0 6.640625 1.8072916666666667 6.916666666666667 2.0677083333333335 0
|
||
|
|
1 5 2 0 0.000000 0.000000 <id>
|
||
|
|
8.0 2.0833333333333335
|
||
|
|
8.0 6.0
|
||
|
|
1
|
||
|
|
1 1 0 0 0.000000 0.000000 <id>
|
||
|
|
0
|
||
|
|
T1 1.0 0 0 1 0 1.8333333333333333 2.6666666666666665 1.9791666666666667 2.390625 1.9166666666666667 2.734375 0
|
||
|
|
1 7 0 0 0.000000 0.000000 <m>
|
||
|
|
2
|
||
|
|
1 8 1 0 0.000000 0.000000 <m>
|
||
|
|
1.8333333333333333 3.1666666666666665
|
||
|
|
1 10 0 0 0.000000 0.000000 <m>
|
||
|
|
0
|
||
|
|
T2 1.0 0 0 2 0 1.8333333333333333 4.5 1.8125 4.307291666666667 1.9166666666666667 4.567708333333333 0
|
||
|
|
1 8 0 0 0.000000 0.000000 <m>
|
||
|
|
1 11 1 0 0.000000 0.000000 <m>
|
||
|
|
3.6666666666666665 4.5
|
||
|
|
1
|
||
|
|
1 9 0 0 0.000000 0.000000 <m>
|
||
|
|
0
|
||
|
|
T0 1.0 0 0 1 1 0.8333333333333334 5.333333333333333 0.8125 5.140625 0.9166666666666666 5.401041666666667 0
|
||
|
|
1 9 0 0 0.000000 0.000000 <m>
|
||
|
|
1
|
||
|
|
1 7 1 0 0.000000 0.000000 <m>
|
||
|
|
0.8333333333333334 1.8333333333333333
|
||
|
|
0
|