Hakmi, Sedda; Lekadir, Ouiza; Aissani, Djamil Analysis of priority queue with repeated attempts using generalized stochastic Petri nets. (English) Zbl 1449.68015 Miskolc Math. Notes 20, No. 2, 925-939 (2019). MSC: 68M20 60J20 68Q85 90B22 PDF BibTeX XML Cite \textit{S. Hakmi} et al., Miskolc Math. Notes 20, No. 2, 925--939 (2019; Zbl 1449.68015) Full Text: DOI
Boutoumi, Bachira; Gharbi, Nawel Two thresholds working vacation policy for improving energy consumption and latency in WSNs. (English) Zbl 1397.90106 Takahashi, Yutaka (ed.) et al., Queueing theory and network applications. 13th international conference, QTNA 2018, Tsukuba, Japan, July 25–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-93735-9/pbk; 978-3-319-93736-6/ebook). Lecture Notes in Computer Science 10932, 168-181 (2018). MSC: 90B22 60K25 90B18 PDF BibTeX XML Cite \textit{B. Boutoumi} and \textit{N. Gharbi}, Lect. Notes Comput. Sci. 10932, 168--181 (2018; Zbl 1397.90106) Full Text: DOI
Li, Ran; Reveliotis, Spyros Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. (English) Zbl 1346.93257 Discrete Event Dyn. Syst. 26, No. 3, 511-537 (2016). MSC: 93C65 90B36 93E03 PDF BibTeX XML Cite \textit{R. Li} and \textit{S. Reveliotis}, Discrete Event Dyn. Syst. 26, No. 3, 511--537 (2016; Zbl 1346.93257) Full Text: DOI
Li, Ran; Reveliotis, Spyros Performance optimization for a class of generalized stochastic Petri nets. (English) Zbl 1328.93245 Discrete Event Dyn. Syst. 25, No. 3, 387-417 (2015). MSC: 93E03 93C65 93E25 PDF BibTeX XML Cite \textit{R. Li} and \textit{S. Reveliotis}, Discrete Event Dyn. Syst. 25, No. 3, 387--417 (2015; Zbl 1328.93245) Full Text: DOI
Gharbi, Nawel; Dutheillet, Claude An algorithmic approach for analysis of finite-source retrial systems with unreliable servers. (English) Zbl 1231.90149 Comput. Math. Appl. 62, No. 6, 2535-2546 (2011). MSC: 90B25 68Q85 PDF BibTeX XML Cite \textit{N. Gharbi} and \textit{C. Dutheillet}, Comput. Math. Appl. 62, No. 6, 2535--2546 (2011; Zbl 1231.90149) Full Text: DOI
Billington, Jonathan; Gallasch, Guy Edward On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet. (English) Zbl 1330.68193 Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 268-287 (2011). MSC: 68Q85 60J28 68Q87 PDF BibTeX XML Cite \textit{J. Billington} and \textit{G. E. Gallasch}, Lect. Notes Comput. Sci. 6709, 268--287 (2011; Zbl 1330.68193) Full Text: DOI
Gharbi, Nawel; Ioualalen, Malika Numerical investigation of finite-source multiserver systems with different vacation policies. (English) Zbl 1188.65009 J. Comput. Appl. Math. 234, No. 3, 625-635 (2010). MSC: 65C50 60K25 65C40 60J22 PDF BibTeX XML Cite \textit{N. Gharbi} and \textit{M. Ioualalen}, J. Comput. Appl. Math. 234, No. 3, 625--635 (2010; Zbl 1188.65009) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{N. Gharbi}, Lect. Notes Comput. Sci. 5311, 289--302 (2008; Zbl 1183.68040) Full Text: DOI
Lelarge, Marc Tail asymptotics for monotone-separable networks. (English) Zbl 1134.60321 J. Appl. Probab. 44, No. 2, 306-320 (2007). MSC: 60F10 60K25 60K20 PDF BibTeX XML Cite \textit{M. Lelarge}, J. Appl. Probab. 44, No. 2, 306--320 (2007; Zbl 1134.60321) Full Text: DOI arXiv
Gharbi, Nawel; Ioualalen, Malika GSPN analysis of retrial systems with servers breakdowns and repairs. (English) Zbl 1156.68319 Appl. Math. Comput. 174, No. 2, 1151-1168 (2006). MSC: 68M20 PDF BibTeX XML Cite \textit{N. Gharbi} and \textit{M. Ioualalen}, Appl. Math. Comput. 174, No. 2, 1151--1168 (2006; Zbl 1156.68319) Full Text: DOI
Abbas-Turki, A.; Bouyekhf, R.; Grunder, O.; El Moudni, A. On the line planning problems of the hub public-transportation networks. (English) Zbl 1066.90004 Int. J. Syst. Sci. 35, No. 12, 693-706 (2004). MSC: 90B06 PDF BibTeX XML Cite \textit{A. Abbas-Turki} et al., Int. J. Syst. Sci. 35, No. 12, 693--706 (2004; Zbl 1066.90004) Full Text: DOI
Koukam, A.; Mazigh, B.; Gruer, P.; Hilaire, V. A multiview approach to modeling and analysis of discrete event systems. (English) Zbl 1057.93033 Syst. Anal. Modelling Simulation 43, No. 6, 721-740 (2003). MSC: 93C65 PDF BibTeX XML Cite \textit{A. Koukam} et al., Syst. Anal. Modell. Simul. 43, No. 6, 721--740 (2003; Zbl 1057.93033) 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 PDF BibTeX XML Cite \textit{N. Gharbi} and \textit{M. Ioualalen}, Electron. Notes Theor. Comput. Sci. 65, No. 6, 86--100 (2002; Zbl 1270.68051) Full Text: DOI
Buchholz, P. Hybrid analysis of SGSPNs with time-dependent transition rates. (English) Zbl 1013.68126 Perform. Eval. 44, No. 1-4, 187-209 (2001). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Buchholz}, Perform. Eval. 44, No. 1--4, 187--209 (2001; Zbl 1013.68126) Full Text: DOI
Caselli, S.; Conte, G.; Marenzoni, P. A distributed algorithm for GSPN reachability graph generation. (English) Zbl 0973.68260 J. Parallel Distrib. Comput. 61, No. 1, 79-95 (2001). MSC: 68W10 68Q85 PDF BibTeX XML Cite \textit{S. Caselli} et al., J. Parallel Distrib. Comput. 61, No. 1, 79--95 (2001; Zbl 0973.68260) Full Text: DOI
Fota, Nicolae; Kaaniche, Mohamed; Kanoun, Karama Incremental approach for building stochastic Petri nets for dependability modeling. (English) Zbl 1075.68559 Ionescu, D. C. (ed.) et al., Statistical and probabilistic models in reliability. 1st international conference on mathematical methods in reliability. Bucharest, Romania, September 16–19, 1997. Basel: Birkhäuser (ISBN 3-7643-4068-1). Statistics for Industry and Technology, 321-335 (1998). MSC: 68M20 68Q85 PDF BibTeX XML Cite \textit{N. Fota} et al., in: Statistical and probabilistic models in reliability. 1st international conference on Mathematical methods in reliability. Bucharest, Romania, September 16--19, 1997. Basel: Birkhäuser. 321--335 (1998; Zbl 1075.68559)
Xie, Xiaolan Perturbation analysis of stochastic Petri nets. (English) Zbl 0907.93066 IEEE Trans. Autom. Control 43, No. 1, 76-80 (1998). Reviewer: T.M.Liebling (Lausanne) MSC: 93E99 93B15 93B35 68Q85 93C73 PDF BibTeX XML Cite \textit{X. Xie}, IEEE Trans. Autom. Control 43, No. 1, 76--80 (1998; Zbl 0907.93066) Full Text: DOI
Liu, Gang; Nakamura, Rui; Kitaoka, Masatoshi Modeling and evaluating the performance of finite queueing system using generalized stochastic Petri nets. (Japanese. English summary) Zbl 0859.68064 Sci. Rep. Res. Inst. Eng. 19, 8-19 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Liu} et al., Sci. Rep. Res. Inst. Eng. 19, 8--19 (1996; Zbl 0859.68064)
Grassmann, Winfried K.; Wang, Yuru Immediate events in Markov chains. (English) Zbl 0862.60057 Stewart, William J. (ed.), Computations with Markov chains. Proceedings of the 2nd international workshop on the numerical solution of Markov chains, Raleigh, NC, USA, January 16–18, 1995. Boston, MA: Kluwer Academic Publishers. 163-176 (1995). MSC: 60J20 PDF BibTeX XML Cite \textit{W. K. Grassmann} and \textit{Y. Wang}, in: Computations with Markov chains. Proceedings of the 2nd international workshop on the numerical solution of Markov chains, Raleigh, NC, USA, January 16--18, 1995. Boston, MA: Kluwer Academic Publishers. 163--176 (1995; Zbl 0862.60057)
Zeng, Xianqiang; Wu, Zhiming Application of generalized stochastic Petri nets to manufacturing system. (Chinese. English summary) Zbl 0835.90034 Acta Autom. Sin. 21, No. 2, 198-202 (1995). MSC: 90B30 90B15 68Q85 PDF BibTeX XML Cite \textit{X. Zeng} and \textit{Z. Wu}, Acta Autom. Sin. 21, No. 2, 198--202 (1995; Zbl 0835.90034)
Marsan, M. Ajmone; Balbo, G.; Donatelli, S.; Franceschinis, G.; Conte, G. Modelling with generalized stochastic Petri nets. (English) Zbl 0843.68080 Wiley Series in Parallel Computing. Chichester: Wiley. xxi, 301 p. (1995). Reviewer: H.-D.Gerhardt (Rostock) MSC: 68Q85 68-01 PDF BibTeX XML Cite \textit{M. A. Marsan} et al., Modelling with generalized stochastic Petri nets. Chichester: Wiley (1995; Zbl 0843.68080)
Kul’ba, V. V.; Shvetsov, A. P. Methods for analysis and design of systems maintaining certainty of information in MIS. I: Modeling and analysis of data processing systems. (English. Russian original) Zbl 0845.90079 Autom. Remote Control 55, No. 7, Pt. 2, 1074-1083 (1994); translation from Avtom. Telemekh. 1994, No. 7, 176-189 (1994). MSC: 90B50 90B15 90B25 PDF BibTeX XML Cite \textit{V. V. Kul'ba} and \textit{A. P. Shvetsov}, Autom. Remote Control 55, No. 7, Part 2, 1074--1083 (1994; Zbl 0845.90079); translation from Avtom. Telemekh. 1994, No. 7, 176--189 (1994)
Pombortsis, A.; Menos, A. Modelling a class of resource sharing interconnection networks using timed Petri nets. (English) Zbl 0809.68044 Comput. Syst. Sci. Eng. 9, No. 3, 155-163 (1994). MSC: 68M10 68Q85 PDF BibTeX XML Cite \textit{A. Pombortsis} and \textit{A. Menos}, Comput. Syst. Sci. Eng. 9, No. 3, 155--163 (1994; Zbl 0809.68044)
Wang, H.-P. B.; Hafeez, S. A. Performance evaluation of tandem and conventional AGV systems using generalized stochastic Petri nets. (English) Zbl 0899.90108 Int. J. Prod. Res. 32, No. 4, 917-932 (1994). MSC: 90B30 PDF BibTeX XML Cite \textit{H. P. B. Wang} and \textit{S. A. Hafeez}, Int. J. Prod. Res. 32, No. 4, 917--932 (1994; Zbl 0899.90108) Full Text: DOI
Buchholz, Peter A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis. (English) Zbl 0763.68052 J. Parallel Distrib. Comput. 15, No. 3, 207-224 (1992). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Buchholz}, J. Parallel Distrib. Comput. 15, No. 3, 207--224 (1992; Zbl 0763.68052) Full Text: DOI
Szczerbicka, Helena A combined queueing network and stochastic Petri-net approach for evaluating the performability of fault-tolerant computer systems. (English) Zbl 0749.68015 Perform. Eval. 14, No. 3-4, 217-226 (1992). Reviewer: L.Lakatos (Budapest) MSC: 68M20 PDF BibTeX XML Cite \textit{H. Szczerbicka}, Perform. Eval. 14, No. 3--4, 217--226 (1992; Zbl 0749.68015) Full Text: DOI
Sugasawa, Yoshio; Jin, Qun; Seya, Koichiro Extended stochastic Petri net models for systems with parallel and cooperative motions. (English) Zbl 0782.60072 Comput. Math. Appl. 24, No. 1-2, 119-126 (1992). MSC: 60K30 60K10 60K05 PDF BibTeX XML Cite \textit{Y. Sugasawa} et al., Comput. Math. Appl. 24, No. 1--2, 119--126 (1992; Zbl 0782.60072) Full Text: DOI
Haas, Peter J.; Shedler, Gerald S. Stochastic Petri nets with timed and immediate transitions. (English) Zbl 0686.60100 Commun. Stat., Stochastic Models 5, No. 4, 563-600 (1989). MSC: 60K30 60K20 65C05 PDF BibTeX XML Cite \textit{P. J. Haas} and \textit{G. S. Shedler}, Commun. Stat., Stochastic Models 5, No. 4, 563--600 (1989; Zbl 0686.60100) Full Text: DOI
Haas, Peter J.; Shedler, Gerald S. Stochastic Petri net representation of discrete event simulations. (English) Zbl 0667.60091 IEEE Trans. Softw. Eng. 15, No. 4, 381-393 (1989). MSC: 60K20 68Q85 PDF BibTeX XML Cite \textit{P. J. Haas} and \textit{G. S. Shedler}, IEEE Trans. Softw. Eng. 15, No. 04, 381--393 (1989; Zbl 0667.60091) Full Text: DOI
Viswanadham, N.; Narahari, Y. Stochastic Petri net models for performance evaluation of automated manufacturing systems. (English) Zbl 0677.68119 Inf. Decis. Technol. 14, No. 2, 125-142 (1988). MSC: 68U20 90B22 68U99 PDF BibTeX XML Cite \textit{N. Viswanadham} and \textit{Y. Narahari}, Inf. Decis. Technol. 14, No. 2, 125--142 (1988; Zbl 0677.68119)
Balbo, Gianfranco; Bruell, Steven C.; Ghanta, Subbarao Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behavior. (English) Zbl 0658.68121 IEEE Trans. Comput. 37, No. 10, 1251-1268 (1988). MSC: 68U20 68Q85 68M20 68N99 60K20 PDF BibTeX XML Cite \textit{G. Balbo} et al., IEEE Trans. Comput. 37, No. 10, 1251--1268 (1988; Zbl 0658.68121) Full Text: DOI