UniTO/anno3/vpc/consegne/2.b/ReteE-RG of CPN.solution/CPN.net

108 lines
4.2 KiB
Text
Raw Permalink Normal View History

2020-05-05 15:06:01 +02:00
|0|
|
f 4 15 0 12 0 0 0
N -7134 6.135416666666667 1.0989583333333333 0
R1 -7134 6.494791666666667 1.0989583333333333 0
R2 -7134 6.828125 1.0989583333333333 0
n -7134 7.296875 1.0989583333333333 0
S0 -2 10.0 2.5 9.96125 2.1122916666666667 0
R0 -3 13.5 2.5 13.450833333333334 2.1122916666666667 0
S1_a 0 9.0 3.5 8.205 3.6956249999999997 0 9.200000000000001 3.6666666666666665 Master
S1_b 0 11.0 3.6666666666666665 10.194583333333334 3.8622916666666662 0 11.200000000000001 3.8333333333333335 Master
R_1 0 13.5 4.0 13.257083333333334 3.9456249999999997 0 13.700000000000001 4.166666666666667 Master
R_2 0 13.5 5.333333333333333 13.340416666666668 5.278958333333333 0 13.700000000000001 5.5 Master
R3 0 13.5 6.666666666666667 13.450833333333334 6.862291666666667 0
S2_b 0 11.0 5.333333333333333 9.444583333333332 5.028958333333333 0 11.200000000000001 5.5 Master
S3 0 10.0 6.5 9.96125 6.695625 0
S2_a 0 9.0 5.333333333333333 8.955 5.278958333333333 0 9.200000000000001 5.5 Master
Richiesta -10003 5.0 2.3333333333333335 3.809166666666666 2.6122916666666667 0 5.2 2.5 Master
Attesa 0 5.0 4.166666666666667 4.069583333333333 4.445625 0 5.2 4.333333333333333 Master
Elabora 0 5.0 5.833333333333333 3.9758333333333327 6.112291666666667 0 5.2 6.0 Master
Buffer_input 0 6.833333333333333 3.1666666666666665 5.496666666666666 2.778958333333333 0 7.033333333333334 3.3333333333333335 Master
Buffer_output 0 6.833333333333333 6.0 5.402916666666666 6.195625 0 7.033333333333334 6.166666666666667 Master
T3 1.0 0 0 2 0 10.0 3.1666666666666665 9.479166666666666 3.2239583333333335 10.083333333333334 3.234375 0
1 1 0 0
1 14 0 0 0.000000 0.000000 <m>
2
1 3 0 0 0.000000 0.000000 <m>
1 4 0 0 0.000000 0.000000 <m>
0
T4 1.0 0 0 1 0 9.0 4.5 9.3125 4.557291666666667 9.083333333333334 4.567708333333333 0
1 3 0 0 0.000000 0.000000 <m>
1
1 10 0 0 0.000000 0.000000 <m>
0
T5 1.0 0 0 1 0 11.0 4.5 10.645833333333334 4.557291666666667 11.083333333333334 4.567708333333333 0
1 4 0 0 0.000000 0.000000 <m>
1
1 8 0 0 0.000000 0.000000 <m>
0
T6 1.0 0 0 2 0 10.0 6.0 9.979166666666666 5.723958333333333 10.083333333333334 6.067708333333333 0
1 10 1 0 0.000000 0.000000 <m>
10.0 5.916666666666667
1 8 0 0 0.000000 0.000000 <m>
2
1 9 0 0
1 15 3 0 0.000000 0.000000 <m>
8.666666666666666 6.0
8.666666666666666 6.0
8.75 6.0
0
T9 1.0 0 0 2 0 13.5 3.1666666666666665 13.8125 3.2239583333333335 13.583333333333334 3.234375 0
1 2 0 0
1 14 3 0 0.000000 0.000000 <m>
12.5 3.1666666666666665
12.5 1.8333333333333333
8.083333333333334 1.8333333333333333
1
1 5 0 0 0.000000 0.000000 <m>
0
T8 1.0 0 0 1 0 13.5 4.666666666666667 13.895833333333334 4.723958333333333 13.583333333333334 4.734375 0
1 5 0 0 0.000000 0.000000 <m>
1
1 6 0 0 0.000000 0.000000 <m>
0
T7 1.0 0 0 1 0 13.5 6.0 13.8125 6.057291666666667 13.583333333333334 6.067708333333333 0
1 6 0 0 0.000000 0.000000 <m>
2
1 7 0 0
1 15 3 0 0.000000 0.000000 <m>
12.75 6.0
12.75 7.166666666666667
6.833333333333333 7.166666666666667
0
Reset_s 1.0 0 0 1 1 10.833333333333334 2.5 10.640625 2.3072916666666665 10.916666666666666 2.5677083333333335 0
1 9 2 0
11.833333333333334 2.5
11.833333333333334 6.416666666666667
1
1 1 0 0
0
Reset_r 1.0 0 0 1 1 14.333333333333334 2.5 14.140625 2.2239583333333335 14.416666666666666 2.5677083333333335 0
1 7 2 0
14.833333333333334 2.5
14.833333333333334 6.666666666666667
1
1 2 0 0
0
T1 1.0 0 0 1 0 5.0 3.1666666666666665 5.145833333333333 2.890625 5.083333333333333 3.234375 0
1 11 0 0 0.000000 0.000000 <m>
2
1 12 1 0 0.000000 0.000000 <m>
5.0 3.6666666666666665
1 14 0 0 0.000000 0.000000 <m>
0
T2 1.0 0 0 2 0 5.0 5.0 4.979166666666667 4.807291666666667 5.083333333333333 5.067708333333333 0
1 12 0 0 0.000000 0.000000 <m>
1 15 1 0 0.000000 0.000000 <m>
6.833333333333333 5.0
1
1 13 0 0 0.000000 0.000000 <m>
0
T0 1.0 0 0 1 1 4.0 5.833333333333333 3.9791666666666665 5.640625 4.083333333333333 5.901041666666667 0
1 13 0 0 0.000000 0.000000 <m>
1
1 11 1 0 0.000000 0.000000 <m>
4.0 2.3333333333333335
0