Text this: Detection of LiveLock in BPMN using process expression

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