Reliability evaluation of a payment model in mobile e-commerce using colored Petri net


  • Abdolghader Pourali Iran-khozestan-AbadanIslamic Azad university of branch abadan
  • Mohammad V Malakooti IAU-branch branch, Dubai, UAE
  • Muhammad Hussein Yektaie Islamic Azad University, Abadan branch, Abadan, Iran





In general, a mobile payment system in mobile e-commerce must have high security so that the user can trust it for doing business deals, sales, paying financial transactions, etc. in the mobile payment system. Since an architecture or payment model in e-commerce only shows the way of interaction and collaboration among users and mortgagers and does not present any evaluation of effectiveness and confidence about financial transactions to stakeholders, in this paper we try to present a detailed assessment of the reliability of a mobile payment model in the mobile e-commerce using formal models and colored Petri nets. Finally, we demonstrate that the reliability of this system has high value (case study: a secure payment model in mobile commerce presented at the International Conference) [18].

Keywords: Reliability, Colored Petri Net, Assessment, Payment Models, M-Commerce.


J. Rambaugh, G. Booch, I. Jacobson; "The Unified Modeling Language Reference Manual 2nd Edition" Addison-Wesely, 2005, ISBN 0-321-24562-8

David, René, Alla, Hassane, "Discrete, Continuous, and Hybrid Petri Nets", ebook, Springer, 2010.

A. Bobbio, M. Gribaudo, A. Horv´ath, "Modeling a car safety controller in road tunnels using hybrid petri nets", international IEEE conference on Intelligent Transportation Systems, ITSC '06, IEEE.

K. Fukuzawa and M. Saeki, "Evaluating software architectures by cloud red Petri nets ",in Proceeding SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering, Pages 263-270.

Z. S. Dehkordi, A. Harounabadi, S. Parsa, "Evaluation of software architecture using fuzzy color Petri net", Growing Science TM publisher of academic and scientific journals, Volume 3 Issue 2 pp. 555-562, 2013.

G. Ramos, J. L. Sánchez, A. Torres, M. A. Ríos. "Power Systems Security Evaluation Using Petri Nets", Power Delivery, IEEE Transactions on Volume: 25, Issue: 1, pp 316 - 322, 2010.

H. Motameni, A. Movaghar, M. Fadavi Amiri, "Mapping activity diagram to Petri net application of Markov Theory for analyzing non-functional" parameters, International Journal of Engineering Transaction B: Applications, vol. 20, pp. 65-76, 2007.

H. Nematzadeh, S.Deris, H. Maleki, Z. Nematzadeh, "Evaluating Reliability of System Sequence Diagram Using Fuzzy Petri Net", International Journal of Recent Trends in Engineering, Issue. 1, Vol. 1, May, pp. 142-147, 2009.

R. Noorian Talouki and 2H.Motameni. "Modeling Sequence Diagram in Fuzzy Uml to Fuzzy Petri-Net for Calculating Reliability Parameter”. Research Journal of Applied Sciences, Engineering and Technology 6(20): 3703-3714, 2013.

A.Alhroob, K.Dahal, A.Hossain, "Transforming UML Sequence Diagram to High Level Petri Net", 2nd International Conference on Software Technology and Engineering (ICSTE), PP 260-264 2010.

H. Motameni, A. Movaghar, I. Daneshfar, H. Nemat Zadeh, "Mapping to Convert Activity Diagram in Fuzzy UML to Fuzzy Petri Net", World Applied Sciences Journal 3 (3): 514-521, 2008.

H. motameni T. Ghassempouri, "Transforming. Fuzzy Communication Diagram to Fuzzy Petri Net", ISSN 1450-223X Issue 16, pp.62-73, 2011.

H. Nematzadeh, Deris, Safaai, "Reliability testing of UML activity diagram using Petri net", Proceedings of Intenational Conference on Computer Science and Applied Mathematics (ICCSAM), Italy, 2009.

H. Nematzadeh, T. Malaysia, M .Fallah, H. Motameni, "Transforming FUZZY Collaborated Diagram to Fuzzy Petri Net", American Journal of Scientific Research ISSN 1450-223X Issue 19, pp. 45-50, 2011.

H.Motameni, H.Nematzadeh, E.Mesgarian, "Evaluating Throughput of System Sequence Diagram Using Fuzzy Petri Net", International Conference on Recent Trends in Computer and Information Engineering (ICRTCIE') April 13-15, Pattaya, 2012.

F. TIAN, J. YAN, "Study of Mobile E-Commerce Safety System Model Based on Petri Net", Journal of Convergence Information Technology (JCIT) Volume8, Number10, May 2013.

A. Pourali, Dr. M. V. Malakooti, Dr. M.H Yektai, " A Secure SMS Model in E-Commerce Payment using Combined AES and ECC Encryption Algorithms", Proceedings of the International conference on Computing Technology and Information Management, Dubai, UAE, pp 431-442,2014.

S. Bernardi, J. Merseguer, “Performance evaluation of UML design with Stochastic Well-formed Nets", The Journal of Systems and Software 80 (2007), sciencedirect, PP 1843–1865.

S. Emadi1, F. Shams," Modeling of component diagrams using Petri nets", Indian Journal of Science and Technology Vol. 3 No. 12 (Dec 2010).

View Full Article: