Text this: Detection of LiveLock in BPMN using process expression

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