On the nonlinear dynamic behavior of unrelaxed timed Petri nets in idempotent semirings

This paper deals with the analysis of dynamic behavior of Timed Event Graphs with Multipliers. These graphs are an extension of weighted T-systems studied in the Petri net literature. The purpose of this analyse is to extract the performances of a system by analyzing the dynamic of state associated of each transition of graph. For that, we determine the mathematical model governing the dynamic evolution of this type of graph, in a dioid of formal power series based on operators.