{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T09:10:10Z","timestamp":1748769010712,"version":"3.41.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319298160"},{"type":"electronic","value":"9783319298177"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-29817-7_9","type":"book-chapter","created":{"date-parts":[[2016,2,3]],"date-time":"2016-02-03T05:46:18Z","timestamp":1454478378000},"page":"93-106","source":"Crossref","is-referenced-by-count":5,"title":["Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets"],"prefix":"10.1007","author":[{"given":"Filip","family":"Nalepa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Batko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Zezula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Apache Storm. https:\/\/storm.apache.org\/"},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/2501654.2501664","volume":"45","author":"A Benoit","year":"2013","unstructured":"Benoit, A., \u00c7ataly\u00fcrek, \u00dc.V., Robert, Y., Saule, E.: A survey of pipelined workflow scheduling: models and algorithms. ACM Comput. Surv. (CSUR) 45(4), 50 (2013)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bouillard, A., Phan, L.T., Chakraborty, S.: Lightweight modeling of complex state dependencies in stream processing systems. In: 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, pp. 195\u2013204. IEEE (2009)","DOI":"10.1109\/RTAS.2009.27"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Phan, L.T., Thiagarajan, P.: Event count automata: a state-based model for stream processing systems. In: 26th IEEE International Real-Time Systems Symposium, RTSS 2005, pp. 87\u201398. IEEE (2005)","DOI":"10.1109\/RTSS.2005.21"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Thiele, L.: A new task model for streaming applications and its schedulability analysis. In: Proceedings of Design, Automation and Test in Europe, pp. 486\u2013491. IEEE (2005)","DOI":"10.1109\/DATE.2005.26"},{"key":"9_CR6","unstructured":"Gottumukkala, R.N., Shepherd, M.D., Sun, T.: Validation and analysis of jdf workflows using colored petri nets, 8 June 2010. US Patent 7,734,492"},{"key":"9_CR7","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)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/978-3-540-27793-4_28","volume-title":"Applications and Theory of Petri Nets 2004","author":"LM Kristensen","year":"2004","unstructured":"Kristensen, L.M., Petrucci, L.: An approach to distributed state space exploration for coloured petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 474\u2013483. Springer, Heidelberg (2004)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-319-22852-5_42","volume-title":"Database and Expert Systems Applications","author":"F Nalepa","year":"2015","unstructured":"Nalepa, F., Batko, M., Zezula, P.: Model for performance analysis of distributed stream processing applications. In: Chen, Q., Hameurlain, A., Toumani, F., Wagner, R., Decker, H. (eds.) DEXA 2015. LNCS, vol. 9262, pp. 520\u2013533. Springer, Heidelberg (2015)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Rygielski, P., Kounev, S.: Data center network throughput analysis using queueing petri nets. In: 2014 IEEE 34th International Conference on Distributed Computing Systems Workshops (ICDCSW), pp. 100\u2013105. IEEE (2014)","DOI":"10.1109\/ICDCSW.2014.11"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.future.2008.09.002","volume":"25","author":"M Wieczorek","year":"2009","unstructured":"Wieczorek, M., Hoheisel, A., Prodan, R.: Towards a general model of the multi-criteria workflow scheduling on the grid. Future Gener. Comput. Syst. 25(3), 237\u2013256 (2009)","journal-title":"Future Gener. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Mathematical and Engineering Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29817-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T08:49:44Z","timestamp":1748767784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29817-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319298160","9783319298177"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29817-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}