Skip to main content
SpringerLink
Log in

Survey on CPN Applications in Cloud Computing

  • Conference paper
  • First Online:
Advances in Computer Science and Ubiquitous Computing (UCAWSN 2016, CUTE 2016, CSA 2016)

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 421))

  • 2619 Accesses

Abstract

The multiple issues in a Cloud-computing environment require formal verification and validation methods. Dozens of research works have been done in order to refer this topic. In this paper we would like to emphasis the CPN (Colored Petri Nets) based formal analysis of different aspects in cloud computing. Research works regarding to CPN applications in cloud computing were categorized into four classes. The paper also covers the CPN modelling approaches specifically oriented to solve issues in cloud environments.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Petri, C.: Kommunikation mit Automaten. Bonn: Institut fur Instrumentelle Mathematik. Schriften des IIM, no. 2 (1962)

    Google Scholar 

  2. Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4 (1985)

    Google Scholar 

  3. Jensen, K.: A brief introduction to Colored Petri Nets. In: Workshop on the Applicability of Formal Models, Aarhus, Denmark (1998)

    Google Scholar 

  4. Jensen, K.: An introduction to the theoretical aspects of Colored Petri Nets. In: Workshop on the Applicability of Formal Models, Aarhus, Denmark (1998)

    Google Scholar 

  5. Jensen, K.: Coloured Petri Nets; Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, Monographs in Theoretical Computer Science, vol. 1 (1992)

    Google Scholar 

  6. Jensen, K.: Basic Concepts, Monographs in Theoretical Computer Science, vol. 1. Springer, Berlin (1992). Analysis Methods, Monographs in Theoretical Computer Science, vol. 2 (1994)

    Google Scholar 

  7. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Practical use, Monographs in Theoretical Computer Science, vol. 3 (1997)

    Google Scholar 

  8. Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)

    Google Scholar 

  9. Ullman, J.D.: Elements of ML Programming. Prentice Hall, Englewood Cliffs (1998)

    Google Scholar 

  10. Bendoukha, S., Wagner, T.: Cloud transition: integrating cloud calls into workflow Petri Nets. In: CEUR Workshop Proceedings, vol. 851, pp. 215–216 (2012)

    Google Scholar 

  11. Li, Y., Boucelma, O.: A CPN provenance model of workflow: towards diagnosis in the cloud. In: CEUR Workshop Proceedings, vol. 789, pp. 55–64 (2011)

    Google Scholar 

  12. Hou, Q., Xie, Q., Li, S.: Development and application of lightweight cloud platform workflow system. Comput. Model. New Technol. 18, 197–201 (2014)

    Google Scholar 

  13. 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

    Google Scholar 

  14. Zeng, W., Kounty, M., Watson, P.: Formal verification of secure information flow in cloud computing. J. Inf. Secur. Appl. 27–28, 103–116 (2016)

    Google Scholar 

  15. Fitch, D., Xu, H.: A Petri net model for secure and fault-tolerant cloud-based information storage. In: Seke, pp. 333–339 (2012)

    Google Scholar 

  16. Jasiul, B., Szpyrka, M., Sliwa, J.: Detection and modeling of cyber attacks with Petri nets. Entropy 16, 6602–6623 (2014)

    Google Scholar 

  17. Huang, H., Kirchner, H.: Component-based security policy design with colored Petri nets. In: Palsberg, J. (ed.). LNCS, vol. 5700, pp. 21–42Springer, Heidelberg (2009). doi:10.1007/978-3-642-04164-8_3

    Chapter  Google Scholar 

  18. Nishida, S., Shinkawa, Y.: Data integrity in cloud transactions. In: CLOSER 2014 – Proceedings of the 4th International Conference on Cloud Computing and Services Science, pp. 457–462 (2014)

    Google Scholar 

  19. 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–10 (2010)

    Google Scholar 

  20. 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–385 (2015)

    Google Scholar 

  21. 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–118 (2015)

    Google Scholar 

  22. Shinkawa, Y.: CPN based data integirty evaluation for cloud transactions. In: Proceedings of the 7th International Conference on Software Paradigm Trends, pp. 267–272 (2012)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. Zhu, L., Tan, S., Zhang, W., et al.: Validation of pervasive cloud task migration with colored Petri Net. Tsinghua Sci. Technol. 21(1), 89–101 (2016). ISSN 1007-0214

    Google Scholar 

  25. 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

    Google Scholar 

  26. 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–72 (2014)

    Google Scholar 

  27. 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–63 (2013)

    Google Scholar 

  28. 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)

    Google Scholar 

  29. Wang, Y., Chen, R., Wang, D.: A survey of mobile cloud computing applications: perspectives and challenges. Wireless Pers. Commun. 80, 1–29 (2014)

    Google Scholar 

  30. 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–252 (2015)

    Google Scholar 

  31. Shiraz, M., Gani, A.: A lightweight active service migration framework for computational offloading in mobile cloud computing. J. Supercomput. 68(2), 978–995 (2014)

    Article  Google Scholar 

  32. 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–11 (2014)

    Google Scholar 

Download references

Acknowledgement

This research was supported by the MSIP(Ministry of Science, ICT and Future Planning), Korea, under the University Information Technology Research Center support program (IITP-2016-R2720-16-0004) supervised by the IITP(Institute for Information & communications Technology Promotion)

Author information

Authors and Affiliations

  1. DMSLAB, Computer Science Department, Konkuk University, Hwayangdong, Gwangjingu, Seoul, Republic of Korea

    Rustam Rakhimov Igorevich & Dugki Min

Authors
  1. Rustam Rakhimov Igorevich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dugki Min
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rustam Rakhimov Igorevich .

Editor information

Editors and Affiliations

  1. Computer Science and Engineering, Seoul National University of Science and Technology, Seoul, Korea (Republic of)

    James J. (Jong Hyuk) Park

  2. Department of Computer Science, Georgia State University, Atlanta, Georgia, USA

    Yi Pan

  3. Computer Science and Engineering, Gangneung-Wonju National University, Wonju, Korea (Republic of)

    Gangman Yi

  4. University Salerno, Fisciano, Italy

    Vincenzo Loia

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer Nature Singapore Pte Ltd.

About this paper

Cite this paper

Igorevich, R.R., Min, D. (2017). Survey on CPN Applications in Cloud Computing. In: Park, J., Pan, Y., Yi, G., Loia, V. (eds) Advances in Computer Science and Ubiquitous Computing. UCAWSN CUTE CSA 2016 2016 2016. Lecture Notes in Electrical Engineering, vol 421. Springer, Singapore. https://doi.org/10.1007/978-981-10-3023-9_139

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-3023-9_139

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-3022-2

  • Online ISBN: 978-981-10-3023-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation