Pourali, Abdolghader, et al. “Reliability Evaluation of a Payment Model in Mobile E-Commerce Using Colored Petri Net”. Journal of Advanced Computer Science & Technology (JACST), vol. 3, no. 2, Nov. 2014, pp. 221-3, https://doi.org/10.14419/jacst.v3i2.3663.