UniTO/anno3/vpc/consegne/2.b/ReteF-RG of CPN.solution/CPN.net
2024-10-29 09:11:05 +01:00

72 lines
3.3 KiB
Text
Executable file

|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