객체 중심 동기화 정렬을 통한 적합성 검사 (확장 버전)

이 논문은 객체 간 관계와 동기화를 모델링할 수 있는 새로운 형식론인 식별자가 있는 객체 중심 Petri 넷을 제안하고, 이를 활용한 적합성 검사 기법을 제시한다.