Mahmoud Salaheldin Elsayed received the B.S. degree in Mathematics and Computer Sciences and the Ph.D. degree in Computer Sciences from Menoufia University, Faculty of Science, Menoufia, Egypt. From 2006 to 2008, he was with the Teachers College, Arar, Saudi Arabia. He is Lecturer of Computer Sciences with Computer Sciences Department, Faculty of Computing and Information Technology, Northern Border University, Rafha, Saudi Arabia from 2008 until present. He has a fair number of publications in international journals and conference, which focus on deadlock control for single and multi-unit resource systems. His research interests include Petri net theory and applications, supervisory control of discrete event systems, and robust supervisory control of flexible manufacturing Systems. He received the Excellent Paper Award from the International Institute of Engineers and Researchers (IIER) in 2016, and published a book entitled Deadlock Analysis and Resolution in Distributed Systems in the LAP LAMBERT Academic Publishing, Germany in 2017.