{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:52:48Z","timestamp":1771026768926,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540631392","type":"print"},{"value":"9783540691877","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63139-9_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:07:42Z","timestamp":1330297662000},"page":"175-194","source":"Crossref","is-referenced-by-count":7,"title":["Efficient handling of Phase-type distributions in generalized stochastic Petri nets"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Moreaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Chiola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"issue":"7","key":"11_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"M. A. Marsan","year":"1989","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, 15(7):832\u2013846, July 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR2","first-page":"80","volume-title":"On Petri nets with stochastic timing","author":"M. A. Marsan","year":"1985","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. On Petri nets with stochastic timing. In Proc. of the International Workshop on Timed Petri Nets, pages 80\u201387, Torino, Italy, July 1\u20133 1985. IEEE Computer Society Press."},{"key":"11_CR3","first-page":"44","volume-title":"Generalized stochastic Petri nets revisited: random switches and priorities","author":"M. A. Marsan","year":"1987","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Generalized stochastic Petri nets revisited: random switches and priorities. In Proc. of the International Workshop on Petri Nets and Performance Models, pages 44\u201353, Madison, Wisconsin, USA, August 24\u201326 1987. IEEE Computer Society Press."},{"issue":"2","key":"11_CR4","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. A. Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized of stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on computer systems, 2(2):93\u2013122, May 1984.","journal-title":"ACM Transactions on computer systems"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In G. Rozenberg, editor, Advances in Petri Nets 1987, number 266 in LNCS, pages 132\u2013145. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_23"},{"key":"11_CR6","first-page":"216","volume-title":"Aggregation and reduction techniques for hierarchical GCSPN","author":"P. Buchholz","year":"1993","unstructured":"P. Buchholz. Aggregation and reduction techniques for hierarchical GCSPN. In Proc. of the 5th International Workshop on Petri Nets and Performance Models, pages 216\u2013225, Toulouse, France, October 19\u201322 1993. IEEE Computer Society Press."},{"key":"11_CR7","first-page":"187","volume-title":"Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets","author":"P. Chen","year":"1989","unstructured":"P. Chen, S. C. Bruell, and G. Balbo. Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets. In Proc. of the third International Workshop on Petri Nets and Performance Models, pages 187\u2013197, Kyoto, Japan, December 11\u201313 1989. IEEE Computer Society Press."},{"issue":"1&2","key":"11_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. Great SPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation, 24(1&2):47\u201368, 1995.","journal-title":"Performance Evaluation"},{"key":"11_CR9","first-page":"170","volume-title":"A characterization of the stochastic process underlying a stochastic Petri net","author":"G. Ciardo","year":"1993","unstructured":"G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. In Proc. of the 5th International Workshop on Petri Nets and Performance Models, pages 170\u2013179, Toulouse, France, October 19\u201322 1993. IEEE Computer Society Press."},{"key":"11_CR10","volume-title":"Introduction to stochastic processes","author":"E. Cinlar","year":"1975","unstructured":"E. Cinlar. Introduction to stochastic processes. Prentice-Hall, Englewood Cliffs, NJ, USA, 1975."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"D. R. Cox. A use of complex probabilities in the theory of stochastic processes. In Proc. Cambridge Philosophical Society, pages 313\u2013319, 1955.","DOI":"10.1017\/S0305004100030231"},{"key":"11_CR12","first-page":"144","volume-title":"ESP-a package for the evaluation of stochastic Petri nets with phasetype distributed transition times","author":"A. Cumani","year":"1985","unstructured":"A. Cumani. ESP-a package for the evaluation of stochastic Petri nets with phasetype distributed transition times. In Proc. of the International Workshop on Timed Petri Nets, pages 144\u2013151, Torino, Italy, July 1\u20133 1985. IEEE Computer Society Press."},{"key":"11_CR13","first-page":"258","volume-title":"Number 815 in LNCS","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In Robert Valette, editor, Proc. of the 15th International Conference on Application and Theory of Petri Nets, Number 815 in LNCS, pages 258\u2013277, Zaragoza, Spain, June 20\u201324 1994. Springer-Verlag."},{"key":"11_CR14","first-page":"193","volume-title":"Number 1091 in LNCS","author":"S. Haddad","year":"1996","unstructured":"S. Haddad and P. Moreaux. Asynchronous composition of high level Petri nets: a quantitative approach. In Proc. of the 17th International Conference on Application and Theory of Petri Nets, Number 1091 in LNCS, pages 193\u2013211, Osaka, Japan, June 24\u201328 1996. Springer-Verlag."},{"key":"11_CR15","volume-title":"Closing the gap between classical and tensor based iteration techniques","author":"P. Kemper","year":"1995","unstructured":"P. Kemper. Closing the gap between classical and tensor based iteration techniques. In W. J. Stewart, editor, Proc. of the Second International Workshop on Numerical Solution of Markov Chains, Raleigh, NC, USA, January 16\u201318 1995. Kluwer Academic Press, 1995."},{"key":"11_CR16","volume-title":"PhD dissertation","author":"M. K. Molloy","year":"1981","unstructured":"M. K. Molloy. On the integration of delay and throughput in distributed processing models. PhD dissertation, University of California, Los Angeles, CA, USA, September 1981."},{"key":"11_CR17","volume-title":"D\u00e9composition tensorielle et agr\u00e9gation. Th\u00e9se","author":"P. Moreaux","year":"1996","unstructured":"P. Moreaux. Structuration des cha\u00ednes de Markov des r\u00e9seaux de Petri stochastiques. D\u00e9composition tensorielle et agr\u00e9gation. Th\u00e9se, Universit\u00e9 Paris Dauphine, Paris, France, 11 d\u00e9cembre 1996."},{"key":"11_CR18","volume-title":"Matrix-geometric solutions in stochastic models \u2014 an algorithmic approach","author":"M. F. Neuts","year":"1981","unstructured":"M. F. Neuts. Matrix-geometric solutions in stochastic models \u2014 an algorithmic approach. The John Hopkins University Press, London, 1981."},{"key":"11_CR19","first-page":"147","volume-title":"On the stochastic structure of parallelism and synchronization models for distributed algorithms","author":"B. Plateau","year":"1985","unstructured":"B. Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In Proc. of the 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pages 147\u2013154, Austin, Texas, USA, August 1985. ACM."},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1016\/0743-7315(91)90007-V","volume":"12","author":"B. Plateau","year":"1991","unstructured":"B. Plateau and J.M. Fourneau. A methodology for solving Markov models of parallel systems. Journal of parallel and distributed computing, 12:370\u2013387, 1991.","journal-title":"Journal of parallel and distributed computing"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63139-9_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:42:06Z","timestamp":1619574126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63139-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631392","9783540691877"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-63139-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}