mirela / scp

Go to a project
Toggle navigation Toggle navigation pinning
Johan ARCILE
29cbcd30 1 parent 20b01a40

Upload new file

Inline Side-by-side
Showing 1 changed file with 131 additions and 0 deletions
1 +//This file was generated from (Academic) UPPAAL 4.1.18 (rev. 5444), November 2013
2 +
3 +/*
4 +
5 +*/
6 +E<> S1.S
7 +
8 +/*
9 +
10 +*/
11 +S1.S --> !S1.S
12 +
13 +/*
14 +
15 +*/
16 +E<> S2.S
17 +
18 +/*
19 +
20 +*/
21 +S2.S --> !S2.S
22 +
23 +/*
24 +
25 +*/
26 +E<> S2.U
27 +
28 +/*
29 +
30 +*/
31 +S2.U --> !S2.U
32 +
33 +/*
34 +
35 +*/
36 +E<> S3.S
37 +
38 +/*
39 +
40 +*/
41 +S3.S --> !S3.S
42 +
43 +/*
44 +
45 +*/
46 +E<> S3.U
47 +
48 +/*
49 +
50 +*/
51 +S3.U --> !S3.U
52 +
53 +/*
54 +
55 +*/
56 +E<> F1.W
57 +
58 +/*
59 +
60 +*/
61 +F1.W --> !F1.W
62 +
63 +/*
64 +
65 +*/
66 +E<> F1.S
67 +
68 +/*
69 +
70 +*/
71 +F1.S -->F1.S
72 +
73 +/*
74 +
75 +*/
76 +E<> F2.W
77 +
78 +/*
79 +
80 +*/
81 +F2.W --> !F2.W
82 +
83 +/*
84 +
85 +*/
86 +E<> F2.S
87 +
88 +/*
89 +
90 +*/
91 +F2.S --> !F2.S
92 +
93 +/*
94 +
95 +*/
96 +E<> B.W
97 +
98 +/*
99 +
100 +*/
101 +B.W --> !B.W
102 +
103 +/*
104 +
105 +*/
106 +E<> B.A
107 +
108 +/*
109 +
110 +*/
111 +B.A --> !B.A
112 +
113 +/*
114 +
115 +*/
116 +E<> B.B
117 +
118 +/*
119 +
120 +*/
121 +B.B --> !B.B
122 +
123 +/*
124 +
125 +*/
126 +E<> B.S
127 +
128 +/*
129 +
130 +*/
131 +B.S --> !B.S