Avoiding Shared Clocks in Networks of Timed Automata

Sandie Balaguer, Thomas Chatain

Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks, i.e. transitions o…