Performance evaluation of systems using nets

  • J. Sifakis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 84)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    RAMCHANDANI C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, M.I.T., september 1973.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    HAN Y.M.: Performance evaluation of a digital system using a Petri net-like approach. Proc. National Electronics Conf., pp. 166/172, Chicago, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • J. Sifakis
    • 1
  1. 1.Laboratoire IMAGGrenoble cédexFrance

Personalised recommendations