Linear system theory for discrete event systems

In this paper, we pursue the Analogy between classical linear System Theory and a new "linear" Theory for Discrete-Event Dynamic Systems which has been introduced for the first time in [3] and which is based on the algebra of "dioids". We first define the particular class of timed Petri nets that can be described by "linear" recurrent equations and then develop concepts such as transfer matrix representations of such systems, stability, observability, controllability, feed-back stabilization, realization of transfer matrices etc...