Petri net의 확장에 관한 연구

A Study on the extension of Petri net

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.