發送短信

數:

提供者:

CAPTCHA:

 _    _      ___                 ___      ____    
| |  | ||   / _ \\      ___     / _ \\   |  _ \\  
| |/\| ||  / //\ \\    /   ||  / //\ \\  | |_| || 
|  /\  || |  ___  ||  | [] || |  ___  || | .  //  
|_// \_|| |_||  |_||   \__ || |_||  |_|| |_|\_\\  
`-`   `-` `-`   `-`     -|_|| `-`   `-`  `-` --`  
                         `-`

Please enter what you see:

發送短信 : Detecting deadlock and multiple termination in BPMN model using process automata