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

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