Abstract
This paper presents a method for computing firing frequencies corresponding to steady state functionings of Timed Place-Transition Nets (TPIN). Two different models of TPIN's — the one with delays associated to its places and the other with delays associated to its transitions — are compared and proved to be equivalent. Given a TPIN it is provided a set of relations established between its initial marking, the firing frequences of its transitions and the delays associated to its places. Furthermore, for given initial marking and delays it is shown that maximal firing frequencies can be computed as solutions of a set of n linear equations, where n is the number of places of the TPIN. The presented results are illustrated by two applications.
Preview
Unable to display preview. Download preview PDF.
References
RAMCHANDANI C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, M.I.T., september 1973.
SIFAKIS J.: Use of Petri nets for performance evaluation. in Measuring Modelling and Evaluating Computer systems, eds H.Beilner and E.Gelenbe, pp. 75/93, North-Holland Publ.Co., 1977.
MERLIN Ph.M. and FARBER D.J.: Recoverability of communication protocols, Implications of a theoretical study. IEEE Trans. on Comm., pp. 1036/1043, september 1976.
HAN Y.M.: Performance evaluation of a digital system using a Petri net-like approach. Proc. National Electronics Conf., pp. 166/172, Chicago, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sifakis, J. (1980). Performance evaluation of systems using nets. In: Brauer, W. (eds) Net Theory and Applications. Lecture Notes in Computer Science, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10001-6_30
Download citation
DOI: https://doi.org/10.1007/3-540-10001-6_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10001-0
Online ISBN: 978-3-540-39322-1
eBook Packages: Springer Book Archive