일반화된 확률 페트리 네트의 축소에 관한 연구

A study on the reduction of generalized stochastic petri net

  • 홍지민 (서울대학교 공과대학 제어계측공학과) ;
  • 이기동 (서울대학교 공과대학 제어계측공학과) ;
  • 이범희 (서울대학교 공과대학 제어계측공학과)
  • 발행 : 1993.10.01

초록

A reduction method of GSPN (generalized stochastic Petri net) is proposed. A GSPN is basically a SPN (stochastic Petri net) with transition a that are either timed or immediate. Then the proposed method is defined on the basis of the dynamic behavior and the structure of the net. The reduction preserves the properties such as liveness, boundedness, and allows easy analysis of the GSPN.

키워드