간격 순서 부분 다중집합(ipomset)은 선행 관계와 동시성을 모두 고려할 수 있는 강력한 모델이다. 이 논문에서는 이러한 ipomset을 이벤트 시작과 종료를 나타내는 이산 ipomset(starter와 terminator)의 관계로 표현하는 방법을 제시한다.
