Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R.M. Karp, R.E. Miller (1966) Properties of a model for parallel computations. SIAM J. Appl. Math. 14, 1390–1411.
J. Sifakis (1976) Thèse de Docteur-Ingénieur, Grenoble.
C.V. Ramamoorthy, G.S. Ho (1980) Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Trans. Software Engrg. SE-6, 440–449.
E. Gelenbe, I. Mitrani (1980) Analysis and Synthesis of Computer System Models, Academic Press, New York.
J.P. Buzen, P.J. Denning (1980) Measuring and calculating queue length distributions. Computer, IEEE, 13.4, 33–44.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 D. Reidel Publishing Company
About this paper
Cite this paper
Gelenbe, E. (1982). Stationary Properties of Timed Vector Addition Systems. In: Dempster, M.A.H., Lenstra, J.K., Rinnooy Kan, A.H.G. (eds) Deterministic and Stochastic Scheduling. NATO Advanced Study Institutes Series, vol 84. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-7801-0_12
Download citation
DOI: https://doi.org/10.1007/978-94-009-7801-0_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-7803-4
Online ISBN: 978-94-009-7801-0
eBook Packages: Springer Book Archive