| Uppaal-sources for Example 4.38 (Fig. 4.7) on page 171f |
system model
variant 1 (location q1 is urgent) variant 2 (location q2 is committed) variant 3 (channel b is urgent) the queries used in this example |
| Uppaal-sources for property (6.9) in Section 6.4.1 on page 267 |
system model
the query used in this example |
| Uppaal-sources for property (6.10) in Section 6.4.1 on page 269 |
system model
the query used in this example |
| Uppaal-sources for property (6.11) in Section 6.4.1 on page 269 |
system model
the query used in this example |
| Uppaal-sources for property (6.12) in Section 6.4.1 on page 271 |
system model
the query used in this example |
| Uppaal-sources for properties (6.13) resp. (6.14) in Section 6.4.3 on page 275 |
Safety:
system model the query used in this example |
Utility:
system model the query used in this example |
| Uppaal-sources for property (6.15) resp. (6.16) in Section 6.4.4 on page 283 |
Safety:
system model the query used in this example |
Utility:
system model the query used in this example |
