{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:57Z","timestamp":1750308837049,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319597669"},{"type":"electronic","value":"9783319597676"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-59767-6_2","type":"book-chapter","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T03:44:19Z","timestamp":1496029459000},"page":"14-27","source":"Crossref","is-referenced-by-count":2,"title":["Improving Accuracy of a Network Model Basing on the Case Study of a Distributed System with a Mobile Application and an API"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Rz\u0105sa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Jamro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dariusz","family":"Rzonca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,30]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-642-12331-3_2","volume-title":"Modeling and Tools for Network Simulation","author":"GF Riley","year":"2010","unstructured":"Riley, G.F., Henderson, T.R.: The ns-3 network simulator. In: Wehrle, K., G\u00fcne\u015f, M., Gross, J. (eds.) Modeling and Tools for Network Simulation, pp. 15\u201334. Springer, Heidelberg (2010)"},{"issue":"2","key":"2_CR2","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/TSMCA.2012.2202107","volume":"43","author":"L Gniewek","year":"2013","unstructured":"Gniewek, L.: Sequential control algorithm in the form of fuzzy interpreted Petri net. IEEE Trans. Syst. Man Cybern. Syst. 43(2), 451\u2013459 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"7","key":"2_CR3","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1109\/TSE.2006.69","volume":"32","author":"S Kounev","year":"2006","unstructured":"Kounev, S.: Performance modeling and evaluation of distributed component-based systems using queueing Petri nets. IEEE Trans. Softw. Eng. 32(7), 486\u2013502 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2015\/490835","volume":"2015","author":"T Rak","year":"2015","unstructured":"Rak, T.: Response time analysis of distributed web systems using QPNs. Math. Probl. Eng. 2015, 1\u201310 (2015). doi: 10.1155\/2015\/490835 . Article ID 490835","journal-title":"Math. Probl. Eng."},{"issue":"4","key":"2_CR5","first-page":"405","volume":"33","author":"T Rak","year":"2009","unstructured":"Rak, T., Samolej, S.: Simulation and performance analysis of distributed internet systems using TCPNs. Informatica Int. J. Comput. Inform. 33(4), 405\u2013415 (2009)","journal-title":"Informatica Int. J. Comput. Inform."},{"key":"2_CR6","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-0-387-39388-9_11","volume-title":"Software Engineering Techniques: Design for Quality","author":"M Szpyrka","year":"2006","unstructured":"Szpyrka, M., Szmuc, T.: Integrated approach to modelling and analysis using RTCP-nets. In: Sacha, K. (ed.) Software Engineering Techniques: Design for Quality. IIFIP, vol. 227, pp. 115\u2013120. Springer, Boston (2006). doi: 10.1007\/978-0-387-39388-9_11"},{"issue":"9","key":"2_CR7","doi-asserted-by":"crossref","first-page":"1272","DOI":"10.1109\/TSMC.2014.2298379","volume":"44","author":"L Gniewek","year":"2014","unstructured":"Gniewek, L.: Coverability graph of fuzzy interpreted Petri net. IEEE Trans. Syst. Man Cybern. Syst. 44(9), 1272\u20131277 (2014)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"4","key":"2_CR8","doi-asserted-by":"crossref","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. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"2","key":"2_CR9","doi-asserted-by":"crossref","first-page":"375","DOI":"10.3233\/FUN-2006-742-310","volume":"74","author":"M Szpyrka","year":"2006","unstructured":"Szpyrka, M.: Analysis of RTCP-nets with reachability graphs. Fundamenta Informaticae 74(2), 375\u2013390 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Wells, L., Christensen, S., Kristensen, L.M., Mortensen, K.H.: Simulation based performance analysis of web servers. In: Proceedings 9th International Workshop on Petri Nets and Performance Models, pp. 59\u201368 (2001)","DOI":"10.1109\/PNPM.2001.953356"},{"key":"2_CR11","series-title":"A Guide to Modelling Verification, and Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for Systems Engineering","author":"C Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering. A Guide to Modelling Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"2_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-19419-6_17","volume-title":"Computer Networks","author":"W Rz\u0105sa","year":"2015","unstructured":"Rz\u0105sa, W.: Simulation-based analysis of a platform as a service infrastructure performance from a user perspective. In: Gaj, P., Kwiecie\u0144, A., Stera, P. (eds.) CN 2015. CCIS, vol. 522, pp. 182\u2013192. Springer, Cham (2015). doi: 10.1007\/978-3-319-19419-6_17"},{"key":"2_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-319-39207-3_15","volume-title":"Computer Networks","author":"W Rz\u0105sa","year":"2016","unstructured":"Rz\u0105sa, W., Rzonca, D.: Event-driven approach to modeling and performance estimation of a distributed control system. In: Gaj, P., Kwiecie\u0144, A., Stera, P. (eds.) CN 2016. CCIS, vol. 608, pp. 168\u2013179. Springer, Cham (2016). doi: 10.1007\/978-3-319-39207-3_15"},{"issue":"1","key":"2_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.7494\/csci.2017.18.1.21","volume":"18","author":"W Rz\u0105sa","year":"2017","unstructured":"Rz\u0105sa, W.: Predicting performance in a PaaS environment: a case study for a web application. Comput. Sci. [S.l.] 18(1), 21\u201339 (2017). http:\/\/dx.doi.org\/10.7494\/csci.2017.18.1.21","journal-title":"Comput. Sci. [S.l.]"},{"key":"2_CR15","series-title":"Modeling and Validation of Concurrent Systems","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets. Modeling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"2_CR16","unstructured":"Rz\u0105sa, W.: Timed colored Petri net based estimation of efficiency of the grid applications. Ph.D. thesis, AGH University of Science and Technology, Krak\u00f3w, Poland (2011)"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.compind.2015.03.007","volume":"71","author":"M Jamro","year":"2015","unstructured":"Jamro, M., Rzonca, D., Rz\u0105sa, W.: Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model. Comput. Ind. 71, 77\u201387 (2015). http:\/\/dx.doi.org\/10.1016\/j.compind.2015.03.007","journal-title":"Comput. Ind."},{"key":"2_CR18","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-02671-3_9","volume-title":"Computer Networks","author":"W Rz\u0105sa","year":"2009","unstructured":"Rz\u0105sa, W.: Combining timed colored Petri nets and real TCP implementation to reliably simulate distributed applications. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2009. CCIS, vol. 39, pp. 79\u201386. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02671-3_9"}],"container-title":["Communications in Computer and Information Science","Computer Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59767-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:44:37Z","timestamp":1750279477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59767-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319597669","9783319597676"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59767-6_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}