Extended Numerical Petri Net을 이용한 SDL 표현의 모델링과 그분석

SDL(Functional Specification and Description Language)은 통신 시스템의 동작을 specification하고 description하기 위해 표준화된 언어이다. 본 논문에서는 CCITT가 표준화하여 권고한 SDL에 의해서 표현된 SPC(Stored Programmed Control) 시스템의 dynamic behavior를 모델링하기 위하여 ENPN(Extended Numerical Petri Net)을 제안하여 SDL에서 ENPN으로 mapping하기 위한 변환법칙을 제시하였고 시스템의 동적인 특성을 분석하기 위해 Reachability Graph를 이용한 분석방법을 제시하였다.