Workflow net의 soundness란? (올바른 프로세스 모델인지 판단하는 기준)

저번 포스팅에서는 workflow net이 무엇인지에 대해 알아보았다. 저번 포스팅의 마무리 부분에서 언급했듯이, 모든 workflow net이 올바른 프로세스를 나타내는 것은 아니다. 도출해 낸 프로세스 모델의 fitness, precision 등의 모델의 질을 평가하는 척도도 중요하겠지만, 이 프로세스 모델이 올바른 프로세스 모델이 아니라면 이는 좋은 모델이라고 할 수 없을 것이다. 즉, process discovery를 하는 데 있어서 프로세스 모델의 correctness를 판단하는 것은 필수적인 과정이라고 할 수 있다. 이번 포스팅에서는 workflow net의 correctness를 판단할 수 있는 기준인 soundness에 대해 알아보겠다. Soundness란? Workflow net의 sou..