On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets

Liveness analysis of autonomous and timed continuous systems is a difficult problem. The subclass of mono-T-semiflow systems offers in practice an interesting modeling power. For this subclass, the equivalence between liveness and deadlock-freeness allows a more satisfactory treatment. The paper focuses on the interleaving of autonomous and timed properties of continuous systems. This allows a partial characterization of structural liveness for autonomous nets based on the analysis of timed systems, generalizing the well-known rank theorem.