제어로봇시스템학회:학술대회논문집
- 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
- /
- Pages.324-329
- /
- 1993
일반화된 확률 페트리 네트의 축소에 관한 연구
A study on the reduction of generalized stochastic petri net
초록
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.
키워드