{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T05:04:19Z","timestamp":1748063059490},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_1","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"1-18","source":"Crossref","is-referenced-by-count":5,"title":["Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?"],"prefix":"10.1007","author":[{"given":"Susanna","family":"Donatelli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"1_CR1","volume-title":"Proc. of the International Workshop on Timed Petri nets","author":"C. Beounes","year":"1985","unstructured":"C. Beounes. Stochastic Petri net modeling for dependabilityev aluation of complex computer system. In Proc. of the International Workshop on Timed Petri nets, Torino, Italy, July 1985. IEEE-CS Press."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"M. Scarpa and A. Bobbio. Kronecker representation of stochastic Petri nets with discrete PH distributions. In Proceedings of International Computer Performance and Dependability Symposium-IPDS98, IEEE Computer SocietyPress, 52\u201361, 1998.","DOI":"10.1109\/IPDS.1998.707709"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/288197.288202","volume":"26","author":"P. Buchholz","year":"1998","unstructured":"P. Buchholz, and P. Kemper. On generating a hierarchyfor GSPN analysis ACM Performance Evaluation Review, Vol. 26 (2), 1998, pages 5\u201314.","journal-title":"On generating a hierarchyfor GSPN analysis ACM Performance Evaluation Review"},{"key":"1_CR4","first-page":"11","volume-title":"Proc. of the 7th Intern. Workshop on Petri Nets and Performance Models","author":"P. Buchholz","year":"1997","unstructured":"P. Buchholz. Hierarchical structuring of Superposed GSPN. In Proc. of the 7th Intern. Workshop on Petri Nets and Performance Models, pages 11\u201390, Saint Malo, France, June 1997. IEEE-CS Press."},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0743-7315(92)90004-7","volume":"15","author":"P. Buchholz","year":"1992","unstructured":"P. Buchholz. A hierarchical view of GCSPN\u2019s and its impact on qualitative and quantitative analysis. Journal of Parallel and Distributed Computing, 15(3):207\u2013224, July 1992.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"P. Buchholz, G. Ciardo, S Donatelli, and P. Kemper. Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. INFORMS Journal on Computing, vol. 12, n.3, summer 2000.","DOI":"10.1287\/ijoc.12.3.203.12634"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/PNPM.1995.524313","volume-title":"Proc. 6th Intern. Workshop on Petri Nets and Performance Models","author":"P. Buchholz","year":"1995","unstructured":"P. Buchholz and P. Kemper. Numerical analysis of stochastic marked graphs. In Proc. 6th Intern. Workshop on Petri Nets and Performance Models, pages 32\u201341, Durham, NC, USA, October 1995. IEEE-CS Press."},{"key":"1_CR8","first-page":"91","volume-title":"Proc. of the 7th Intern. Workshop on Petri Nets and Performance Models","author":"J. Campos","year":"1997","unstructured":"J. Campos, S. Donatelli, and M. Silva. Structured solution of stochastic DSSP systems. In Proc. of the 7th Intern. Workshop on Petri Nets and Performance Models, pages 91\u2013100, Saint Malo, France, June 1997. IEEE-CS Press."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"J. Campos, S. Donatelli, and M. Silva. Structured solution of Asynchronously Communicating Stochastic Modules. In IEEE Transactions on Software Engineering, 25(2), April 1999.","DOI":"10.1109\/32.761442"},{"key":"1_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-44988-4_8","volume-title":"Proceedings of the 21st International Conference on Application and Theory of Petri Nets","author":"G. Ciardo","year":"2000","unstructured":"G. Ciardo, G. Luettgen, and Siminiceanu. Efficient symbolic state-space construction for asynchronous systems. In Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 1825, pages 103\u2013122, June 2000. Springer-Verlag."},{"key":"1_CR11","unstructured":"G. Ciardo and S. Donatelli. Kronecker operators and Markov chain solution. Tutorial presentation at the joint ACM SIGMETRICS and PERFORMANCE 1998 conference, June 1998, Wisconsin (USA)."},{"key":"1_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/BFb0022196","volume-title":"Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation","author":"G. Ciardo","year":"1997","unstructured":"G. Ciardo and A. S. Miner. Storage alternatives for large structured state spaces. In R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, editors, Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 1245, pages 44\u201357, Saint Malo, France, June 1997. Springer-Verlag."},{"key":"1_CR13","series-title":"ICASE Report 96-35","volume-title":"On the use of Kronecker operators for the solution of generalized stochastic Petri nets","author":"G. Ciardo","year":"1996","unstructured":"G. Ciardo and M. Tilgner. On the use of Kronecker operators for the solution of generalized stochastic Petri nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, Hampton, VA, May 1996."},{"key":"1_CR14","unstructured":"G. Ciardo and A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliabilityand Timing. In Proc. IEEE International Computer Performance and Dependability Symposium (IPDS\u201996), Urbana-Champaign, IL, USA. Sept. 1996. IEEE Comp. Soc. Press."},{"issue":"2","key":"1_CR15","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TC.1981.6312174","volume":"30","author":"M. Davio","year":"1981","unstructured":"M. Davio. Kronecker products and shuffle algebra. IEEE Transactions on Computers, 30(2):116\u2013125, 1981.","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0166-5316(93)90025-P","volume":"18","author":"S. Donatelli","year":"1993","unstructured":"S. Donatelli. Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space. Performance Evaluation, 18:21\u201336, 1993.","journal-title":"Performance Evaluation"},{"key":"1_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","volume-title":"Proc. of the 15th Intern. Conference on Applications and Theory of Petri Nets","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In R. Valette, editor, Proc. of the 15th Intern. Conference on Applications and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 258\u2013277. Springer-Verlag, Berlin Heidelberg, 1994."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"S. Donatelli and P. Kemper. Integrating synchronization with priority into a Kronecker representation Performance evaluation, 44 (1-4), 2001.","DOI":"10.1016\/S0166-5316(00)00060-2"},{"key":"1_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 10th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, September 98","author":"S. Donatelli","year":"1998","unstructured":"S. Donatelli, S. Haddad, and P. Moreaux. Structured characterization of the Markov Chain of phase-type SPN. In Proc. 10th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, September 98; LNCS 1469, Springer-Verlag."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"P. Fernandes, B. Plateau, and W. J. Stewart. Efficient descriptor-vector multiplication in stochastic automata networks. Journal of the ACM, 45(3), 1998.","DOI":"10.1145\/278298.278303"},{"key":"1_CR21","unstructured":"P. Fernandes, B. Plateau, and W. J. Stewart. Numerical issues for stochastic automata networks. INRIA research report no 2938, July 1996 (available byftp from ftp:\/\/ftp.inria.fr )."},{"key":"1_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/3-540-63139-9_36","volume-title":"Proc. of the 18th International Conference on Application and Theory of Petri Nets","author":"S. Haddad","year":"1997","unstructured":"S. Haddad, P. Moreaux, and G. Chiola. Efficient handling of phase-type distributions in generalized stochastic Petri nets. In Proc. of the 18th International Conference on Application and Theory of Petri Nets, number 1248 in LNCS, pages 175\u2013194, Toulouse, France, June 23-27 1997. Springer-Verlag."},{"issue":"4","key":"1_CR23","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/32.541433","volume":"22","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Numerical analysis of superposed GSPN. IEEE Transactions on Software Engineering, 22(4):615\u2013628, September 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR24","unstructured":"P. Kemper. Superposition of generalized stochastic Petri nets and its impact on performance analysis. PhD thesis, Universit\u00e4t Dortmund, 1996."},{"key":"1_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61363-3_15","volume-title":"Proc. 17th International Conference Application and Theory of Petri Nets, Osaka (JP), June 1996","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Reachabilityanaly sis based on structured representations In Proc. 17th International Conference Application and Theory of Petri Nets, Osaka (JP), June 1996, pp. 269\u2013288, LNCS 1091. Springer, 1996."},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/32.761444","volume":"25","author":"P. Kemper","year":"1999","unstructured":"P. Kemper. Transient analysis of superposed GSPNs. IEEE Trans. on Software Engineering, 25(2), March\/April 1999. Revised and extended version of a paper with same title in 7-th International Conference on Petri Nets and Performance Models-PNPM97, pages 101\u2013110. IEEE Computer Society, 1997.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"1_CR27","unstructured":"P. Kemper. SupGSPN Version 1.0-an analysis engine for superposed GSPNs. Technical report, Universit\u00f4t Dortmund, 1997."},{"key":"1_CR28","unstructured":"P. Kemper F. Bause, P. Buchholz. A toolbox for functional and quantitative analysis of deds. Technical Report 680, Universit\u00e4t Dortmund, 1998."},{"key":"1_CR29","series-title":"Lect Notes Comput Sci","volume-title":"Short paper at PERFORMANCE TOOLS\u201998","author":"P. Kemper","year":"1998","unstructured":"P. Kemper F. Bause, P. Buchholz. A toolbox for functional and quantitative analysis of DEDS. Short paper at PERFORMANCE TOOLS\u201998, 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Palma de Mallorca, Spain, 1998; LNCS 1469, Springer-Verlag."},{"key":"1_CR30","unstructured":"A.S. Miner. Superposition of generalized stochastic Petri nets and its impact on performance analysis. PhD thesis, The college of William and Mary, Williamsburg (USA), 2000."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"A. Miner, G. Ciardo and S. Donatelli. Using the exact state space of a Markov model to compute approximate stationarymeasures. In J. Kurose and P. Nain, editors, Proceedings of the 2000 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pages 207\u2013216, June 2000. ACM Press.","DOI":"10.1145\/339331.339417"},{"key":"1_CR32","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the 17th Intern. Conference on Applications and Theory of Petri Nets","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 Intern. Conference on Applications and Theory of Petri Nets, June 1996, LNCS 1091, Springer-Verlag."},{"issue":"10","key":"1_CR33","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B. Plateau","year":"1991","unstructured":"B. Plateau and K. Atif. Stochastic automata network for modeling parallel systems. IEEE Transactions on Software Engineering, 17(10):1093\u20131108, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"B. Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In Proc. 1985 ACM SIGMETRICS Conference, pages 147\u2013154, Austin, TX, USA, August 1985. ACM Press.","DOI":"10.1145\/317795.317819"},{"key":"1_CR35","first-page":"291","volume-title":"Modeling techniques and tools for computer performance evaluation","author":"B. Plateau","year":"1990","unstructured":"B. Plateau. PEPS: A package for solving complex Markov models of parallel systems. In R. Puigjaner and D. Poiter, editors, Modeling techniques and tools for computer performance evaluation, pages 291\u2013306. Plenum Press, New York and London, 1990."},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.","DOI":"10.1515\/9780691223384"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T19:03:39Z","timestamp":1684091019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}