{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:40Z","timestamp":1725664180848},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580218"},{"type":"electronic","value":"9783540484165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58021-2_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:06:47Z","timestamp":1330268807000},"page":"321-334","source":"Crossref","is-referenced-by-count":12,"title":["QPN-Tool for qualitative and quantitative analysis of queueing Petri nets"],"prefix":"10.1007","author":[{"given":"Falko","family":"Bause","sequence":"first","affiliation":[]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone-Marsan, G. Balbo, G. Conti. Performance Models of Multiprocessor Systems. MIT Press Series in Computer Science, 1986.","DOI":"10.1007\/978-94-009-5408-3_2"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone-Marsan","year":"1984","unstructured":"M. Ajmone-Marsan, G. Conti, G. Balbo. A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. A CM Transactions on Computer Systems, 2:93\u2013122, 1984.","journal-title":"A CM Transactions on Computer Systems"},{"key":"18_CR3","volume-title":"Queueing Petri Nets: a formalism for the combined qualitative and quantitative analysis of systems","author":"F. Bause","year":"1993","unstructured":"F. Bause. Queueing Petri Nets: a formalism for the combined qualitative and quantitative analysis of systems. In [21]."},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-642-75079-3_14","volume-title":"Proceedings of the 5th GI\/ITG-Fachtagung, Messung, Modellierung und Bewertung von Rechensystemen und Netzen","author":"F. Bause","year":"1989","unstructured":"F. Bause, H. Beilner. Eine Modellwelt zur Integration von Warteschlangen-und Petri-Netz-Modellen. In Proceedings of the 5th GI\/ITG-Fachtagung, Messung, Modellierung und Bewertung von Rechensystemen und Netzen, pages 190\u2013204. Gesellschaft f\u00fcr Informatik (GI), Braunschweig (Germany), September 1989."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"F. Bause, P. Buchholz, P. Kemper. Hierarchically Combined Queueing Petri Nets, 11th International Conference on Analysis and Optimizations of Systems, Discrete Event Systems, Sophia-Antipolis (France), June 1994.","DOI":"10.1007\/BFb0033546"},{"key":"18_CR6","volume-title":"Proceedings of the 3rd Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig","author":"F. Bause","year":"1993","unstructured":"F. Bause, P. Kemper. Queueing Petri nets. In Proceedings of the 3rd Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig. Technische Universit\u00e4t Braunschweig (Germany), May 1993."},{"key":"18_CR7","unstructured":"E. Gelenbe, G. Pujolle. Introduction to Queueing Networks. John Wiley & Sons, 1987."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"P. Buchholz. Die strukturierte Analyse Markovscher Modelle. Informatik-Fachberichte, 282, Springer, 1991.","DOI":"10.1007\/978-3-642-76923-8"},{"key":"18_CR9","unstructured":"P. Buchholz, J. Dunkel, B. M\u00fcller-Clostermann, M. Sczittnick, S. Z\u00e4ske. Quantitative Systemanalyse mit Markovschen Ketten. Eine Darstellung f\u00fcr Informatiker und Ingenieure Teubner-Verlag, to be published."},{"key":"18_CR10","unstructured":"G. Chiola, G. Bruno, T. Demaria. Introducing a Color Formalism into Generalized Stochastic Petri Nets. In Proceedings of the 9th International Workshop on Application and Theory of Petri Nets, Venice (Italy), pp 202\u2013215, 1988."},{"key":"18_CR11","unstructured":"G. Chiola. GreatSPN 1.5 Software Architecture. In Proceedings of the 5th International Conference Modeling Techniques and Tools for Computer Performance Evaluation, Torino (Italy), Feb. 1991."},{"key":"18_CR12","volume-title":"SPNP: Stochastic Petri Net Package","author":"G. Ciardo","year":"1989","unstructured":"G. Ciardo, J. Muppala, K. Trivedi. SPNP: Stochastic Petri Net Package. In [19]."},{"key":"18_CR13","series-title":"LNCS 691","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/3-540-56863-8_54","volume-title":"Application and Theory of Petri Nets 1993","author":"P. Kemper","year":"1993","unstructured":"P. Kemper. Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net. In M. Ajmone-Marsan, editor, Application and Theory of Petri Nets 1993, LNCS 691, pages 319\u2013338, Berlin, 1993. Springer."},{"key":"18_CR14","series-title":"LNCS 616","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-55676-1_15","volume-title":"Application and Theory of Petri Nets 199S","author":"P. Kemper","year":"1992","unstructured":"P. Kemper, F. Bause. An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets. In K. Jensen, editor, Application and Theory of Petri Nets 199S, LNCS 616, pages 263\u2013278, Berlin, 1992. Springer."},{"key":"18_CR15","unstructured":"L. Kleinrock. Queueing Systems. Volume 1: Theory. John Wiley and Sons, 1975."},{"key":"18_CR16","volume-title":"Concurrency and Nets, Advances of Petri Nets","author":"K. Lautenbach","year":"1987","unstructured":"K. Lautenbach. Linear algebraic calculation of deadlocks and traps. In K. Voss, H.J. Genrich, and G. Rozenberg, editors, Concurrency and Nets, Advances of Petri Nets, Berlin, 1987. Springer."},{"key":"18_CR17","unstructured":"J.L. Peterson. Petri Nets and the Modelling of Systems. MIT Press Series in Computer Science, 1981."},{"key":"18_CR18","unstructured":"Proceedings of the 2nd International Workshop on Petri Nets and Performance Models, Madison (USA). IEEE Computer Society Press, 1987."},{"key":"18_CR19","unstructured":"Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, Kyoto (Japan). IEEE Computer Society Press, 1989."},{"key":"18_CR20","unstructured":"Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Melbourne (Australia). IEEE Computer Society Press, 1991."},{"key":"18_CR21","unstructured":"Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse (France). IEEE Computer Society Press, 1993."},{"key":"18_CR22","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets. An Introduction, volume 4. EATCS Monographs on Theoretical Computer Science, Berlin, 1985, Springer."}],"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-58021-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:10:15Z","timestamp":1619572215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58021-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580218","9783540484165"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58021-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}