×

Found 8 Documents (Results 1–8)

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
Full Text: Link

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

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

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

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software