A study on the reduction of generalized stochastic petri net

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

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

Abstract

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.

Keywords