Text this: Detecting deadlock in activity diagram using process automata

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