Distributed Monitoring Based on -Time Petri Nets and Chronicle Recognition of the Tunisian Railway Network

Table 2

The values of the static intervals ISi and the expected sojourn time of the token in the place .

	ISi	qei
1	IS1 = [60, inf]	99
2	IS2 = [230, 250]	236
3	IS3 = [60, 120]	80
4	IS4 = [172, 188]	177
5	IS5 = [60, 120]	80
6	IS6 = [174, 186]	178
7	IS7 = [60, 120]	80
8	IS8 = [173, 187]	177
9	IS9 = [60, 120]	80
10	IS10 = [168, 192]	176
12	IS12 = [60, 120]	80
13	IS13 = [170, 190]	176
15	IS15 = [60, 120]	80
16	IS16 = [227, 253]	235
17	IS17 = [60, 120]	80
18	IS18 = [111, 129]	117
19	IS19 = [60, 120]	80
20	IS20 = [168, 192]	176
21	IS21 = [60, 120]	80
22	IS22 = [112, 128]	117
23	IS23 = [60, 120]	80
24	IS24 = [110, 130]	116
25	IS25 = [60, 120]	80
26	IS26 = [113, 127]	117
27	IS27 = [60, 120]	80
28	IS28 = [107, 133]	115
29	IS29 = [60, 120]	80
30	IS30 = [109, 131]	116
31	IS31 = [60, 120]	80
32	IS32 = [110, 130]	116
33	IS33 = [60, 120]	80
34	IS34 = [172, 188]	177
35	IS35 = [60, 120]	80
36	IS36 = [165, 195]	175
37	IS37 = [60, 120]	80
38	IS38 = [106, 134]	115
39	IS39 = [60, 120]	80
40	IS40 = [110, 130]	116
41	IS41 = [60, 120]	80
42	IS42 = [110, 130]	116
43	IS43 = [60, 120]	80
44	IS44 = [832, 848]	837
45	IS45 = [60, inf]	78
46	IS46 = [233, 247]	237
47	IS47 = [60, 120]	80
48	IS48 = [351, 369]	357
49	IS49 = [60, 120]	80
50	IS50 = [108, 132]	116
51	IS51 = [60, 120]	80
52	IS52 = [166, 194]	175
53	IS53 = [60, 120]	80
54	IS54 = [230, 250]	236
55	IS55 = [60, 120]	80
56	IS56 = [173, 187]	177
57	IS57 = [60, 120]	80
58	IS58 = [171, 189]	177
59	IS59 = [60, 120]	80
60	IS60 = [170, 190]	176
61	IS61 = [60, 120]	80
62	IS62 = [113, 127]	117
63	IS63 = [60, inf]	71
64	IS64 = [110, 130]	116
65	IS65 = [60, 120]	80
66	IS66 = [168, 192]	176
67	IS67 = [60, 120]	80
68	IS68 = [166, 194]	175
69	IS69 = [60, 120]	80
70	IS70 = [167, 193]	175
71	IS71 = [60, 120]	80
72	IS72 = [233, 247]	237
73	IS73 = [60, 120]	80
74	IS74 = [176, 184]	178
75	IS75 = [60, 120]	80
76	IS76 = [110, 130]	116
77	IS77 = [60, 120]	80
78	IS78 = [349, 371]	356
79	IS79 = [60, 120]	80
80	IS80 = [228, 252]	236
81	IS81 = [832, 848]	837
82	IS82 = [60, 120]	80
83	IS83 = [111, 129]	117
84	IS84 = [60, 120]	80
85	IS85 = [110, 130]	116
86	IS86 = [60, 120]	80
87	IS87 = [107, 133]	115
88	IS88 = [60, 120]	80
89	IS89 = [173, 187]	177
90	IS90 = [60, 120]	80
91	IS91 = [170, 190]	176
92	IS92 = [60, 120]	80
93	IS93 = [105, 135]	115
94	IS94 = [60, 120]	80
95	IS95 = [115, 125]	118
96	IS96 = [60, 120]	80
97	IS97 = [109, 131]	116
98	IS98 = [60, 120]	80
99	IS99 = [108, 132]	116
100	IS100 = [60, 120]	80
101	IS101 = [108, 132]	116
102	IS102 = [60, 120]	80
103	IS103 = [105, 135]	115
104	IS104 = [60, 120]	80
105	IS105 = [174, 186]	178
106	IS106 = [60, 120]	80
107	IS107 = [108, 132]	116
108	IS108 = [60, 120]	80
109	IS109 = [230, 250]	236
110	IS110 = [171, 189]	177
111	IS111 = [167, 193]	175
112	IS112 = [175, 185]	178
113	IS113 = [60, 120]	80
114	IS114 = [172, 188]	177
115	IS115 = [60, 120]	80
116	IS116 = [170, 190]	176
117	IS117 = [60, 120]	80
118	IS118 = [233, 247]	237