Bellettini, Carlo; Camilli, Matteo; Capra, Lorenzo; Monga, Mattia 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). MSC: 68R10 68M11 68M14 68Q85 68U35 PDFBibTeX XMLCite \textit{C. Bellettini} et al., Lect. Notes Comput. Sci. 8169, 83--95 (2013; Zbl 1407.68346) Full Text: DOI
Cordero, Francesca; Horváth, András; Manini, Daniele; Napione, Lucia; De Pierro, Massimiliano; Pavan, Simona; Picco, Andrea; Veglio, Andrea; Sereno, Matteo; Bussolino, Federico; Balbo, Gianfranco Simplification of a complex signal transduction model using invariants and flow equivalent servers. (English) Zbl 1230.92020 Theor. Comput. Sci. 412, No. 43, 6036-6057 (2011). MSC: 92C42 93A30 92C50 68Q85 PDFBibTeX XMLCite \textit{F. Cordero} et al., Theor. Comput. Sci. 412, No. 43, 6036--6057 (2011; Zbl 1230.92020) Full Text: DOI
Gharbi, Nawel; Dutheillet, Claude; Ioualalen, Malika Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems. (English) Zbl 1165.90361 Math. Comput. Modelling 49, No. 7-8, 1436-1448 (2009). MSC: 90B15 68Q85 PDFBibTeX XMLCite \textit{N. Gharbi} et al., Math. Comput. Modelling 49, No. 7--8, 1436--1448 (2009; Zbl 1165.90361) Full Text: DOI
Gharbi, Nawel 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 \textit{N. Gharbi}, Lect. Notes Comput. Sci. 5311, 289--302 (2008; Zbl 1183.68040) Full Text: DOI
Codetta-Raiteri, Daniele 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 \textit{D. Codetta-Raiteri}, Electron. Notes Theor. Comput. Sci. 127, No. 2, 45--60 (2005; Zbl 1272.68174) Full Text: Link
Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria 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 \textit{G. Franceschinis} et al., Lect. Notes Comput. Sci. 3099, 177--196 (2004; Zbl 1094.68583) Full Text: DOI
Gharbi, Nawel; Ioualalen, Malika 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 \textit{N. Gharbi} and \textit{M. Ioualalen}, Electron. Notes Theor. Comput. Sci. 65, No. 6, 86--100 (2002; Zbl 1270.68051) Full Text: DOI
Donatelli, Susanna; Ferro, Liliana 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 \textit{S. Donatelli} and \textit{L. Ferro}, Lect. Notes Comput. Sci. 2324, 131--140 (2002; Zbl 1047.68519) Full Text: Link
Salimifard, Khodakaram; Wright, Mike Petri net-based modelling of workflow systems: An overview. (English) Zbl 0984.90005 Eur. J. Oper. Res. 134, No. 3, 664-676 (2001). MSC: 90B10 68Q85 93C65 PDFBibTeX XMLCite \textit{K. Salimifard} and \textit{M. Wright}, Eur. J. Oper. Res. 134, No. 3, 664--676 (2001; Zbl 0984.90005) Full Text: DOI
Reid, D. J. Constructing Petri net models using genetic search. (English) Zbl 0995.68508 Math. Comput. Modelling 27, No. 8, 85-103 (1998). MSC: 68T05 68Q85 PDFBibTeX XMLCite \textit{D. J. Reid}, Math. Comput. Modelling 27, No. 8, 85--103 (1998; Zbl 0995.68508) Full Text: DOI
Lindemann, Christoph An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models. (English) Zbl 0785.68008 Perform. Eval. 18, No. 1, 79-95 (1993). Reviewer: C.Lindemann MSC: 68M20 68Q85 65C99 PDFBibTeX XMLCite \textit{C. Lindemann}, Perform. Eval. 18, No. 1, 79--95 (1993; Zbl 0785.68008) Full Text: DOI