أرسل هذا في رسالة قصيرة: Detecting deadlock in activity diagram using process automata

__    __   __   __   ______      ___     _____    
\ \\ / //  \ \\/ // |      \\   / _ \\  |  __ \\  
 \ \/ //    \ ` //  |  --  //  / //\ \\ | |  \ || 
  \  //      | ||   |  --  \\ |  ___  ||| |__/ || 
   \//       |_||   |______// |_||  |_|||_____//  
    `        `-`'   `------`  `-`   `-`  -----`