Liveness and acceptable trajectories in P-time Event Graphs

Abstract

This paper presents a modelling and an analysis of P-time event graphs in the field of (max, +) algebra. Under the hypothesis of the logical liveness of the event graph, temporal liveness is defined by the existence of a trajectory. Based on a particular series of matrices, the extremal trajectories starting from an initial interval are deduced. The liveness of the static part and dynamic part are analysed