Performance evaluation of systems using nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 84 LNCS, Issue , 1980, Pages 307-319

  Sifakis, J ^a  

^a IMAG CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FIRING FREQUENCY; INITIAL MARKING; PLACE TRANSITION NET; STEADY STATE;

COMPUTATION THEORY;

EID: 85014512742     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-10001-6_30     Document Type: Conference Paper

References (4)

1. RAMCHANDANI C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, M.I.T., september 1973.
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.
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.
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.