@INCOLLECTION{CGQ95a, author={G. Cohen and S. Gaubert and J.P. Quadrat}, title={Algebraic System Analysis of Timed {P}etri Nets}, booktitle={Idempotency}, editor={J. Gunawardena}, series={Publications of the Newton Institute}, publisher={Cambridge University Press}, note={(to appear in 1996)}, year={1995}, }

We show that Continuous Timed Petri Nets (CTPN) can be modeled by generalized polynomial recurrent equations in the (min,+) semiring. We establish a correspondence between CTPN and Markov decision processes. We survey the basic system theoretical results available: behavioral (input-output) properties, algebraic representations, asymptotic regime. A particular attention is paid to the subclass of stable systems (with asymptotic linear growth).