Stationary Properties of Timed Vector Addition Systems

Vector addition systems, initially introduced by Karp and Miller, have been very successfully used for the description of complex concurrent behaviour. These models are essentially the same as Petri nets. Our purpose is to develop a quantitative “measurement” oriented theory of such systems in order to complement the existing qualitative theory. This paper is a first step in that direction.