evaluating the availability of a mobile payment model in e-commerce using the colored petri net

availability is an important feature of a mobile payment system in the banking industry. it should be also capable of providing services to the users throughout the week without interruption. in general, a payment system in mobile commerce should have high reliability and availability to enable users and stakeholders to do business transactions, buying and selling and pay for financial transactions with a high degree of reliability. since an architecture or a payment model in e-commerce only displays the way of interaction and collaboration between users and mortgagors and provides no assessment of the performance, reliability and availability of the system to the stakeholders, thus, in this study, we managed to provide an accurate assessment of the availability of a mobile payment model at the software architecture level by employing a colored petri dish using the official models. the methodology is as follows: first, we converted the studied model into an integrated modeling language (uml). however, the semi-official nature of this language has made it unable to assess all non-obligatory needs. to achieve this goal, an applicable model must be created from these graphs. finally, by converting the applicable model into the official language and using the petri net networks and "cpn tools" tool, an accurate assessment of the availability level would be provided.