{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:39Z","timestamp":1726029999374},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_22","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"173-185","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Balbo","sequence":"first","affiliation":[]},{"given":"Gianfranco","family":"Ciardo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"issue":"12","key":"22_CR1","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MC.1979.1658580","volume":"12","author":"T Agerwala","year":"1979","unstructured":"T. Agerwala, Putting Petri nets to work. IEEE Computer 12(12), 85\u201394 (1979)","journal-title":"IEEE Computer"},{"issue":"2","key":"22_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Conte, G. Balbo, A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Trans. Comp. Syst. 2(2), 93\u2013122 (1984)","journal-title":"ACM Trans. Comp. Syst."},{"volume-title":"Proceedings of the International Workshop on Timed Petri Nets, Torino, July 1985","year":"1985","key":"22_CR3","unstructured":"M. Ajmone Marsan, G. Balbo, K. Trivedi (eds.), Proceedings of the International Workshop on Timed Petri Nets, Torino, July 1985 (IEEE-CS Press, Los Alamitos, 1985)"},{"key":"22_CR4","first-page":"30","volume-title":"Lecture Notes in Computer Science","author":"M. Ajmone Marsan","year":"1990","unstructured":"M. Ajmone Marsan, G. Chiola, A. Fumagalli, Improving the efficiency of the analysis of DSPN models, in Proc. 9th\nEnrop. Workshop Appl. and Theory of Petri Nets, ed. by G. Rozenberg. LNCS, vol. 424 (Springer, Berlin, 1988), pp. 30\u201350"},{"issue":"7","key":"22_CR5","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"M Ajmone Marsan","year":"1989","unstructured":"M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans. Softw. Eng. 15(7), 832\u2013846 (1989)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F Baskett","year":"1975","unstructured":"F. Baskett, K. Chandy, R. Muntz, F. Palacios, Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"key":"22_CR7","unstructured":"G. Balbo, M. Silva (eds.), Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques II, vol. 2 (Kronos, Zaragoza, 1998)"},{"issue":"3","key":"22_CR8","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0951-8320(93)90005-J","volume":"39","author":"J Bechta Dugan","year":"1993","unstructured":"J. Bechta Dugan, S. Bavuso, M. Boyd, Fault trees and Markov models for reliability analysis of fault-tolerant systems. Reliab. Eng. Syst. Safe. 39(3), 291\u2013307 (1993)","journal-title":"Reliab. Eng. Syst. Safe."},{"key":"22_CR9","first-page":"215","volume-title":"Analysis of large scale interacting systems by mean field method, in Proceedings of the QBST\u201908","author":"A Bobbio","year":"2008","unstructured":"A. Bobbio, M. Gribaudo, M. Telek, Analysis of large scale interacting systems by mean field method, in Proceedings of the QBST\u201908 (IEEE CS Press, Los Alamitos, 2008), pp. 215\u2013224"},{"key":"22_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/0471200581","volume-title":"Queueing Networks and Markov Chains","author":"G Bolch","year":"1998","unstructured":"G. Bolch, S. Greiner, H. Meer, K. Trivedi, Queueing Networks and Markov Chains (Wiley, New York, 1998)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"J. Bradley, R. Hayden, W. Knottenbelt, T. Suto, Extracting response times from fluid analysis of performance models. in Proceedings of the SIPEW\u201908, ed. by S. Kounev, I. Gerton, K. Sachs. LNCS, vol. 5119 (Springer, Berlin, 2008), pp. 29\u201343","DOI":"10.1007\/978-3-540-69814-2_4"},{"key":"22_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2008","unstructured":"C.G. Cassandras, S. Lafortune, Introduction to Discrete Event Systems (Springer, New York, 2008)"},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/356733.356737","volume":"10","author":"KM Chandy","year":"1978","unstructured":"K.M. Chandy, C.H. Sauer, Approximate methods for analyzing queueing network models of computer systems. ACM Comput. Surv. 10(3), 281\u2013317 (1978)","journal-title":"ACM Comput. Surv."},{"issue":"11","key":"22_CR14","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad, Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. Comput. 42(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Comput."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"G. Ciardo, Discrete-time Markovian stochastic Petri nets, in Computations with Markov Chains, ed. by W.J. Stewart. (Kluwer, Dordrecht, l995), pp. 339\u2013358","DOI":"10.1007\/978-1-4615-2241-6_20"},{"key":"22_CR16","unstructured":"A. Cumani, ESP - A package for the evaluation of stochastic Petri nets with phase-type distributed transition times, in Proc. Intern. Work. Timed Petri Nets (IEEE-CS Press, Los Alamitos, 1985), pp. 144\u2013151"},{"key":"22_CR17","unstructured":"C. Ericson, Fault tree analysis - a history, in Proceedings of the 17th International System Safety Conference (1999)"},{"key":"22_CR18","volume-title":"Principles of Discrete Event Simulation","author":"G Fishman","year":"1978","unstructured":"G. Fishman. Principles of Discrete Event Simulation (Wiley, New York, 1978)"},{"issue":"1","key":"22_CR19","first-page":"143","volume":"4","author":"G Florin","year":"1985","unstructured":"G. Florin, S. Natkin, Les reseaux de Petri stochastiques. Technique et Science Informatiques 4(1), 143\u2013160 (1985)","journal-title":"Technique et Science Informatiques"},{"issue":"9","key":"22_CR20","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/32.541434","volume":"22","author":"R Gaeta","year":"1996","unstructured":"R. Gaeta, Efficient discrete-event simulation of colored Petri nets. IEEE Trans. Softw. Eng. 22(9), 629\u2013639 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR21","first-page":"103","volume-title":"Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches, in Proceedings of the PNPM","author":"R German","year":"1995","unstructured":"R. German, D. Logothetis, K. Trivedi, Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches, in Proceedings of the PNPM (IEEE CS Press, Washington, 1995), pp. 103\u2013112"},{"issue":"3","key":"22_CR22","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/356733.356734","volume":"10","author":"G Graham","year":"1978","unstructured":"G. Graham, Queueing network models of computer system performance. ACM Comput. Surv. 10(3), 219\u2013224 (1978)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"22_CR23","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0166-5316(86)90017-9","volume":"6","author":"P Haas","year":"1986","unstructured":"P. Haas, G. Shedler, Regenerative stochastic Petri nets. Perf. Eval. 6(3), 189\u2013204 (1986)","journal-title":"Perf. Eval."},{"key":"22_CR24","unstructured":"K. Jensen, Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use, vols. 1\u20133 (Springer Inc., New York, 1997)"},{"key":"22_CR25","unstructured":"R. Jones, G. Ciardo, Regenerative simulation of stochastic Petri nets with discrete and continuous timing, in Proceedings of the PMCCS (2003), pp. 23\u201326"},{"key":"22_CR26","volume-title":"Modeling and Analysis: An Introduction to System Performance Evaluation Methodology","author":"H Kobayashi","year":"1978","unstructured":"H. Kobayashi, Modeling and Analysis: An Introduction to System Performance Evaluation Methodology (Addison-Wesley, Boston, Reading, 1978)"},{"issue":"7","key":"22_CR27","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"1","author":"TG Kurtz","year":"1970","unstructured":"T.G. Kurtz, Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 1(7), 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"key":"22_CR28","first-page":"295","volume-title":"An efficient method for unfolding colored Petri nets, in Winter Simulation Conference","author":"F Liu","year":"2012","unstructured":"F. Liu, M. Heiner, M. Yang, An efficient method for unfolding colored Petri nets, in Winter Simulation Conference (IEEE CS Press, Los Alamitos, 2012), p. 295"},{"issue":"9","key":"22_CR29","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"PM Merlin","year":"1976","unstructured":"P.M. Merlin, D.J. Farber, Recoverability of communication protocols: implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. Commun."},{"issue":"8","key":"22_CR30","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1109\/TC.1980.1675654","volume":"29","author":"J Meyer","year":"1980","unstructured":"J. Meyer, On evaluating the performability of degradable computing systems. IEEE Trans. Comput. 29(8), 720\u2013731 (1980)","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"22_CR31","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"MK Molloy","year":"1982","unstructured":"M.K. Molloy, Performance analysis using stochastic Petri nets. IEEE Trans. Comput. 31(9), 913\u2013917 (1982)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"22_CR32","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1985.232230","volume":"11","author":"MK Molloy","year":"1985","unstructured":"M.K. Molloy, Discrete time stochastic Petri nets. IEEE Trans. Softw. Eng. 11(2), 417\u2013423 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"volume-title":"Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987","year":"1987","key":"22_CR33","unstructured":"M. Molloy, T. Murata, M. Vernon (eds.) Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987 (IEEE-CS Press, Washington, 1987)"},{"issue":"9","key":"22_CR34","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1109\/TC.1973.5009150","volume":"31","author":"J Noe","year":"1973","unstructured":"J. Noe, G. Nutt, Macro e-nets representation of parallel systems. IEEE Trans. Comput. 31(9), 718\u2013727 (1973)","journal-title":"IEEE Trans. Comput."},{"key":"22_CR35","unstructured":"J. Peterson, Petri Net Theory and the Modeling of Systems (Prentice Hall, Upper Saddle River, 1981)"},{"key":"22_CR36","unstructured":"C. Petri, Communication with automata. Technical Report RADC-TR-65\u2013377, Rome Air Dev. Center, New York, 1966"},{"key":"22_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"W. Reisig, Petri Nets: An Introduction (Springer, Berlin, 1985)"},{"issue":"4","key":"22_CR38","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10626-011-0116-9","volume":"21","author":"M Silva","year":"2011","unstructured":"M. Silva, J. Julvez, C. Mahulea, C. Vazquez, On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynam. Syst. Theory Appl. 21(4), 427\u2013497 (2011)","journal-title":"Discrete Event Dynam. Syst. Theory Appl."},{"issue":"2","key":"22_CR39","first-page":"20","volume":"13","author":"F Symons","year":"1980","unstructured":"F. Symons, The description and definition of queueing systems by numerical Petri nets. Austr. Telecommun. Res. 13(2), 20\u201331 (1980)","journal-title":"Austr. Telecommun. Res."},{"key":"22_CR40","first-page":"307","volume-title":"Scalable differential analysis of large process algebra models, in Proceedings of the QEST\u201910","author":"M Tribastone","year":"2010","unstructured":"M. Tribastone, Scalable differential analysis of large process algebra models, in Proceedings of the QEST\u201910 (IEEE CS Press, Los Alamitos, 2010), p. 307"},{"issue":"1","key":"22_CR41","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M Tribastone","year":"2012","unstructured":"M. Tribastone, S. Gilmore, J. Hillston, Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 38(1), 205\u2013219 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"22_CR42","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.peva.2011.02.005","volume":"68","author":"M Wan","year":"2011","unstructured":"M. Wan, G. Ciardo, A. Miner, Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. Perf. Eval. 68(5), 463\u2013186 (2011)","journal-title":"Perf. Eval."}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:19:14Z","timestamp":1558689554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_22","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}