In this paper,we present a partial-order reduction method for timed ystems based n a local-time semantics for netwroks of timed autoamta.The main idea is to remove the implicit clock synchronization between processes in a netowrk yb letting local clocks in each process advance independently of clocks in other processes,and by requrieing that two processes resynchronize their local time scales whenever they communicate.
展开▼