{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T15:10:34Z","timestamp":1740841834358,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_27","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"471-490","source":"Crossref","is-referenced-by-count":3,"title":["New Developments in Closed-Form Computation for GSPN Aggregation"],"prefix":"10.1007","author":[{"given":"J\u00f6rn","family":"Freiheit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Modeling and Performance Evaluation with Computer Science Applications","author":"G. Bolch","year":"1998","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.: Queueing Networks and Markov Chains. In: Modeling and Performance Evaluation with Computer Science Applications. John Wiley & Sons, Chichester (1998)"},{"issue":"7","key":"27_CR2","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1109\/32.297942","volume":"20","author":"R. Boucherie","year":"1994","unstructured":"Boucherie, R.: A characterization of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Transactions on Software Engineering\u00a020(7), 536\u2013544 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-45156-0_9","volume-title":"Performance Engineering","author":"M. Curiel","year":"2001","unstructured":"Curiel, M., Puigjaner, R.: Using load-dependent servers to reduce the complexity of large client-server simulation models. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol.\u00a02047, pp. 131\u2013147. Springer, Heidelberg (2001)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Donatelli, S., Sereno, M.: On the product-form solution for stochastic Petri nets. In: Proc. 13th Int. Conf. on Application and Theory of Petri Nets, pp. 154\u2013172 (1992)","DOI":"10.1007\/3-540-55676-1_9"},{"key":"27_CR5","unstructured":"Freiheit, J.: Matrizen- und zustandsraumreduzierende Verfahren zur Leistungsbewertung gro\u00dfer stochastischer Petrinetze. PhD thesis, TU Berlin (June 2002)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Freiheit, J., Heindl, A.: Novel formulae for GSPN aggregation. In: The Tenth IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), Fort Worth, Texas, pp. 209\u2013216 (2002)","DOI":"10.1109\/MASCOT.2002.1167079"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Henderson, W., Lucic, D.: Exact results in the aggregation and disaggregation of stochastic Petri nets. In: Proc. 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, pp. 166\u2013175 (1991)","DOI":"10.1109\/PNPM.1991.238771"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Jungnitz, H., S\u00e1nchez, B., Silva, M.: Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. In: Proc. Int. Conf. on Robotics and Automation, Nice, pp. 1000\u20131005 (1992)","DOI":"10.1109\/ROBOT.1992.220217"},{"key":"27_CR9","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons, Chichester (1995)"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Murray Woodside, C., Li, Y.: Performance Petri net analysis of communications protocol software by delay-equivalent aggregation. In: Proc. 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, pp. 64\u201373 (1991)","DOI":"10.1109\/PNPM.1991.238781"},{"key":"27_CR11","unstructured":"Natkin, S.: Les Reseaux de Petri Stochastiques et leur Application a L\u2019evaluation des Syst\u00e9mes Informatiques. Dissertation, Conservatoire National des Arts et Metiers (CNAM), Paris (1980)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Jim\u00e9nez, C.J., Campos, J.: On state space decomposition for the numerical analysis of stochastic Petri nets. In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999, pp. 32\u201341 (1999)","DOI":"10.1109\/PNPM.1999.796530"},{"key":"27_CR13","unstructured":"Reisig, W.: Petri nets. EATCS Monographs on Theoretical Computer Science\u00a04 (1985)"},{"key":"27_CR14","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, Princeton (1994)"},{"key":"27_CR15","unstructured":"Symons, F.J.W.: Modeling and analysis of communication protocols using numerical Petri nets. Dissertation. University of Essex (1978)"},{"key":"27_CR16","volume-title":"Probability and Statistics with Reliability, Queueing, and Computer Science Applications","author":"K.S. Trivedi","year":"1982","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queueing, and Computer Science Applications. Prentice-Hall, Inc., Englewood Cliffs (1982)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri net modelling and performability evaluation with TimeNET 3.0. In: Proc. 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Chicago, USA, pp. 188\u2013202 (2000)","DOI":"10.1007\/3-540-46429-8_14"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:26:10Z","timestamp":1740839170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}