{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:44:22Z","timestamp":1725871462941},"publisher-location":"Singapore","reference-count":32,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811030222"},{"type":"electronic","value":"9789811030239"}],"license":[{"start":{"date-parts":[[2016,11,23]],"date-time":"2016-11-23T00:00:00Z","timestamp":1479859200000},"content-version":"tdm","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":[[2017]]},"DOI":"10.1007\/978-981-10-3023-9_139","type":"book-chapter","created":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T20:27:38Z","timestamp":1570652858000},"page":"894-899","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Survey on CPN Applications in Cloud Computing"],"prefix":"10.1007","author":[{"given":"Rustam Rakhimov","family":"Igorevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dugki","family":"Min","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,23]]},"reference":[{"key":"139_CR1","unstructured":"Petri, C.: Kommunikation mit Automaten. Bonn: Institut fur Instrumentelle Mathematik. Schriften des IIM, no. 2 (1962)"},{"key":"139_CR2","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4 (1985)"},{"key":"139_CR3","unstructured":"Jensen, K.: A brief introduction to Colored Petri Nets. In: Workshop on the Applicability of Formal Models, Aarhus, Denmark (1998)"},{"key":"139_CR4","unstructured":"Jensen, K.: An introduction to the theoretical aspects of Colored Petri Nets. In: Workshop on the Applicability of Formal Models, Aarhus, Denmark (1998)"},{"key":"139_CR5","unstructured":"Jensen, K.: Coloured Petri Nets; Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, Monographs in Theoretical Computer Science, vol. 1 (1992)"},{"key":"139_CR6","unstructured":"Jensen, K.: Basic Concepts, Monographs in Theoretical Computer Science, vol. 1. Springer, Berlin (1992). Analysis Methods, Monographs in Theoretical Computer Science, vol. 2 (1994)"},{"key":"139_CR7","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Practical use, Monographs in Theoretical Computer Science, vol. 3 (1997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"139_CR8","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"139_CR9","unstructured":"Ullman, J.D.: Elements of ML Programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"139_CR10","unstructured":"Bendoukha, S., Wagner, T.: Cloud transition: integrating cloud calls into workflow Petri Nets. In: CEUR Workshop Proceedings, vol. 851, pp. 215\u2013216 (2012)"},{"key":"139_CR11","unstructured":"Li, Y., Boucelma, O.: A CPN provenance model of workflow: towards diagnosis in the cloud. In: CEUR Workshop Proceedings, vol. 789, pp. 55\u201364 (2011)"},{"key":"139_CR12","unstructured":"Hou, Q., Xie, Q., Li, S.: Development and application of lightweight cloud platform workflow system. Comput. Model. New Technol. 18, 197\u2013201 (2014)"},{"key":"139_CR13","unstructured":"Joo, K., Kim, S., Kim, D.: Cost-aware workflow scheduling scheme based on colored Petri-net model in cloud. In: International Conference on Future Web (ICFW 2014), Nov. 2014"},{"key":"139_CR14","doi-asserted-by":"crossref","unstructured":"Zeng, W., Kounty, M., Watson, P.: Formal verification of secure information flow in cloud computing. J. Inf. Secur. Appl. 27\u201328, 103\u2013116 (2016)","DOI":"10.1016\/j.jisa.2016.03.002"},{"key":"139_CR15","unstructured":"Fitch, D., Xu, H.: A Petri net model for secure and fault-tolerant cloud-based information storage. In: Seke, pp. 333\u2013339 (2012)"},{"key":"139_CR16","doi-asserted-by":"crossref","unstructured":"Jasiul, B., Szpyrka, M., Sliwa, J.: Detection and modeling of cyber attacks with Petri nets. Entropy 16, 6602\u20136623 (2014)","DOI":"10.3390\/e16126602"},{"key":"139_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-04164-8_3","volume-title":"Semantics and Algebraic Specification","author":"H Huang","year":"2009","unstructured":"Huang, H., Kirchner, H.: Component-based security policy design with colored Petri nets. In: Palsberg, J. (ed.). LNCS, vol. 5700, pp. 21\u201342Springer, Heidelberg (2009). doi:\n                    10.1007\/978-3-642-04164-8_3"},{"key":"139_CR18","unstructured":"Nishida, S., Shinkawa, Y.: Data integrity in cloud transactions. In: CLOSER 2014 \u2013 Proceedings of the 4th International Conference on Cloud Computing and Services Science, pp. 457\u2013462 (2014)"},{"key":"139_CR19","doi-asserted-by":"crossref","unstructured":"Gutierrez-Garcia, J., Sim, K.: Agent-based service composition in cloud computing. In: Grid and Distributed Computing, Control and Automation: International Conferences, GDC and CA, pp. 1\u201310 (2010)","DOI":"10.1007\/978-3-642-17625-8_1"},{"key":"139_CR20","unstructured":"Al-Azzoni, I.: Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools. J. King Saud Univ. Comput. Inf. Sci. 27(4), 376\u2013385 (2015)"},{"key":"139_CR21","doi-asserted-by":"crossref","unstructured":"Ribas, M., Furtado, C., de Souza, J., et al.: A Petri net-based decision-making framework for assessing cloud services adoption: the use of spot instances for cost reduction. J. Netw. Comput. Appl. 57, 102\u2013118 (2015)","DOI":"10.1016\/j.jnca.2015.07.002"},{"key":"139_CR22","unstructured":"Shinkawa, Y.: CPN based data integirty evaluation for cloud transactions. In: Proceedings of the 7th International Conference on Software Paradigm Trends, pp. 267\u2013272 (2012)"},{"key":"139_CR23","unstructured":"Suminto, R., Laaksono, A., Satria, A., et al.: Towards pre-deployment detection of performance failures in cloud distributed systems. In: Proceedings of the 7th USENIX Conference on Hot Topics in Cloud Computing (2015)"},{"key":"139_CR24","unstructured":"Zhu, L., Tan, S., Zhang, W., et al.: Validation of pervasive cloud task migration with colored Petri Net. Tsinghua Sci. Technol. 21(1), 89\u2013101 (2016). ISSN 1007-0214"},{"key":"139_CR25","doi-asserted-by":"crossref","unstructured":"Li, J., Cui, Y., Ma, Y.: Modeling message queueing services with reliability guarantee in cloud computing environment using Colored Petri Nets. Math. Prob. Eng. 2015, 20 (2015) Hindawi Publishing Coroporation","DOI":"10.1155\/2015\/383846"},{"key":"139_CR26","unstructured":"Benmerzoug, D.: Designing complex agent interaction protocols using Colored Petri Nets: the cloud services composition case study. Intl. J. Agent Technol. Syst. 6(2), 51\u201372 (2014)"},{"key":"139_CR27","unstructured":"Malik, S., Khan, S., Srinivasan, S.: Modeling and analysis of state-of-the-art VM-based cloud management platforms. IEEE Trans. Cloud Comput. 1(1), 50\u201363 (2013)"},{"key":"139_CR28","doi-asserted-by":"crossref","unstructured":"Wang, M., Liu, Y.: QoS evaluation of cloud service architecture based on ANP. In: Proceedings of the International Symposium on the Analytic Hierarchy Process (2013)","DOI":"10.13033\/isahp.y2013.068"},{"key":"139_CR29","unstructured":"Wang, Y., Chen, R., Wang, D.: A survey of mobile cloud computing applications: perspectives and challenges. Wireless Pers. Commun. 80, 1\u201329 (2014)"},{"key":"139_CR30","unstructured":"Yim, J.: Design of a time Colored Petri Net model of the cloud-based mobile TV system. Intl. J. Softw. Eng. Appl. 9(8), 241\u2013252 (2015)"},{"issue":"2","key":"139_CR31","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1007\/s11227-013-1076-7","volume":"68","author":"M Shiraz","year":"2014","unstructured":"Shiraz, M., Gani, A.: A lightweight active service migration framework for computational offloading in mobile cloud computing. J. Supercomput. 68(2), 978\u2013995 (2014)","journal-title":"J. Supercomput."},{"key":"139_CR32","unstructured":"Zhang, W.S., Chen, L.C., Liu, X., Lu, Q.H., Zhang, P.Y., Su, Y.: An OSGi based adaptive and flexible pervasive cloud infrastructure. Sci. China Inf. Sci. 53(3), 1\u201311 (2014)"}],"container-title":["Lecture Notes in Electrical Engineering","Advances in Computer Science and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-3023-9_139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T20:38:03Z","timestamp":1570653483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-3023-9_139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,23]]},"ISBN":["9789811030222","9789811030239"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-3023-9_139","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2016,11,23]]},"assertion":[{"value":"23 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Science and its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bangkok","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"csa2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/csa-conference.org\/2016\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}