{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:53:08Z","timestamp":1771026788158,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540649496","type":"print"},{"value":"9783540680611","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-68061-6_32","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T06:02:15Z","timestamp":1186466535000},"page":"356-359","source":"Crossref","is-referenced-by-count":32,"title":["A Toolbox for Functional and Quantitative Analysis of DEDS"],"prefix":"10.1007","author":[{"given":"Falko","family":"Bause","sequence":"first","affiliation":[]},{"given":"Peter","family":"Buchholz","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,16]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"F. Bause. Queueing Petri Nets \u2014 A formalism for the combined qualitative and quantitative analysis of systems Proc. of the 5th International Workshop on Petri Nets and Performance Models, Toulouse (France), pp. 14\u201323, 1993.","DOI":"10.1109\/PNPM.1993.393439"},{"key":"32_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0024318","volume-title":"Quantitative Evaluation of Computing and Communication Systems","author":"F. Bause","year":"1995","unstructured":"F. Bause, P. Buchholz, P. Kemper. QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets. H. Beilner, F. Bause (eds.); Quantitative Evaluation of Computing and Communication Systems, Springer LNCS 977, pp. 224\u2013238."},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"F. Bause, P. Buchholz, P. Kemper. A toolbox for functional and quantitative analysis of DEDS. Universit\u00e4t Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 680, 1998.","DOI":"10.1007\/3-540-68061-6_32"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"F. Bause, H. Kabutz, P. Kemper, P Kritzinger. SDL and Petri net performance analysis of Communicating systems. Proc. of the 15th International Symposium on Protocol Specification, Testing and Verification, Warsaw (Poland), June 1995.","DOI":"10.1007\/978-0-387-34892-6_17"},{"key":"32_CR5","first-page":"9","volume":"49","author":"F. Bause","year":"1995","unstructured":"F. Bause, P. Kemper, P. Kritzinger. Abstract Petri Net Notation. Petri Net Newsletters, No. 49, pp. 9\u201327, 1995.","journal-title":"Petri Net Newsletters"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"P. Buchholz. Equivalence relations for stochastic automata networks. W. J. Stewart (ed.), Computation with Markov Chains: Proc. of the 2nd Int. Workshop on the Numerical Solution of Markov Chains, Kluwer Int. Publishers (1995), 197\u2013216.","DOI":"10.1007\/978-1-4615-2241-6_13"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"P. Buchholz. Hierarchical structuring of superposed GSPNs. Proc. of the 7th Int. Workshop on Petri Nets and Performance Models (PNPM\u201997), IEEE CS-Press, 1997, 81\u201390.","DOI":"10.1109\/PNPM.1997.595539"},{"key":"32_CR8","unstructured":"P. Buchholz. Iterative decomposition and aggregation of labeled GSPNs. Accepted for ATPN\u201998."},{"key":"32_CR9","unstructured":"P. Buchholz, P. Kemper. On generating a hierarchy for GSPN analysis. To appear in Performance evaluation review."},{"key":"32_CR10","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":"32_CR11","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":"32_CR12","unstructured":"P. Kemper and R. L\u00fcbeck. Model checking based on Kronecker algebra. Universit\u00e4t Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 669, 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-68061-6_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:04:53Z","timestamp":1737349493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-68061-6_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649496","9783540680611"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-68061-6_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}