{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:51:59Z","timestamp":1773330719072,"version":"3.50.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319912677","type":"print"},{"value":"9783319912684","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-91268-4_14","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T16:27:38Z","timestamp":1525710458000},"page":"272-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["One Net Fits All"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Junges","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047","volume-title":"Reliability and Availability Engineering: Modeling, Analysis, and Applications","author":"KS Trivedi","year":"2017","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press, Cambridge (2017)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.: Fault trees and sequence dependencies. In: Proceedings of RAMS, pp. 286\u2013293. IEEE (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of DSN, pp. 299\u2013310 (2016)","DOI":"10.1109\/DSN.2016.35"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"MA Marsan","year":"1984","unstructured":"Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM TOCS 2(2), 93\u2013122 (1984)","journal-title":"ACM TOCS"},{"key":"14_CR6","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Hoboken (1995)"},{"issue":"2","key":"14_CR7","first-page":"45","volume":"127","author":"DC Raiteri","year":"2005","unstructured":"Raiteri, D.C.: The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation. ENTCS 127(2), 45\u201360 (2005)","journal-title":"ENTCS"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Bobbio, A., Raiteri, D.C.: Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of RAMS, pp. 459\u2013465. IEEE (2004)","DOI":"10.1109\/RAMS.2004.1285491"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/TSE.2003.1183940","volume":"29","author":"A Bobbio","year":"2003","unstructured":"Bobbio, A., Franceschinis, G., Gaeta, R., Portinale, L.: Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Trans. Softw. Eng. 29(3), 270\u2013287 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"21","key":"14_CR10","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.ifacol.2015.09.569","volume":"48","author":"S Kabir","year":"2015","unstructured":"Kabir, S., Walker, M., Papadopoulos, Y.: Quantitative evaluation of Pandora temporal fault trees via Petri nets. IFAC-PapersOnLine 48(21), 458\u2013463 (2015)","journal-title":"IFAC-PapersOnLine"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: a case study on dynamic fault trees. In: Proceedings of ISSRE, pp. 270\u2013282 (2000)","DOI":"10.1109\/ISSRE.2000.885878"},{"issue":"2","key":"14_CR12","first-page":"128","volume":"7","author":"H Boudali","year":"2010","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE TDSC 7(2), 128\u2013143 (2010)","journal-title":"IEEE TDSC"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TII.2017.2710316","volume":"14","author":"M Volk","year":"2018","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. 14(1), 370\u2013379 (2018)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: Proceedings of LICS, pp. 342\u2013351. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.41"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2_3","volume-title":"Interactive Markov Chains: The Quest for Quantified Quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains: The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45804-2_3"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-38697-8_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"C Eisentraut","year":"2013","unstructured":"Eisentraut, C., Hermanns, H., Katoen, J.-P., Zhang, L.: A semantics for every GSPN. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 90\u2013109. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38697-8_6"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Sullivan, K., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: Proceedings of FTCS, pp. 232\u2013235 (1999)","DOI":"10.1109\/FTCS.1999.781056"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-40793-2_27","volume-title":"Computer Safety, Reliability, and Security","author":"F Arnold","year":"2013","unstructured":"Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 293\u2013301. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_27"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A Storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"issue":"4","key":"14_CR20","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"KS Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.A.: SHARPE at the age of twenty two. SIGMETRICS Perform. Eval. Rev. 36(4), 52\u201357 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"4","key":"14_CR21","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1530873.1530885","volume":"36","author":"G Ciardo","year":"2009","unstructured":"Ciardo, G., Miner, A.S., Wan, M.: Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Perform. Eval. Rev. 36(4), 58\u201363 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"4","key":"14_CR22","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., Pierro, M.D., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4\u20139 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-10696-0_13","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G.: A new GreatSPN GUI for GSPN editing and CSLTA model checking. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 170\u2013173. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10696-0_13"},{"issue":"7","key":"14_CR24","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1016\/j.ress.2007.03.013","volume":"93","author":"S Montani","year":"2008","unstructured":"Montani, S., Portinale, L., Bobbio, A., Raiteri, D.C.: Radyban: a tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliab. Eng. Syst. Saf. 93(7), 922\u2013932 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"14_CR25","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/TR.2005.859228","volume":"55","author":"H Boudali","year":"2006","unstructured":"Boudali, H., Dugan, J.B.: A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Trans. Reliab. 55(1), 86\u201397 (2006)","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"14_CR26","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0951-8320(03)00143-1","volume":"82","author":"M Bouissou","year":"2003","unstructured":"Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82(2), 149\u2013163 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.ress.2015.04.017","volume":"142","author":"A Rauzy","year":"2015","unstructured":"Rauzy, A., Bl\u00e9riot-Fabre, C.: Towards a sound semantics for dynamic fault trees. Reliab. Eng. Syst. Saf. 142, 184\u2013191 (2015)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"1","key":"14_CR28","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/qre.1487","volume":"30","author":"G Merle","year":"2014","unstructured":"Merle, G., Roussel, J.M., Lesage, J.J.: Quantitative analysis of dynamic fault trees based on the structure function. Qual. Reliab. Eng. Int. 30(1), 143\u2013156 (2014)","journal-title":"Qual. Reliab. Eng. Int."},{"issue":"10","key":"14_CR29","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1016\/j.conengprac.2008.10.003","volume":"17","author":"M Walker","year":"2009","unstructured":"Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: towards a full implementation of the fault tree handbook. Control Eng. Pract. 17(10), 1115\u20131125 (2009)","journal-title":"Control Eng. Pract."},{"issue":"22","key":"14_CR30","doi-asserted-by":"publisher","first-page":"91","DOI":"10.3182\/20130904-3-UK-4041.00043","volume":"46","author":"D Chen","year":"2013","unstructured":"Chen, D., Mahmud, N., Walker, M., Feng, L., L\u00f6nn, H., Papadopoulos, Y.: Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. IFAC Proc. Vol. 46(22), 91\u201396 (2013)","journal-title":"IFAC Proc. Vol."},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-319-25423-4_19","volume-title":"Formal Methods and Software Engineering","author":"D Guck","year":"2015","unstructured":"Guck, D., Spel, J., Stoelinga, M.: DFTCalc: reliability centered maintenance via fault tree analysis (tool paper). In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 304\u2013311. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25423-4_19"},{"issue":"5","key":"14_CR32","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1016\/j.ress.2010.12.027","volume":"96","author":"DC Raiteri","year":"2011","unstructured":"Raiteri, D.C.: Integrating several formalisms in order to increase fault trees\u2019 modeling power. Reliab. Eng. Syst. Saf. 96(5), 534\u2013544 (2011)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Junges, S., Katoen, J.P., Stoelinga, M., Volk, M.: One net fits all: a unifying semantics of dynamic fault trees using GSPNs. CoRR abs\/1803.05376 (2018)","DOI":"10.1007\/978-3-319-91268-4_14"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Manian, R., Coppit, D.W., Sullivan, K.J., Dugan, J.B.: Bridging the gap between systems and dynamic fault tree models. In: Proceedings of RAMS, pp. 105\u2013111 (1999)","DOI":"10.1109\/RAMS.1999.744104"},{"issue":"6","key":"14_CR35","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J Engelfriet","year":"1991","unstructured":"Engelfriet, J.: Branching processes of Petri nets. Acta Inform. 28(6), 575\u2013591 (1991)","journal-title":"Acta Inform."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91268-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T08:54:54Z","timestamp":1751619294000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91268-4_14"}},"subtitle":["A Unifying Semantics of Dynamic Fault Trees Using GSPNs"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912677","9783319912684"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91268-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bratislava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/interes.institute\/petrinets2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}