{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:49Z","timestamp":1725543649704},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_13","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"221-240","source":"Crossref","is-referenced-by-count":1,"title":["A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lynda","family":"Mokdad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Moreaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Cox, D.R.: A use of complex probabilities in the theory of stochastic processes. Proc. Cambridge Philosophical Society, 313\u2013319 (1955)","DOI":"10.1017\/S0305004100030231"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1109\/PNPM.1995.524320","volume-title":"Proc. of the 6th International Workshop on Petri Nets and Performance Models","author":"R. German","year":"1995","unstructured":"German, R., Logothesis, D., Trivedi, K.: Transient analysis of Markov regenerative stochastic Petri nets: A comparison of approaches. In: Proc. of the 6th International Workshop on Petri Nets and Performance Models, Durham, NC, USA, pp. 103\u2013112. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100030437","volume":"51","author":"D.R. Cox","year":"1955","unstructured":"Cox, D.R.: The analysis of non-Markov stochastic processes by the inclusion of supplementary variables. Proc. Cambridge Philosophical Society (Math. and Phys. Sciences)\u00a051, 433\u2013441 (1955)","journal-title":"Proc. Cambridge Philosophical Society (Math. and Phys. Sciences)"},{"issue":"1\u20133","key":"13_CR4","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0166-5316(94)90020-5","volume":"20","author":"R. German","year":"1994","unstructured":"German, R., Lindemann, C.: Analysis of stochastic Petri nets by the method of supplementary variables. Performance Evaluation\u00a020(1\u20133), 317\u2013335 (1994); special issue: Peformance 1993","journal-title":"Performance Evaluation"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 132\u2013145. Springer, Heidelberg (1987)"},{"key":"13_CR6","first-page":"576","volume":"27\u201328","author":"C. Lindemann","year":"1996","unstructured":"Lindemann, C., Schedler, G.: Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. Performance Evaluation\u00a027\u201328, 576\u2013582 (1996); special issue: Proc. of PERFORMANCE 1996","journal-title":"Performance Evaluation"},{"key":"13_CR7","unstructured":"Lindemann, C., Reuys, A., Th\u00fcmmler, A.: DSPNexpress 2.000 performance and dependability modeling environment. In: Proc. of the 29th Int. Symp. on Fault Tolerant Computing, Madison, Wisconsin (1999)"},{"key":"13_CR8","unstructured":"German, R.: Cascaded deterministic and stochastic petri nets. In: Plateau, B., Stewart, W.J., Silva, M. (eds.) Proc. of the third Int. Workshop on Numerical Solution of Markov Chains, Zaragoza, Spain, Prensas Universitarias de Zaragoza, pp. 111\u2013130 (1999)"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0166-5316(97)00013-8","volume":"32","author":"A. Puliafito","year":"1998","unstructured":"Puliafito, A., Scarpa, M., Trivedi, K.: K-simultaneously enable generally distributed timed transitions. Performance Evaluation\u00a032(1), 1\u201334 (1998)","journal-title":"Performance Evaluation"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1109\/DSN.2002.1029008","volume-title":"International Conference on Dependable Systems and Networks (DSN 2002) - IPDS 2002","author":"A. Bobbio","year":"2002","unstructured":"Bobbio, A., Telek, A.H.M.: The scale factor: A new degree of freedom in phase type approximation. In: International Conference on Dependable Systems and Networks (DSN 2002) - IPDS 2002, Washington, DC, USA, pp. 627\u2013636. IEEE C.S. Press, Los Alamitos (2002)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/PNPM.2001.953366","volume-title":"Proc. of the 9th Int. Workshop on Petri nets and performance models (PNPM 2001)","author":"R.L. Jones","year":"2001","unstructured":"Jones, R.L., Ciardo, G.: On phased delay stochastic petri nets: Definition and an application. In: Proc. of the 9th Int. Workshop on Petri nets and performance models (PNPM 2001), Aachen, Germany, pp. 165\u2013174. IEEE Comp. Soc. Press, Los Alamitos (2001)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-46429-8_13","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"A. Horv\u00e1th","year":"2000","unstructured":"Horv\u00e1th, A., Puliafito, A., Scarpa, M., Telek, M.: A discrete time approach to the analysis of non-markovian stochastic Petri nets. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 171\u2013187. Springer, Heidelberg (2000)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Haddad, S., Mokdad, L., Moreaux, P.: Performance evaluation of non Markovian stochastic discrete event systems - a new approach. In: Proc. of the 7th IFAC Workshop on Discrete Event Systems (WODES 2004), Reims, France, IFAC (2004)","DOI":"10.1016\/S1474-6670(17)30753-X"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., Miller, D.: The randomization technique as a modeling tool an solution procedure for transient markov processes. Operations Research\u00a032(2), 343\u2013361 (1984)","journal-title":"Operations Research"},{"key":"13_CR15","unstructured":"Lindemann, C.: DSPNexpress: A software package for the efficient solution of deterministic and stochastic Petri nets. In: Proc. of the Sixth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Edinburgh, Scotland, UK, pp. 9\u201320. Edinburgh University Press (1992)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-68061-6_20","volume-title":"Computer Performance Evaluation","author":"S. Donatelli","year":"1998","unstructured":"Donatelli, S., Haddad, S., Moreaux, P.: Structured characterization of the Markov chains of phase-type SPN. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol.\u00a01469, pp. 243\u2013254. Springer, Heidelberg (1998)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S0167-9473(98)00062-0","volume":"29","author":"R. Sidje","year":"1999","unstructured":"Sidje, R., Stewart, W.: A survey of methods for computing large sparse matrix exponentials arising in Markov chains. Computational Statistics and Data Analysis\u00a029, 345\u2013368 (1999)","journal-title":"Computational Statistics and Data Analysis"},{"key":"13_CR18","volume-title":"Introduction to the numerical solution of Markov chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the numerical solution of Markov chains. Princeton University Press, USA (1994)"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0166-5316(00)00061-4","volume":"44","author":"R. German","year":"2001","unstructured":"German, R.: Iterative analysis of Markov regenerative models. Performance Evaluation\u00a044, 51\u201372 (2001)","journal-title":"Performance Evaluation"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/MASCOT.1996.501031","volume-title":"Proc. of the 4th Int. Workshop on Modeling, Ananlysis and Simulation of Computer and Telecommunication Systems (MASCOTS 1996)","author":"G. Ciardo","year":"1996","unstructured":"Ciardo, G., Zijal, R.: Well defined stochastic Petri nets. In: Proc. of the 4th Int. Workshop on Modeling, Ananlysis and Simulation of Computer and Telecommunication Systems (MASCOTS 1996), San Jose, CA, USA, pp. 278\u2013284. IEEE Comp. Soc. Press, Los Alamitos (1996)"},{"key":"13_CR21","volume-title":"International Computer Performance and Dependability Symposium - IPDS 1998","author":"M. Scarpa","year":"1998","unstructured":"Scarpa, M., Bobbio, A.: Kronecker representation of stochastic Petri nets with discrete PH distributions. In: International Computer Performance and Dependability Symposium - IPDS 1998, Duke University, Durham, NC. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"13_CR22","unstructured":"Python team: Python home page (2004), http:\/\/www.python.org"},{"key":"13_CR23","unstructured":"Dubois, P.: Numeric Python home page: And the Numpy community (2004), http:\/\/www.pfdubois.com\/numpy\/"},{"key":"13_CR24","unstructured":"Geus, R.: PySparse home page (2004), http:\/\/www.geus.ch"},{"issue":"3","key":"13_CR25","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1287\/ijoc.12.3.203.12634","volume":"13","author":"P. Buchholz","year":"2000","unstructured":"Buchholz, P., Ciardo, G., Kemper, P., Donatelli, S.: Complexity of memory-efficient kronecker operations with applications to the solution of markov models. INFORMS Journal on Computing\u00a013(3), 203\u2013222 (2000)","journal-title":"INFORMS Journal on Computing"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Haddad, S., Moreaux, P.: Approximate analysis of non-markovian stochastic systems with multiple time scale delays. In: Proc. of the 12th Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), Volendam, The Netherlands, pp. 23\u201330 (2004)","DOI":"10.1109\/MASCOT.2004.1348178"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:24Z","timestamp":1619507484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11767589_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}