{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T07:47:32Z","timestamp":1764402452688},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029233"},{"type":"electronic","value":"9783642029240"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02924-0_1","type":"book-chapter","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T05:28:56Z","timestamp":1246426136000},"page":"1-15","source":"Crossref","is-referenced-by-count":3,"title":["Tagged Generalized Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Balbo","sequence":"first","affiliation":[]},{"given":"Massimiliano","family":"De Pierro","sequence":"additional","affiliation":[]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester (1995)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Balbo, G., De Pierro, M., Franceschinis, G.: Tagged generalized stochastic Petri nets. Technical Report (2009), http:\/\/www.di.unito.it\/~depierro\/articoli.html","DOI":"10.1007\/978-3-642-02924-0_1"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bause, F., Buchholz, P., Kemper, P.: Hierarchically combined Queueing Petri Nets. In: Proc. 11th Int. Conf. on Analysis and Optimization of Systems, Discrete Event Systems, Sophia-Antipolis, pp. 176\u2013182 (1994)","DOI":"10.1007\/BFb0033546"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-58021-2_18","volume-title":"Computer Performance Evaluation","author":"F. Bause","year":"1994","unstructured":"Bause, F., Kemper, P.: QPN-tool for qualitative and quantitative analysis of Queueing Petri Nets. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol.\u00a0794, pp. 321\u2013334. Springer, Heidelberg (1994)"},{"key":"1_CR5","first-page":"323","volume-title":"Proc. of the 3rd int. conf. on the Quantitative Evaluation of Systems 2006","author":"L. Bodrog","year":"2006","unstructured":"Bodrog, L., Horvath, G., Racz, S., Telek, M.: A tool support for automatic analysis based on the tagged customer approach. In: Proc. of the 3rd int. conf. on the Quantitative Evaluation of Systems 2006, Washington, DC, USA, pp. 323\u2013332. IEEE, Los Alamitos (2006)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.laa.2003.12.018","volume":"386","author":"J.T. Bradley","year":"2004","unstructured":"Bradley, J.T., Dingle, N.J., Knottenbelt, W.J., Wilson, H.J.: Hypergraph-based parallel computation of passage time densities in large semi-Markov models. Journal of Linear Algebra and its Applications\u00a0386, 311\u2013334 (2004)","journal-title":"Journal of Linear Algebra and its Applications"},{"key":"1_CR7","unstructured":"Dingle, N.J., Knottenbelt, W.J.: Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens. In: Proc. of the 3rd Int. Workshop on Practical Applications of Stochastic Modelling (PASM 2008) (September 2008)"},{"key":"1_CR8","first-page":"115","volume-title":"QEST 2006: Proceedings of the 3rd international conference QEST 2006","author":"S. Kounev","year":"2006","unstructured":"Kounev, S., Dutz, C., Buchmann, A.: QPME \u2013 Queueing Petri Net Modeling Environment. In: QEST 2006: Proceedings of the 3rd international conference QEST 2006, Washington, DC, USA, pp. 115\u2013116. IEEE CS, Los Alamitos (2006)"},{"key":"1_CR9","volume-title":"Modeling and Analysis of Stochastic Systems","author":"V.G. Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman & Hall, London (1995)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/PNPM.2003.1231538","volume-title":"Petri Nets and Performance Models 2003","author":"A.S. Miner","year":"2003","unstructured":"Miner, A.S.: Computing response time distributions using stochastic Petri nets and matrix diagrams. In: Petri Nets and Performance Models 2003, p. 10. IEEE, Los Alamitos (2003)"},{"key":"1_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2426-4","volume-title":"Probability, Stochastic Processes, and Queueing Theory: The Mathematics of Computer Performance Evaluation","author":"R. Nelson","year":"1995","unstructured":"Nelson, R.: Probability, Stochastic Processes, and Queueing Theory: The Mathematics of Computer Performance Evaluation. Springer, Heidelberg (1995)"},{"key":"1_CR12","volume-title":"Proc. of the 4th International Conference on Quantitative Evaluation of Systems (QEST 2007)","author":"T. Suto","year":"2007","unstructured":"Suto, T., Bradley, J.T., Knottenbelt, W.J.: Performance trees: Expressiveness and quantitative semantics. In: Proc. of the 4th International Conference on Quantitative Evaluation of Systems (QEST 2007), Edinburgh, UK. IEEE, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02924-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T04:49:11Z","timestamp":1558414151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02924-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029233","9783642029240"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02924-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}