{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:15:12Z","timestamp":1759133712460,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642394072"},{"type":"electronic","value":"9783642394089"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39408-9_5","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T02:45:07Z","timestamp":1371005107000},"page":"52-66","source":"Crossref","is-referenced-by-count":7,"title":["Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets"],"prefix":"10.1007","author":[{"given":"Simonetta","family":"Balsamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gian-Luca Dei","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"5_CR1","doi-asserted-by":"publisher","first-page":"1520","DOI":"10.1016\/j.jss.2011.11.1042","volume":"85","author":"S. Balsamo","year":"2012","unstructured":"Balsamo, S., Harrison, P.G., Marin, A.: Methodological construction of product-form stochastic Petri nets for performance evaluation. Journal of Systems and Software\u00a085(7), 1520\u20131539 (2012)","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM\u00a022(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"issue":"7","key":"5_CR3","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1109\/32.297942","volume":"20","author":"R.J. Boucherie","year":"1994","unstructured":"Boucherie, R.J.: A characterisation of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Trans. on Software Eng.\u00a020(7), 536\u2013544 (1994)","journal-title":"IEEE Trans. on Software Eng."},{"issue":"9","key":"5_CR4","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/362342.362345","volume":"16","author":"J.P. Buzen","year":"1973","unstructured":"Buzen, J.P.: Computational algorithms for closed queueing networks with exponential servers. Commun. ACM\u00a016(9), 527\u2013531 (1973)","journal-title":"Commun. ACM"},{"issue":"3","key":"5_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0166-5316(95)00023-2","volume":"26","author":"J.L. Coleman","year":"1996","unstructured":"Coleman, J.L., Henderson, W., Taylor, P.G.: Product form equilibrium distributions and a convolution algorithm for Stochastic Petri nets. Perf. Eval.\u00a026(3), 159\u2013180 (1996)","journal-title":"Perf. Eval."},{"key":"5_CR6","first-page":"245","volume":"52","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability Issues for Petri Nets - a Survey. Bulletin of the European Association for Theoretical Computer Science\u00a052, 245\u2013262 (1994)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"656","DOI":"10.2307\/3214499","volume":"28","author":"E. Gelenbe","year":"1991","unstructured":"Gelenbe, E.: Product form networks with negative and positive customers. J. of Appl. Prob.\u00a028(3), 656\u2013663 (1991)","journal-title":"J. of Appl. Prob."},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"1947","DOI":"10.1016\/S0304-3975(02)00375-4","volume":"290","author":"P.G. Harrison","year":"2003","unstructured":"Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science\u00a0290(3), 1947\u20131986 (2003)","journal-title":"Theoretical Computer Science"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.laa.2004.02.020","volume":"386","author":"P.G. Harrison","year":"2004","unstructured":"Harrison, P.G.: Reversed processes, product forms and a non-product form. Linear Algebra and Its Applications\u00a0386, 359\u2013381 (2004)","journal-title":"Linear Algebra and Its Applications"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.tcs.2005.08.007","volume":"346","author":"P.G. Harrison","year":"2005","unstructured":"Harrison, P.G., Lee, T.T.: Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theoretical Computer Science\u00a0346(1), 161\u2013182 (2005)","journal-title":"Theoretical Computer Science"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1017\/S0334270000006573","volume":"31","author":"W. Henderson","year":"1989","unstructured":"Henderson, W., Lucic, D., Taylor, P.G.: A net level performance analysis of Stochastic Petri Nets. J. Austral. Math. Soc. Ser. B\u00a031, 176\u2013187 (1989)","journal-title":"J. Austral. Math. Soc. Ser. B"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0166-5316(91)90016-V","volume":"12","author":"A.A. Lazar","year":"1991","unstructured":"Lazar, A.A., Robertazzi, T.G.: Markovian Petri Net Protocols with Product Form Solution. Perf. Eval.\u00a012(1), 67\u201377 (1991)","journal-title":"Perf. Eval."},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/317499.317541","volume-title":"SIGMETRICS 1986\/PERFORMANCE 1986: Proc. of the 1986 ACM SIGMETRICS Int. Conf. on Computer Performance Modelling, Measurement and Evaluation","author":"J.Y. Le Boudec","year":"1986","unstructured":"Le Boudec, J.Y.: A BCMP extension to multiserver stations with concurrent classes of customers. In: SIGMETRICS 1986\/PERFORMANCE 1986: Proc. of the 1986 ACM SIGMETRICS Int. Conf. on Computer Performance Modelling, Measurement and Evaluation, pp. 78\u201391. ACM Press, New York (1986)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-02424-5_8","volume-title":"Applications and Theory of Petri Nets","author":"J. Mairesse","year":"2009","unstructured":"Mairesse, J., Nguyen, H.-T.: Deficiency Zero Petri Nets and Product Form. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol.\u00a05606, pp. 103\u2013122. Springer, Heidelberg (2009)"},{"issue":"11","key":"5_CR15","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/j.peva.2012.06.003","volume":"69","author":"A. Marin","year":"2012","unstructured":"Marin, A., Balsamo, S., Harrison, P.G.: Analysis of stochastic Petri nets with signals. Perform. Eval.\u00a069(11), 551\u2013572 (2012)","journal-title":"Perform. Eval."},{"key":"5_CR16","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. Wiley (1995)"},{"issue":"9","key":"5_CR17","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Trans. on Comput.\u00a031(9), 913\u2013917 (1982)","journal-title":"IEEE Trans. on Comput."},{"issue":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. of the IEEE"},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/322186.322195","volume":"27","author":"M. Resiser","year":"1980","unstructured":"Resiser, M., Lavenberg, S.S.: Mean Value Analysis of closed multichain queueing network. J. ACM\u00a027(2), 313\u2013320 (1980)","journal-title":"J. ACM"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0166-5316(96)00003-X","volume":"29","author":"M. Sereno","year":"1997","unstructured":"Sereno, M., Balbo, G.: Mean Value Analysis of stochastic Petri nets. Perform. Eval.\u00a029(1), 35\u201362 (1997)","journal-title":"Perform. Eval."}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39408-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T14:28:40Z","timestamp":1675780120000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39408-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642394072","9783642394089"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39408-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}