{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:12:58Z","timestamp":1730290378344,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pnpm.1993.393439","type":"proceedings-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T15:43:39Z","timestamp":1041263019000},"page":"14-23","source":"Crossref","is-referenced-by-count":58,"title":["Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems"],"prefix":"10.1109","author":[{"given":"F.","family":"Bause","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Performan ce Evaluation of concurrent programs modeled by timed PQ-net","author":"chou","year":"1987","journal-title":"Computer Software and Applications Conference (COMPSAC)"},{"key":"ref11","volume":"1","author":"jensen","year":"1992","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"key":"ref12","article-title":"An Efficient Polynomial-Time Algorithm to decide Liveness and Boundedness of Free-Choice Nets","author":"kemper","year":"1992","journal-title":"International Conference on Application and Theory of Petri Nets"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01158397"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1500774.1500807"},{"key":"ref16","first-page":"191","article-title":"A comparison of performance Petri Nets and Queueing Network models","author":"vernon","year":"1987","journal-title":"Proc Int Workshop Modeling Techniques Performance Evaluation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/12.5986"},{"journal-title":"Performance Models of Multiprocessor Systems","year":"1986","author":"ajmone-marsan","key":"ref3"},{"journal-title":"Analysis of a combined Queueing-? etri Network World","year":"1991","author":"bause","key":"ref6"},{"key":"ref5","first-page":"190","article-title":"Eine Modellwelt zur Integration von Warteschlangeri- und Petri-Netz-Modellen","author":"beilner","year":"1989","journal-title":"Proc 5 GI-ITG-Fachtagung \"Messung Modellierung und Bewertung von Rechcnsystemen und Netzen"},{"journal-title":"Q PN-Tool USERS's GUIDE","year":"1991","author":"bause","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-06730-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"ref1","first-page":"1","volume":"424","author":"ajmone-marsan","year":"1989","journal-title":"Advances in Petri Nets"},{"key":"ref9","first-page":"168","article-title":"Structure theory of Petri Nets: the free choice hiatus. Petri Nets. Central Models and Their Properties. Advances in Petri Nets","volume":"254","author":"best","year":"1986","journal-title":"Proc of an Advanced Course Bad Honnef"}],"event":{"name":"5th International Workshop on Petri Nets and Performance Models","acronym":"PNPM-93","location":"Toulouse, France"},"container-title":["Proceedings of 5th International Workshop on Petri Nets and Performance Models"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/3141\/8950\/00393439.pdf?arnumber=393439","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T23:16:21Z","timestamp":1489014981000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/393439\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/pnpm.1993.393439","relation":{},"subject":[]}}