시간 페트리네트를 DEVS 형식론으로 변환하는 알고리즘

• 영문명: Algorithm for Transformation of Timed Petri Nets to DEVS Formalism
• 발행기관: 한국시뮬레이션학회
• 저자명: 김영찬(Young Chan KIM) 김탁곤(Tag-Gon Kim)
• 간행물 정보: 『한국시뮬레이션학회 논문지』제11권 제2호, 77~88쪽, 전체 12쪽
• 주제분류: 공학 > 기타공학
• 파일형태: PDF
• 발행일자: 2002.06.30

영문 초록

Petri nets is a widely used formalism for specification and analysis of concurrent systems which is a subclass of discrete event systems. The DEVS (Discrete Event System Specification) formalism provides a general framework for specification of discrete event systems in a hierarchical, modular form. Often, modeling a discrete event system may employ both Petri Nets and DEVS formalism. In such a case low-level operational logics are modeled by Petri Nets and high-level managements by the DEVS formalism. Analysis of the system requires simulation of the overall system. This paper presents an algorithm for transformation of Petri Nets to DEVS formalism. The transformation enables modelers to simulate an overall system, which consists of DEVS models and Petri Nets models, in a unified DEVS simulation environment such as DEVSim++. An example for such transformation will be given.

목차

1. 서론

2. 관련 연구

3. 변환 알고리즘

4. 예제

5. 결론 및 향후 연구 방향

참고문헌

키워드

Timed Petri Nets DEVS Formalism Formalism Transformation