A. Pourali, M. V. Malakooti, and M. H. Yektaie, “Reliability evaluation of a payment model in mobile e-commerce using colored Petri net”, JACST, vol. 3, no. 2, pp. 221–231, Nov. 2014, doi: 10.14419/jacst.v3i2.3663.