트랜지션 시스템(Transition System)이란? Reachability Graph란?

트랜지션 시스템(Transition System)은 프로세스 모델의 한 종류로, 이름에서도 알 수 있 듯이 Transition과 함께 State를 나타내는 것을 목적으로 하는 모델이다. 이 때, state는 페트리 넷의 marking이 될 수도 있고, 현재 enabled된 트랜지션의 목록일 수도, enabled된 트랜지션의 개수일 수도 있다. 즉, state는 사용자가 원하는대로 정의할 수 있는 것이다. 하지만 하나의 state에서 다른 state로 넘어가는 것은 반드시 트랜지션을 통해서만 이루어진다. 트랜지션 시스템은 DFG나 페트리 넷이 이벤트 로그에서 시작했던 것과는 다르게 페트리 넷에서 시작한다. (물론, 이벤트 로그에서 시작하여 페트리 넷을 거쳐 트랜지션 시스템이 될 수 있다.) 다음과 같은 예..