- Petri net의 확장에 관한 연구
- ㆍ 저자명
- 한영렬,박진수
- ㆍ 간행물명
- 한국통신학회논문지
- ㆍ 권/호정보
- 1982년|7권 4호|pp.151-155 (5 pages)
- ㆍ 발행정보
- 한국통신학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
Petri net는 concurrent system을 model化하고 해석하기 위하여 사용되어져 왔으나 그 능력은 제한되어 있다. 따라서 본 논문에서는 model化능력을 향상시키기 위하여 禁止edge 및 容量을 부가해서 확장된 Petri net를 제안하였고 확장된 Petri net의 해석능력을 높이기 위하여 일반 petri net로 변환하는 알고리즘을 제안하였다. 또한 실례를 들어 설명함으로써 본 논문에서 제안한 알고리즘의 유용성을 보였다.
Petri ant is employed to analyze the coneurrent system and to make it into a model. But the faculty of Petri net is limited. Therefore in this thesis a Petri net of which restricted edge and capacity are extended is proposed in order to improve the modeling faculty. This paper also proves that the algorism which I have designed, can be transformed into a general Petri net for improving the analytic power of the expanded Petri net. Through explanatory examples i have also shown the usefulness of the algorism.