A formal Definition of Semi-join Based Reduction Method of Petri Nets

세미죠인을 기반으로 한 패트리 넷의 형식적 정의

A functional reduction method of Petri nets is proposed. The method is based on interpretation of relations and transitions with functions which map one series of a relation a another. In particular, we propose CF-join which combines two transitions to new one after reduction of the common places, CE-join which superpose two transitions to one after superposition of the common places, and EQ-join which reduces the common places, after the Petri nets were explained be a relational scheme. A reduced net can be obtained without changing the properties such as liveness and boundness.

본 연구에서는 패트리 넷에서의 함숙적 축소방법을 제시하였다. 이 방법의 기본 개념은 하나의 관계에서 다른 관계에로의 사상함수를 트랜지션의 관계에 적용하는 것이다. 본 연구에서는 먼저 패트리 넷을 관계형 함수로 표현한 후에, 공통의 플레이 스를 제거하고 두 개의 트랜지션이 하나의 새로운 트랜지션으로 축소되는 CF-join과 공통의 플레이스를 겹침으로 하나의 트랜지션화하는 CE-join, 그리고 공통의 플레이 스를 제거함으로 별개의 간소화된 트랜지션으로 나뉘는 EQ-join을 제시하였다. 축소 된 패트리 넷은 기존의 넷이 갖는 성질들. 생존성과 보존성을 그대로 보존한다.