In: Proc. 41st IEEE Conference on Decision and Control, Las Vegas, USA, pages 781-786. December 2002.
Abstract: 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. This 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.
Keywords: liveness; autonomous and timed continuous Petri nets.