-
Transition 과 State 를 함께 나타냄을 목적으로 함
- State
- 사용자가 원하는 대로 정의 가능
- 하나의 state 에서 다른 state 로 넘어가는 것은 반드시 transition을 통해서만 가능
-
Reachability Graph
- 어떤 petri net에 대해 하나의 initial marking에서 모든 reachable marking을 표현한 transition system을 의미
- Reachable marking을 한 눈에 볼 수 있음
-
State를 어떻게 정의하느냐에 따라 프로세스를 표현할 수 있음
-
프로세스의 흐름을 한 눈에 파악하기는 힘들지만 다른 프로세스 모델들이 나타낼 수 없는 정보를 한 눈에 보여줄 수 있음