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

            ______              _____     _____   
  ____     /_   _//     ___    |  ___||  /  ___|| 
 |    \\    -| ||-     /   ||  | ||__   | // __   
 | [] ||    _| ||_    | [] ||  | ||__   | \\_\ || 
 |  __//   /_____//    \__ ||  |_____||  \____//  
 |_|`-`    `-----`      -|_||  `-----`    `---`   
 `-`                     `-`