{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:22:31Z","timestamp":1754486551107,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662020"},{"type":"electronic","value":"9783540486831"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48683-6_41","type":"book-chapter","created":{"date-parts":[[2007,10,7]],"date-time":"2007-10-07T03:22:18Z","timestamp":1191727338000},"page":"483-486","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["A Toolbox for the Analysis of Discrete Event Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. Forschungsbericht 680, Fachbereich Informatik, Universit\u00e4t Dortmund (Germany), 1998.","DOI":"10.1007\/3-540-68061-6_32"},{"key":"41_CR2","first-page":"9","volume":"49","author":"F. Bause","year":"1995","unstructured":"F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletters, 49:9\u201327, Oct 1995.","journal-title":"Petri Net Newsletters"},{"key":"41_CR3","unstructured":"P. Buchholz. Numerical solution methods based on structured descriptions of Markovian models. In G. Balbo and G. Serazzi, editors, Computer Performance Evaluation-Modelling Techniques and Tools, pages 251\u2013267. Elsevier, 1992."},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"P. Buchholz. Hierarchical structuring of superposed GSPNs. In Proc. 7th Int. Workshop Petri Nets and Performance Models (PNPM\u201997), St-Malo (France), June 1997, pages 81\u201390. IEEE CS Press, 1997.","DOI":"10.1109\/PNPM.1997.595539"},{"issue":"3","key":"41_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0377-2217(98)00088-5","volume":"116","author":"P. Buchholz","year":"1999","unstructured":"P. Buchholz. An adaptive aggregation\/disaggregation algorithm for hierarchical Markovian models. European Journal of Operational Research, 116(3):85\u2013104, 1999.","journal-title":"European Journal of Operational Research"},{"key":"41_CR6","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. Technical report, ICASE Report No. 97-66 NASA\/CR-97-206274, 1997. submitted for publication."},{"key":"41_CR7","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":"41_CR8","doi-asserted-by":"crossref","unstructured":"P Buchholz and P. Kemper. Modular state level analysis of distributed systems-techniques and tool suppport. In accepted for 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u2019 99), 1999.","DOI":"10.1007\/3-540-49059-0_29"},{"key":"41_CR9","first-page":"19","volume-title":"Proc. 5. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze","author":"P. Buchholz","year":"1998","unstructured":"P. Buchholz, P. Kemper, and the APNNed group. APNNed-a net editor and debugger within the APNN toolbox. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, Proc. 5. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, pages 19\u201324. Forschungsbericht Nr. 694, FB Informatik, Universit\u00e4t Dortmund, Germany, 1998."},{"key":"41_CR10","unstructured":"H. Hanisch, P. Kemper, and A. L\u00fcder. A modular and compositional approach to modeling and controller verification of manufacturing systems. In accepted for 14th IFAC Word Congress, July 5-9, Beijing, China, 1999."},{"key":"41_CR11","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":"41_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Application and Theory of Petri Nets","author":"P. Kemper","year":"1996","unstructured":"P. Kemper. Reachability analysis based on structured representations. In Application and Theory of Petri Nets, LNCS 1091. Springer, 1996."},{"key":"41_CR13","unstructured":"P Kemper. A mapping of autonomous net condition event systems to GSPNs. submitted for publication, 1999."},{"key":"41_CR14","volume-title":"Model checking based on kronecker algebra","author":"P. Kemper","year":"1998","unstructured":"P. Kemper and R. L\u00fcbeck. Model checking based on kronecker algebra. Forschungsbericht 669, Fachbereich Informatik, Universit\u00e4t Dortmund (Germany), 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48683-6_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T12:36:50Z","timestamp":1737463010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48683-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662020","9783540486831"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48683-6_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"14 January 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}