Token-based Replay Conformance Checking이란?

Token-based Replay Conformance Checking이란 말 그대로 토큰을 이용하여 이를 프로세스 모델에 replay하면서 모델의 conformance를 checking하는 것을 말한다. 이번 포스팅에서는 token-based conformance checking이 무엇인지에 대해 알아보겠다. Token의 four counters Token-based Replay Conformance Checking에서 Token은 기본적으로 네 가지의 상태를 가진다. Produced, Consumed, Missing, Remaining이 그것이다. 여기에서 잘 이해가 되지 않으면, 아래의 예시와 함께 하는 부분을 보면 이해가 더 잘 될 것이다. Produced Token Produced Token은 ..