{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:12:41Z","timestamp":1751688761173,"version":"3.41.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924588"},{"type":"electronic","value":"9783319924595"}],"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-92459-5_24","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T17:39:27Z","timestamp":1527529167000},"page":"300-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Consequences of the Form of Restrictions in Coloured Petri Net Models for Behaviour of Arrival Stream Generator Used in\u00a0Performance Evaluation"],"prefix":"10.1007","author":[{"given":"Dariusz","family":"Rzonca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Rz\u0105sa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u0142awomir","family":"Samolej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Bause, F.: Queueing Petri Nets - a formalism for the combined qualitative and quantitative analysis of systems. In: PNPM 1993, pp. 14\u201323. IEEE Press (1993)","DOI":"10.1109\/PNPM.1993.393439"},{"key":"24_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/0471791571","volume-title":"Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications","author":"G Bolch","year":"2006","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, 2nd edn. Wiley, Hoboken (2006)","edition":"2"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s00170-013-4755-x","volume":"67","author":"R Caprihan","year":"2013","unstructured":"Caprihan, R., Kumar, A., Stecke, K.E.: Evaluation of the impact of information delays on flexible manufacturing systems performance in dynamic scheduling environments. Int. J. Adv. Manuf. Technol. 67, 311\u2013338 (2013)","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"24_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5301-1","volume-title":"Fundamentals of Queueing Networks","author":"H Chen","year":"2001","unstructured":"Chen, H., Yao, D.D.: Fundamentals of Queueing Networks. Springer, New York (2001). https:\/\/doi.org\/10.1007\/978-1-4757-5301-1"},{"key":"24_CR5","doi-asserted-by":"publisher","DOI":"10.1201\/9781584889878","volume-title":"Performance Analysis of Queuing and Computer Networks","author":"GR Dattatreya","year":"2008","unstructured":"Dattatreya, G.R., Sahni, S.: Performance Analysis of Queuing and Computer Networks. Chapman and Hall, New York (2008)"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s11227-010-0544-6","volume":"63","author":"R Davidrajuh","year":"2013","unstructured":"Davidrajuh, R.: Distributed workflow based approach for eliminating redundancy in virtual enterprising. J. Supercomput. 63(1), 107\u2013125 (2013)","journal-title":"J. Supercomput."},{"volume-title":"Petri Nets, Fundamental Models, Verification and Applications","year":"2009","key":"24_CR7","unstructured":"Diaz, M. (ed.): Petri Nets, Fundamental Models, Verification and Applications. Wiley, Hoboken (2009)"},{"key":"24_CR8","volume-title":"Computer Systems Performance Evaluation and Prediction","author":"JP Fortier","year":"2003","unstructured":"Fortier, J.P., Michel, H.E.: Computer Systems Performance Evaluation and Prediction. Elsevier, Burlington (2003)"},{"key":"24_CR9","doi-asserted-by":"publisher","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. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-662-05324-9"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.compind.2015.03.007","volume":"71","author":"M Jamro","year":"2015","unstructured":"Jamro, M., Rzonca, D., Rza\u0327sa, W.: Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model. Comput. Ind. 71, 77\u201387 (2015)","journal-title":"Comput. Ind."},{"key":"24_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112"},{"issue":"7","key":"24_CR12","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1109\/TSE.2006.69","volume":"32","author":"S Kounev","year":"2006","unstructured":"Kounev, S.: Performance modelling and evaluation of distributed component-based systems using Queuing Petri Nets. IEEE Trans. Softw. Eng. 32(7), 486\u2013502 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"volume-title":"Performance Evaluation of ATM Networks","year":"2000","key":"24_CR13","unstructured":"Kouvatsos, D. (ed.): Performance Evaluation of ATM Networks. Kluwer, Boston (2000)"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Lenz, K., Mevius, M., Oberweis, A.: Process-oriented business performance management with Petri nets. In: The 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE 2005, Proceedings, pp. 89\u201392. IEEE (2005)","DOI":"10.1109\/EEE.2005.107"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Mortensen, K.H.: Efficient data-structures and algorithms for a Coloured Petri Nets simulator. In: Proceedings of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, 29\u201331 August 2001","DOI":"10.7146\/dpb.v30i554.7111"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Noorshams, Q., Rostami, K., Kounev, S., Reussner, R.: Modeling of I\/O performance interference in virtualized environments with Queueing Petri Nets. In: 22nd International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems. IEEE (2014)","DOI":"10.1109\/MASCOTS.2014.48"},{"key":"24_CR17","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-07941-7_11","volume-title":"Computer Networks","author":"R Olejnik","year":"2014","unstructured":"Olejnik, R.: Modelling of half-duplex radio access for HopeMesh experimental WMN using Petri Nets. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2014. CCIS, vol. 431, pp. 108\u2013117. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07941-7_11"},{"key":"24_CR18","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-319-59767-6_26","volume-title":"Computer Networks","author":"T Rak","year":"2017","unstructured":"Rak, T.: Performance modeling using Queueing Petri Nets. In: Gaj, P., Kwiecie\u0144, A., Sawicki, M. (eds.) CN 2017. CCIS, vol. 718, pp. 321\u2013335. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59767-6_26"},{"issue":"4","key":"24_CR19","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. Inf. 33(4), 405\u2013415 (2009)","journal-title":"Informatica Int. J. Comput. Inf."},{"key":"24_CR20","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). https:\/\/doi.org\/10.1007\/978-3-642-02671-3_9"},{"key":"24_CR21","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":"24_CR22","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38865-1_1","volume-title":"Computer Networks","author":"W Rz\u0105sa","year":"2013","unstructured":"Rz\u0105sa, W.: Synchronization algorithm for timed Colored Petri Nets and Ns-2 simulators. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2013. CCIS, vol. 370, pp. 1\u201310. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38865-1_1"},{"key":"24_CR23","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). https:\/\/doi.org\/10.1007\/978-3-319-19419-6_17"},{"key":"24_CR24","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). https:\/\/doi.org\/10.1007\/978-3-319-39207-3_15"},{"key":"24_CR25","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-319-59767-6_2","volume-title":"Computer Networks","author":"W Rz\u0105sa","year":"2017","unstructured":"Rz\u0105sa, W., Jamro, M., Rzonca, D.: Improving accuracy of a network model basing on the case study of a distributed system with a mobile application and an API. In: Gaj, P., Kwiecie\u0144, A., Sawicki, M. (eds.) CN 2017. CCIS, vol. 718, pp. 14\u201327. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59767-6_2"},{"issue":"1","key":"24_CR26","doi-asserted-by":"publisher","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. 18(1), 21\u201339 (2017)","journal-title":"Comput. Sci."},{"key":"24_CR27","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-02671-3_31","volume-title":"Computer Networks","author":"D Rzo\u0144ca","year":"2009","unstructured":"Rzo\u0144ca, D., Trybus, B.: Hierarchical Petri Net for the CPDev virtual machine with communications. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2009. CCIS, vol. 39, pp. 264\u2013271. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02671-3_31"},{"key":"24_CR28","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-13861-4_33","volume-title":"Computer Networks","author":"D Rzo\u0144ca","year":"2010","unstructured":"Rzo\u0144ca, D., Sadolewski, J., Trybus, B.: OPC data acquisition server for CPDev engineering environment. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2010. CCIS, vol. 79, pp. 315\u2013321. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13861-4_33"},{"key":"24_CR29","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-21771-5_43","volume-title":"Computer Networks","author":"D Rzo\u0144ca","year":"2011","unstructured":"Rzo\u0144ca, D., Stec, A., Trybus, B.: Data acquisition server for mini distributed control system. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2011. CCIS, vol. 160, pp. 398\u2013406. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21771-5_43"},{"key":"24_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-22386-0_10","volume-title":"Software Engineering Techniques","author":"S Samolej","year":"2011","unstructured":"Samolej, S., Szmuc, T.: HTCPNs-based tool for web-server clusters development. In: Huzar, Z., Koci, R., Meyer, B., Walter, B., Zendulka, J. (eds.) CEE-SET 2008. LNCS, vol. 4980, pp. 131\u2013142. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22386-0_10"},{"key":"24_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-28038-2_8","volume-title":"Advances in Software Engineering Techniques","author":"S Samolej","year":"2012","unstructured":"Samolej, S., Szmuc, T.: HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) CEE-SET 2009. LNCS, vol. 7054, pp. 97\u2013108. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28038-2_8"},{"issue":"1","key":"24_CR32","first-page":"139","volume":"3","author":"S Samolej","year":"2009","unstructured":"Samolej, S., Szmuc, T.: Web-server systems HTCPNs-based development tool application in load balance modelling, e-Informatica. Softw. Eng. J. 3(1), 139\u2013153 (2009)","journal-title":"Softw. Eng. J."},{"issue":"2010","key":"24_CR33","first-page":"174","volume":"86","author":"S Samolej","year":"2010","unstructured":"Samolej, S., Szmuc, T.: HTCPNs-based analysis of priority-based internet requests scheduling. Przeglad Elektrotechniczny 86(2010), 174\u2013178 (2010)","journal-title":"Przeglad Elektrotechniczny"},{"key":"24_CR34","doi-asserted-by":"crossref","unstructured":"Wells, L., et al.: Simulation based performance analysis of web servers. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, p. 59. IEEE (2001)","DOI":"10.1109\/PNPM.2001.953356"},{"key":"24_CR35","doi-asserted-by":"crossref","unstructured":"Wells, L.: Performance analysis using CPN tools. In: Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools, p. 59 (2006)","DOI":"10.1145\/1190095.1190171"}],"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-92459-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:17:19Z","timestamp":1751660239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92459-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924588","9783319924595"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92459-5_24","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}