Pashazadeh, S. (2012). “Modeling and verification of deadlock potentials of a concurrency control mechanism in distributed databases using hierarchical colored petri net”. International Journal of Information and Education Technology (IJIET), Vol. 2, No. 2, pp. 77-82.
 Pashazadeh, S. (2012). “Modeling a concurrency control Mechanism in distributed databases using hierarchical colored petri net”. International Conference on Information and Computer Applications (ICICA), Singapore, Vol. 24, pp.286-289.
 Shu, L. C., Young, M. (2002). “Versioning concurrency control for hard real-time systems”. Journal of Systems and Software, Vol. 63, No. 3, pp. 201-218.
 Hedayati, M., Kamali, S. H., Shakerian, R., Rahmani, M. (2010). “Evaluation of performance concurrency control algorithm for secure firm real-time database systems via simulation model”. Networking and Information Technology (ICNIT), International Conference on IEEE, pp. 260-264.
 Singhal, M. (1991). “Performance analysis of the basic timestamp ordering algorithm via Markov modeling—performance evaluation”. Performance Evaluation, Vol. 12, No. 1, pp. 17-41.
 Al-Jumah, N. B., Hossam, S. H., El-Sharkawi, M. (2000). “Implementation and modeling of two-phase locking concurrency control—a performance study”. Information and Software Technology, Vol. 42, No. 4, pp. 257-273.
 Ozsu, M. T. (1985). “Modeling and analysis of distributed database concurrency control algorithms using an extended petri net formalism, Software Engineering”. Transactions on IEEE, Vol. SE-11, No. 10, pp. 1225-1240.
 Mikkilineni, K. P., Chow, Y. C., Su, S. Y. W. (1988). “Petri-net-based modeling and evaluation of pipelined processing of concurrent database queries”. Software Engineering, Transactions on IEEE, Vol. 14, No. 11.
 Han, Y., Jiang, C., Luo, X. (2004). “A study of concurrency control in web-based distributed real-time database system using extended time petri nets, Parallel Architectures”. Algorithms and Networks (ISPAN’04), in Proceedings of the 7th International Symposium on IEEE, pp. 67-72.
 Murata, T. (1989). “Petri nets: properties, analysis and applications”. in Proceedings of IEEE, Vol. 77, No. 4, pp. 541-580.
 Devillers, R., Best, E. (1987). “Sequential and concurrent bihavior in petri net theory, Theorical computer science”. Vol. 55, No. 1, pp. 87-136.
 Seatzu, C., Cabasino, M. P., Giua, A. (2013). “Introduction to petri nets”. Control of Discrete-Event Systems (LNCIS), Vol. 433, pp. 191–211.
 Zhen, C., Li, K. (2009). “Improved distributed concurrency control algorithm based on real-time database systems”. Computational Intelligence and Software Engineering, (CiSE), International Conference on IEEE, pp. 1-3.
 Lee, J. (1999). “Precise serialization for optimistic concurrency control”. Data & Knowledge Engineering, Vol. 29, No. 2, pp. 163-178.
 Mousavi, S. M. A., Naji, H. R., Ebrahimi, A. R. (2013). “Optimization of majority protocol for controlling transactions concurrency in distributed databases by multi-agent systems”. International Journal of Applied Operational Research, Vol. 3, No. 1, pp. 95-108.
 Chen, J., Wang, Y. F., Wang, J. P. (2011). “Concurrency control protocol for real-time database and the analysis base on petri net”. Advanced Materials Research, Vols. 143-144, pp. 12-17.
 Sarkar, B. B., Nabendu, C. (2009). “Modeling & analysis of transaction management for distributed database environment using Petri Nets”. In Nature & Biologically Inspired Computing (NaBIC), World Congress on IEEE, pp. 918-923.
 Jie, H., Fengying, L., Huijiao, W. (2010). “Petri net based model for concurrent control of database system”. International Conference on Intelligent Computing and Integrated Systems (ICISS), pp. 813-815.
 Jenq, B-C., Twichell, B. C., Keller, T. W. (1989). “Locking performance in a shared nothing parallel database machine”. Knowledge and Data Engineering, Transactions on IEEE, Vol. 1, No. 4, pp. 530-543.
 Voss, K. (1997). “Prototyping and verifying distributed database systems using executable high-level Petri net models, Systems”. Man, and Cybernetics,. Computational Cybernetics and Simulation., International Conference on IEEE, Vol. 4, pp. 3395-3400.
 Paulson, L. C. (1996). “ML for the working programmer”. (2th ed.), NY. USA, Press Cyndicate of the University of Cambridge.
 Harper, R. (2001). “Programming in standard ML, Pittsburgh United States”. Carnegie Mellon University.