×

Found 11 Documents (Results 1–11)

MaRDiGraS: simplified building of reachability graphs on large clusters. (English) Zbl 1407.68346

Abdulla, Parosh Aziz (ed.) et al., Reachability problems. 7th international workshop, RP 2013, Uppsala, Sweden, September 24–26, 2013 Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8169, 83-95 (2013).
PDFBibTeX XMLCite
Full Text: DOI

On the applicability of stochastic Petri nets for analysis of multiserver retrial systems with different vacation policies. (English) Zbl 1183.68040

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 289-302 (2008).
MSC:  68M10 68Q85
PDFBibTeX XMLCite
Full Text: DOI

The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation. (English) Zbl 1272.68174

Ehrig, H. (ed.) et al., Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 – October 2, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 127, No. 2, 45-60 (2005).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: Link

Compositional modeling of complex systems: Contact center scenarios in OsMoSys. (English) Zbl 1094.68583

Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 177-196 (2004).
MSC:  68Q85 93A30
PDFBibTeX XMLCite
Full Text: DOI

Performance analysis of retrial queueing systems using generalized stochastic Petri nets. (English) Zbl 1270.68051

Asarin, Eugene (ed.) et al., TPTS’2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 6, 86-100 (2002).
MSC:  68M20 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Validation of GSPN and SWN models through the PROD tool. (English) Zbl 1047.68519

Field, Tony (ed.) et al., Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14–17, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43539-5). Lect. Notes Comput. Sci. 2324, 131-140 (2002).
MSC:  68M20 68Q85
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software