Analysis of P-time event graphs in (max,+) and (min,+) semirings

Abstract

In this paper, we investigate the behaviour of P-time event graphs, a class of time Petri nets with non-deterministic timing of places. Our approach is based on combined linear descriptions in both (max,+) and (min,+) semirings, where lower bounds on the state vector are (max,+)-linear and upper bounds are (min,+)-linear. We present necessary and sufficient conditions for the existence of extremal (fastest and slowest) periodic trajectories that are derived from the new description. The results are illustrated by a realistic example of an electroplating process.