{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:34:23Z","timestamp":1725492863228},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672609"},{"type":"electronic","value":"9783540464297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46429-8_15","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:52:33Z","timestamp":1192877553000},"page":"203-215","source":"Crossref","is-referenced-by-count":2,"title":["Integrating Synchronization with Priority into a Kronecker Representation"],"prefix":"10.1007","author":[{"given":"Susanna","family":"Donatelli","sequence":"first","affiliation":[]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"15_CR1","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995."},{"key":"15_CR2","unstructured":"G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar-Roet. On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets. In Proc. 2nd int. Work. Petri Nets and Performance Models, Madison (USA) 1987, IEEE Computer Society."},{"key":"15_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 10th int. Conf. Computer Performance Evalutation, Modelling Techniques and Tools","author":"F. Bause","year":"1998","unstructured":"F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS (extended abstract). In Proc. 10th int. Conf. Computer Performance Evalutation, Modelling Techniques and Tools, LNCS 1469, Springer, 1998."},{"key":"15_CR4","unstructured":"O. Botti, S. Donatelli, and G. Franceschinis. Assessing the performance of multi-processor architectures through SWN models simulation: a case study in the field of plant automation systems. In Proc. 29th Annual Simulation Symposium, New Orleans, Louisiana, April 8\u201311, 1996, IEEE-CS Press."},{"key":"15_CR5","unstructured":"P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper. Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models. ICASE Report No. 97-66 NASA\/CR-97-206274, 1997. To appear in Informs Journal on Computing."},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_29","volume-title":"Proc. 5th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems","author":"P. Buchholz","year":"1999","unstructured":"P. Buchholz, P. Kemper. Modular state level analysis of distributed systems-techniques and tool suppport. In Proc. 5th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems, Springer LNCS 1579, 1999."},{"key":"15_CR7","unstructured":"G. Chiola, S. Donatelli, and G. Franceschinis. GSPN versus SPN: what is the actual role of immediate transitions?, In Proc. 4th int. Conf. Petri Nets and Performance Models, Melbourne, Australia, December 1991."},{"key":"15_CR8","first-page":"24","volume":"1","author":"G. Chiola","year":"1996","unstructured":"G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modelling Tools, (1), 24, 1996.","journal-title":"Performance Evaluation"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"P. Buchholz and P Kemper. Efficient computation and representation of large reachability sets for composed automata. Forschungsbericht 705, Fachbereich Informatik, Universit\u00e4t Dortmund (Germany), 1999.","DOI":"10.1007\/978-1-4615-4493-7_4"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"J. Campos, S. Donatelli, and M. Silva. Structured solution of asynchronously communicating stochastic modules. IEEE Trans. on Software Engineering, 25(2).","DOI":"10.1109\/32.761442"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"G. Ciardo and A. Miner. A data structure for the efficient Kronecker solution of GSPNs. In Proc. 8th int. Work. Petri Nets and Performance Models, IEEE CS Press, 1999.","DOI":"10.1109\/PNPM.1999.796529"},{"key":"15_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 20th int. Conf. Application and Theory of Petri Nets","author":"G. Ciardo","year":"1999","unstructured":"G. Ciardo and A. Miner. Efficient reachability set generation and storage using decision diagrams. In Proc. 20th int. Conf. Application and Theory of Petri Nets, LNCS 1639, Springer, 1999."},{"key":"15_CR13","series-title":"ICASE Report","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."},{"issue":"2","key":"15_CR14","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":"15_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 15th int. Conf. Application and Theory of Petri Nets","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In Proc. 15th int. Conf. Application and Theory of Petri Nets LNCS 815, Springer 1994."},{"key":"15_CR16","unstructured":"T. Kam. State minimization of finite state machines using implicit techniques. Phd thesis, University of California at Berkeley, 1995."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"P. Kemper. Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, 22(9), Sep 1996.","DOI":"10.1109\/32.541433"},{"key":"15_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 17th int. Conf. Application and Theory of Petri Nets","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Reachability analysis based on structured representations. In Proc. 17th int. Conf. Application and Theory of Petri Nets, LNCS 1091. Springer, 1996."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"B. Plateau. On the stochastic structure of parallelism and synchronisation models for distributed algorithms. In Proc. 1985 ACM SIGMETRICS Conf. on Measurement and Modeling of Computer Systems, Austin, TX, USA, May 1985.","DOI":"10.1145\/317795.317819"},{"key":"15_CR20","unstructured":"M. Tilgner, Y. Takahashi, and G. Ciardo. SNS: synchronized network solver. In M. Silva, R. Valette and K. Takahashi (eds.), Work. Manufacturing and Petri nets, within 17th int. Conf. Application and Theory of Petri nets, Osaka, Japan, 1996."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation.Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46429-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:04:32Z","timestamp":1556906672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46429-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672609","9783540464297"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-46429-8_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}