{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T21:24:50Z","timestamp":1776115490063,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"DOI":"10.1007\/s11227-026-08507-4","type":"journal-article","created":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T20:26:43Z","timestamp":1776112003000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Response-time analysis of a big data system with stochastic petri nets"],"prefix":"10.1007","volume":"82","author":[{"given":"Xiang","family":"Wei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiancheng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunyue","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,13]]},"reference":[{"issue":"10","key":"8507_CR1","doi-asserted-by":"publisher","first-page":"1738","DOI":"10.3390\/math8101738","volume":"8","author":"H Sun","year":"2020","unstructured":"Sun H, Rabbani MR, Sial MS, Yu S, Filipe JA, Cherian J (2020) Identifying big data\u2019s opportunities, challenges, and implications in finance. Mathematics 8(10):1738","journal-title":"Mathematics"},{"key":"8507_CR2","doi-asserted-by":"crossref","unstructured":"Ihde N, Marten P, Eleliemy A, Poerwawinata G, Silva P, Tolovski I, Ciorba FM, Rabl T (2022) A survey of big data, high performance computing, and machine learning benchmarks. In: Performance Evaluation and Benchmarking: 13th TPC Technology Conference, TPCTC 2021, pp. 98\u2013118. Springer","DOI":"10.1007\/978-3-030-94437-7_7"},{"issue":"8","key":"8507_CR3","doi-asserted-by":"publisher","first-page":"1206","DOI":"10.14778\/3389133.3389138","volume":"13","author":"M Dreseler","year":"2020","unstructured":"Dreseler M, Boissier M, Rabl T, Uflacker M (2020) Quantifying tpc-h choke points and their optimizations. Proc VLDB Endowment 13(8):1206\u20131220","journal-title":"Proc VLDB Endowment"},{"issue":"11","key":"8507_CR4","doi-asserted-by":"publisher","first-page":"1383","DOI":"10.1093\/comjnl\/bxs013","volume":"55","author":"J Ding","year":"2012","unstructured":"Ding J, Hillston J (2012) Numerically representing stochastic process algebra models. Comput J 55(11):1383\u20131397","journal-title":"Comput J"},{"key":"8507_CR5","doi-asserted-by":"crossref","unstructured":"Smith MJ, Gilmore S (2011) Visualisation for stochastic process algebras: The graphic truth. In: European Performance Engineering Workshop, pp. 310\u2013324. Springer","DOI":"10.1007\/978-3-642-24749-1_23"},{"issue":"4","key":"8507_CR6","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/s42514-023-00162-y","volume":"5","author":"O Wu","year":"2023","unstructured":"Wu O, Huang B, Li S, Wang Y, Li H (2023) A performance evaluation method of queuing theory based on cosmos cross-chain platform. CCF Trans High Perform Comput 5(4):465\u2013485","journal-title":"CCF Trans High Perform Comput"},{"issue":"9","key":"8507_CR7","doi-asserted-by":"publisher","first-page":"333","DOI":"10.3390\/systems12090333","volume":"12","author":"C Guo","year":"2024","unstructured":"Guo C, Song Y (2024) A new stochastic petri net modeling approach for the evolution of online public opinion on emergencies: Based on four real-life cases. Systems 12(9):333","journal-title":"Systems"},{"key":"8507_CR8","doi-asserted-by":"crossref","unstructured":"Haines S (2022) Getting started with apache spark. In: Modern Data Engineering with Apache Spark: A Hands-On Guide for Building Mission-Critical Streaming Applications, pp. 31\u201357. Apress","DOI":"10.1007\/978-1-4842-7452-1_2"},{"key":"8507_CR9","doi-asserted-by":"crossref","unstructured":"Balbo G (2000) Introduction to stochastic petri nets. In: School Organized by the European Educational Forum, pp. 84\u2013155. Springer","DOI":"10.1007\/3-540-44667-2_3"},{"key":"8507_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139226424","volume-title":"Performance modeling and design of computer systems: Queueing theory in action","author":"M Harchol-Balter","year":"2013","unstructured":"Harchol-Balter M (2013) Performance modeling and design of computer systems: Queueing theory in action. Cambridge University Press, Cambridge"},{"key":"8507_CR11","first-page":"1360-136","volume-title":"The art of computer systems performance analysis techniques for experimental design","author":"R Jain","year":"1990","unstructured":"Jain R (1990) The art of computer systems performance analysis techniques for experimental design. Measurement, Simulation and Modeling, pp 1360\u2013136"},{"key":"8507_CR12","doi-asserted-by":"publisher","DOI":"10.1002\/9781119453765","volume-title":"Fundamentals of queueing theory","author":"JF Shortle","year":"2018","unstructured":"Shortle JF, Thompson JM, Gross D, Harris CM (2018) Fundamentals of queueing theory. John Wiley & Sons, New Jersey"},{"issue":"1","key":"8507_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.ic.2005.07.002","volume":"203","author":"PR D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio PR, Katoen J-P (2005) A theory of stochastic systems. part ii: Process algebra. Inf Comput 203(1):39\u201374","journal-title":"Inf Comput"},{"key":"8507_CR14","doi-asserted-by":"crossref","unstructured":"Le-Anh T, Ishiguro K, Phung-Duc T (2023) Performance analysis of multi-server queueing systems with batch services and setup times. In: European Workshop on Performance Engineering, pp. 111\u2013122. Springer","DOI":"10.1007\/978-3-031-43185-2_8"},{"key":"8507_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J Hillston","year":"1996","unstructured":"Hillston J, Hillston J (1996) A compositional approach to performance modelling, vol 348. Cambridge University Press, Cambridge"},{"key":"8507_CR16","doi-asserted-by":"crossref","unstructured":"Ding J, Xie Y, Zhou M (2018) Performance modeling of spark computing platform. In: International Symposium on Artificial Intelligence and Robotics, pp. 121\u2013133. Springer","DOI":"10.1007\/978-3-030-04946-1_13"},{"issue":"2","key":"8507_CR17","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581194","volume":"26","author":"F Bause","year":"1998","unstructured":"Bause F, Kritzinger PS (1998) Stochastic petri nets: An introduction to the theory. ACM SIGMETRICS Perform Eval Rev 26(2):2\u20133","journal-title":"ACM SIGMETRICS Perform Eval Rev"},{"issue":"1\u20132","key":"8507_CR18","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G Chiola","year":"1995","unstructured":"Chiola G, Franceschinis G, Gaeta R, Ribaudo M (1995) Greatspn 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Perform Eval 24(1\u20132):47\u201368","journal-title":"Perform Eval"},{"key":"8507_CR19","doi-asserted-by":"crossref","unstructured":"Zimmermann A (2012) Modeling and evaluation of stochastic petri nets with timenet 4.1. In: 6th International ICST Conference on Performance Evaluation Methodologies and Tools, pp. 54\u201363","DOI":"10.4108\/valuetools.2012.250263"},{"key":"8507_CR20","doi-asserted-by":"crossref","unstructured":"Ciardo G, Muppala JK, Trivedi KS et al (1989) Spnp: Stochastic petri net package. In: PNPM, vol. 89, pp. 142\u2013151","DOI":"10.1109\/PNPM.1989.68548"},{"key":"8507_CR21","unstructured":"Silva B, Matos R, Callou G, Figueiredo J, Oliveira D, Ferreira J, Dantas J, Lobo A, Alves V, Maciel P (2015) Mercury: An integrated environment for performance and dependability evaluation of general systems. In: Proceedings of Industrial Track at 45th Dependable Systems and Networks Conference, DSN, pp. 1\u20134"},{"issue":"2","key":"8507_CR22","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G Chiola","year":"1993","unstructured":"Chiola G, Marsan MA, Balbo G, Conte G (1993) Generalized stochastic petri nets: a definition at the net level and its implications. IEEE Trans Software Eng 19(2):89\u2013107","journal-title":"IEEE Trans Software Eng"},{"issue":"3","key":"8507_CR23","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1109\/TR.2020.2998091","volume":"70","author":"H Hu","year":"2020","unstructured":"Hu H, Yu J, Li Z, Chen J, Hu H (2020) Modeling and analysis of cyber-physical system based on object-oriente generalized stochastic petri net. IEEE Trans Reliab 70(3):1271\u20131285","journal-title":"IEEE Trans Reliab"},{"issue":"6","key":"8507_CR24","doi-asserted-by":"publisher","first-page":"3750","DOI":"10.1109\/TSMC.2022.3232743","volume":"53","author":"CR Vazquez","year":"2023","unstructured":"Vazquez CR, Aguayo-Lara E (2023) Immediate transitions in timed continuous petri nets: Performance evaluation and control. IEEE Trans Syst Man Cybern Syst 53(6):3750\u20133761","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"issue":"6","key":"8507_CR25","doi-asserted-by":"publisher","first-page":"3311","DOI":"10.1109\/TSMC.2022.3225280","volume":"53","author":"S Tigane","year":"2022","unstructured":"Tigane S, Kahloul L, Hamani N, Khalgui M, Ali MA (2022) On quantitative properties preservation in reconfigurable generalized stochastic petri nets. IEEE Trans Syst Man Cybern Syst 53(6):3311\u20133323","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"issue":"3","key":"8507_CR26","doi-asserted-by":"publisher","first-page":"3580","DOI":"10.1109\/TCSS.2023.3335935","volume":"11","author":"W Yu","year":"2023","unstructured":"Yu W, Kong J, Hao F, Li J, Liu Y (2023) Formal modeling and analysis of user activity sequence in online social networks: A stochastic petri net-based approach. IEEE Trans Comput Soc Syst 11(3):3580\u20133593","journal-title":"IEEE Trans Comput Soc Syst"},{"key":"8507_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2023.100598","volume":"50","author":"A \u010colakovi\u0107","year":"2023","unstructured":"\u010colakovi\u0107 A (2023) Iot systems modeling and performance evaluation. Comput Sci Rev 50:100598","journal-title":"Comput Sci Rev"},{"issue":"5","key":"8507_CR28","doi-asserted-by":"publisher","first-page":"3113","DOI":"10.1109\/TSMC.2021.3062469","volume":"52","author":"Z Zhang","year":"2021","unstructured":"Zhang Z, Liu G, Barkaoui K, Li Z (2021) Adaptive deadlock control for a class of petri nets with unreliable resources. IEEE Trans Syst Man Cybern Syst 52(5):3113\u20133125","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"issue":"4","key":"8507_CR29","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s40860-024-00235-x","volume":"10","author":"C Brito","year":"2024","unstructured":"Brito C, Barbosa V, Lima LN, Rocha JW, Ara\u00fajo JM, Lopes L, Rego PA, Sales M, Callou G, F\u00e9 I et al (2024) Performance evaluation of a video surveillance system using stochastic petri nets for license plate detection on highways. J Reliable Int Environ 10(4):477\u2013488","journal-title":"J Reliable Int Environ"},{"issue":"2","key":"8507_CR30","doi-asserted-by":"publisher","first-page":"1409","DOI":"10.1007\/s12008-024-02059-8","volume":"19","author":"BS Urvashi","year":"2025","unstructured":"Urvashi BS (2025) Enhancing cast iron industry efficiency through stochastic petri nets simulation modeling of cylinder block systems. Int J Inter Des Manuf (IJIDeM) 19(2):1409\u20131422","journal-title":"Int J Inter Des Manuf (IJIDeM)"},{"key":"8507_CR31","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2024.103683","volume":"166","author":"L Zabala","year":"2025","unstructured":"Zabala L, Cristobo L, Ibarrola E, Ferro A (2025) Generalized stochastic petri net-based performance analysis of a wi-fi network probe in a dynamic qox management system. Ad Hoc Netw 166:103683","journal-title":"Ad Hoc Netw"},{"issue":"1","key":"8507_CR32","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10009-005-0188-7","volume":"8","author":"G Ciardo","year":"2006","unstructured":"Ciardo G, Marmorstein R, Siminiceanu R (2006) The saturation algorithm for symbolic state-space exploration. Int J Softw Tools Technol Transfer 8(1):4\u201325","journal-title":"Int J Softw Tools Technol Transfer"},{"issue":"6","key":"8507_CR33","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S Derisavi","year":"2003","unstructured":"Derisavi S, Hermanns H, Sanders WH (2003) Optimal state-space lumping in markov chains. Inf Process Lett 87(6):309\u2013315","journal-title":"Inf Process Lett"},{"key":"8507_CR34","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2024.101913","volume":"28","author":"S Chiaradonna","year":"2024","unstructured":"Chiaradonna S, Jevti\u0107 P, Sterner B (2024) Mpat: Modular petri net assembly toolkit. SoftwareX 28:101913","journal-title":"SoftwareX"},{"issue":"4","key":"8507_CR35","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1109\/TSE.2011.81","volume":"38","author":"M Tribastone","year":"2011","unstructured":"Tribastone M, Ding J, Gilmore S, Hillston J (2011) Fluid rewards for a stochastic process algebra. IEEE Trans Software Eng 38(4):861\u2013874","journal-title":"IEEE Trans Software Eng"},{"issue":"2","key":"8507_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3441680","volume":"31","author":"P Piho","year":"2021","unstructured":"Piho P, Hillston J (2021) Fluid approximation-based analysis for mode-switching population dynamics. ACM Trans Model Comput Simul (TOMACS) 31(2):1\u201326","journal-title":"ACM Trans Model Comput Simul (TOMACS)"},{"issue":"318","key":"8507_CR37","first-page":"1","volume":"25","author":"A Patterson","year":"2024","unstructured":"Patterson A, Neumann S, White M, White A (2024) Empirical design in reinforcement learning. J Mach Learn Res 25(318):1\u201363","journal-title":"J Mach Learn Res"},{"issue":"1","key":"8507_CR38","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1017\/jpr.2024.43","volume":"62","author":"Y Bai","year":"2025","unstructured":"Bai Y, Lam H (2025) Uncertainty quantification and confidence intervals for naive rare-event estimators. J Appl Probab 62(1):84\u2013110","journal-title":"J Appl Probab"},{"key":"8507_CR39","volume-title":"Simulation modeling and analysis","author":"AM Law","year":"2014","unstructured":"Law AM (2014) Simulation modeling and analysis, 5th edn. McGraw-Hill Education, New York, NY, USA","edition":"5"},{"key":"8507_CR40","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2024.104881","volume":"189","author":"M Garralda-Barrio","year":"2024","unstructured":"Garralda-Barrio M, Eiras-Franco C, Bol\u00f3n-Canedo V (2024) A novel framework for generic spark workload characterization and similar pattern recognition using machine learning. J Parallel Distrib Comput 189:104881","journal-title":"J Parallel Distrib Comput"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-026-08507-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-026-08507-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-026-08507-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T20:26:47Z","timestamp":1776112007000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-026-08507-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":40,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2026,4]]}},"alternative-id":["8507"],"URL":"https:\/\/doi.org\/10.1007\/s11227-026-08507-4","relation":{},"ISSN":["1573-0484"],"issn-type":[{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4,13]]},"assertion":[{"value":"16 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 April 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 April 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"349"}}