Tarasyuk, Igor’ Valerievich Performance evaluation in stochastic process algebra dtsdPBC. (English) Zbl 1482.68156 Sib. Èlektron. Mat. Izv. 18, No. 2, 1105-1145 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 60J10 60J20 60K15 68M20 68Q55 PDFBibTeX XMLCite \textit{I. V. Tarasyuk}, Sib. Èlektron. Mat. Izv. 18, No. 2, 1105--1145 (2021; Zbl 1482.68156) Full Text: DOI
Bernardi, Simona; Mahulea, Cristian; Albareda, Jorge Toward a decision support system for the clinical pathways assessment. (English) Zbl 1426.91059 Discrete Event Dyn. Syst. 29, No. 1, 91-125 (2019). MSC: 91B06 92C50 68Q85 PDFBibTeX XMLCite \textit{S. Bernardi} et al., Discrete Event Dyn. Syst. 29, No. 1, 91--125 (2019; Zbl 1426.91059) Full Text: DOI Link
German, Reinhard Non-Markovian analysis. (English) Zbl 0990.68504 Brinksma, Ed (ed.) et al., Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000. Revised lectures. Berlin: Springer. Lect. Notes Comput. Sci. 2090, 156-182 (2001). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{R. German}, Lect. Notes Comput. Sci. 2090, 156--182 (2001; Zbl 0990.68504) Full Text: Link
Heindl, A.; German, R. Performance modeling of IEEE 802. 11 wireless LANs with stochastic Petri nets. (English) Zbl 1013.68009 Perform. Eval. 44, No. 1-4, 139-164 (2001). MSC: 68M10 68Q85 PDFBibTeX XMLCite \textit{A. Heindl} and \textit{R. German}, Perform. Eval. 44, No. 1--4, 139--164 (2001; Zbl 1013.68009) Full Text: DOI
Tuffin, Bruno; Trivedi, Kishor S. Implementation of importance splitting techniques in stochastic Petri net package. (English) Zbl 0970.68709 Haverkort, Boudewijn R. (ed.) et al., Computer performance evaluation. Modelling techniques and tools. 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1786, 216-229 (2000). MSC: 68U99 68M20 68Q85 PDFBibTeX XMLCite \textit{B. Tuffin} and \textit{K. S. Trivedi}, Lect. Notes Comput. Sci. 1786, 216--229 (2000; Zbl 0970.68709)
Zimmermann, Armin; Freiheit, Jörn; German, Reinhard; Hommel, Günter Petri net modelling and performability evaluation with TimeNET 3. 0. (English) Zbl 0970.68665 Haverkort, Boudewijn R. (ed.) et al., Computer performance evaluation. Modelling techniques and tools. 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1786, 188-202 (2000). MSC: 68U99 68M20 68Q85 PDFBibTeX XMLCite \textit{A. Zimmermann} et al., Lect. Notes Comput. Sci. 1786, 188--202 (2000; Zbl 0970.68665)
Horváth, András; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós Analysis and evaluation of non-Markovian stochastic Petri nets. (English) Zbl 0967.68114 Haverkort, Boudewijn R. (ed.) et al., Computer performance evaluation. Modelling techniques and tools. 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1786, 171-187 (2000). MSC: 68Q85 68M20 PDFBibTeX XMLCite \textit{A. Horváth} et al., Lect. Notes Comput. Sci. 1786, 171--187 (2000; Zbl 0967.68114)
Yuan, Jun; Liu, Lilin; Dong, Zhanqiu Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks. (English) Zbl 1418.68010 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 536-548 (1996). MSC: 68M10 68M20 68Q85 PDFBibTeX XMLCite \textit{J. Yuan} et al., Lect. Notes Comput. Sci. 1091, 536--548 (1996; Zbl 1418.68010) Full Text: DOI