discrete event simulation, scheduling에 많이 사용되는 것으로 알고 있는데, 그냥 일반 state transition diagram에다가 현재 상태를 표시하는 점을 추가해서 어떤 상태에서 어떤 transition이 일어나는지를 좀 더 쉽게 추적할 수 있도록 만들어진.. 특히 두개 이상의 diagram이 서로 동기화 되고 하는 것을 점으로 쉽게 표시할수 있어서, trace할 state가 여려개인 시스템에서도 동작을 쉽게 확인할수 있다는..