Author:
Gilmore Stephen,Hillston Jane,Kloul Leı̈la,Ribaudo Marina
Subject
Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software
Reference31 articles.
1. M. Ajmone Marsan, A. Bobbio, S. Donatelli, Petri nets in performance analysis: an introduction, in: W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol. 1491, Springer, Berlin, 1998, pp. 211–256.
2. F. Bause, Queueing Petri nets—a formalism for the combined qualitative and quantitative analysis of systems, in: Proceedings of the Fifth International Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993, pp. 14–23.
3. M. Becker, H. Szczerbicka, PNiQ: Integration of queuing networks in generalized stochastic Petri nets, IEE Proceedings—Software, vol. 146, No. 1, pp. 27–33, February 1999, Special Issue of the Proceedings of the Fourteenth UK Performance Engineering Workshop.
4. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time;Bernardo;Theoret. Comput. Sci.,1998
5. L. Brodo, S. Gilmore, J. Hillston, C. Priami, A stochastic π-calculus semantics for PEPA nets, in: Proceedings of the Workshop on Process Algebras and Stochastically Timed Activities, LFCS, The University of Edinburgh, June 2002, pp. 1–17.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献