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

Algorithm for Transformation of Timed Petri Nets to DEVS Formalism

  • 김영찬 (한밭대학교 정보통신-컴퓨터공학부) ;
  • 김탁곤 (한국과학기술원 전자전산학과)
  • 발행 : 2002.06.01

초록

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. Petri Net Theory and The Modeling of Systems J.L. Peterson
  2. Proceeding of the IEEE v.77 no.4 Petri Nets:Properties, Analysis and Applications T.Murata
  3. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets C. Ramchandani
  4. IEEE Trans. on Sofrware Engineering v.SE-13 no.12 A Generalized Timed Petri Net Model for Performance Analysis M.A. Holliday;M.K. Vernon
  5. Discrete Event Systems: Modeling and Performance Analysis C.G. Cassandras
  6. Multifacettedf Modelling and Discrete Event Simulation B.P.Zeigler
  7. Multifacettedf Modelling and Deiscrete Event Simulation (2nd Ed.) B.P. Zeigler
  8. 한국정보과학회 논문지 v.21 no.9 DEVSim++:의미론에 기반한 이산사건 시스템의 객체지향 모델링 및 시뮬레이션 환경 안명수;박성봉;김탁곤