Performance evaluation of systems using nets-Reference-Cited by-同舟云学术

Performance evaluation of systems using nets

Published:1980 Issue: Volume: Page:307-319
ISSN:0302-9743
Container-title:Net Theory and Applications
language:
Short-container-title:

Author:

Sifakis J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10001-6_30.pdf

Reference4 articles.

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.

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs;Discrete Event Dynamic Systems;2024-04-08

2. Time in Cause-Effect Structures;Computing in Cause-Effect Structures;2021-11-28

3. Scheduling of a class of partial routing FMS in uncertain environments with beam search;Journal of Intelligent Manufacturing;2021-08-25

4. Array Password Authentication Using Inhibitor Arc Generating Array Language and Colored Petri Net Generating Square Arrays of Side 2k;Information and Communication Technology for Intelligent Systems;2020-10-30

5. Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking;IEICE Transactions on Information and Systems;2020-03-01