Journal of the Korea Society for Simulation (한국시뮬레이션학회논문지)
- Volume 1 Issue 1
- /
- Pages.77-86
- /
- 1992
- /
- 1225-5904(pISSN)
Validation Test of DEVS Models using SPN
SPN을 이용한 DEVS 모델의 타당성 검사
Abstract
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.
Keywords