Parametric disjunctive timed networks

Étienne André, Swen Jacobs, Engel Lefaucheux

We consider distributed systems with an arbitrary number of processes, modelled by timed automata that communicate through location guards: a process can take a guarded transition…