We redefine the correctness of a personal process and address the verification method based on Petri Nets.

• 我们重新定义了个人工作流的正确性，并且提出在派翠网上的检验方法。