- SPN을 이용한 DEVS 모델의 타당성 검사
- Validation Test of DEVS Models using SPN
- ㆍ 저자명
- 정영식
- ㆍ 간행물명
- 한국시뮬레이션학회논문지
- ㆍ 권/호정보
- 1992년|1권 1호|pp.77-86 (10 pages)
- ㆍ 발행정보
- 한국시뮬레이션학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
In this paper, we study validation test methods of DEVSA(Descrete Event system Specification) models using SPN(Stochastic Petri Net) models. We discuss conventional validation test methods, by which DEVS models can be transformed to SPN models, by reviewing the features of DEVS model. Based on the model transformation method, we define a new homogeneous function for validation test and suggest a new validation test method of DEVS models using the property of SPN models and the new homogeneous function.