본 연구에서는 패트리 넷에서의 함숙적 축소방법을 제시하였다. 이 방법의 기본 개념은 하나의 관계에서 다른 관계에로의 사상함수를 트랜지션의 관계에 적용하는 것이다. 본 연구에서는 ...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A106723400
1994
Korean
학술저널
202-214(13쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
본 연구에서는 패트리 넷에서의 함숙적 축소방법을 제시하였다. 이 방법의 기본 개념은 하나의 관계에서 다른 관계에로의 사상함수를 트랜지션의 관계에 적용하는 것이다. 본 연구에서는 ...
본 연구에서는 패트리 넷에서의 함숙적 축소방법을 제시하였다. 이 방법의 기본 개념은 하나의 관계에서 다른 관계에로의 사상함수를 트랜지션의 관계에 적용하는 것이다. 본 연구에서는 먼저 패트리 넷을 관계형 함수로 표현한 후에, 공통의 플레이 스를 제거하고 두 개의 트랜지션이 하나의 새로운 트랜지션으로 축소되는 CF-join과 공통의 플레이스를 겹침으로 하나의 트랜지션화하는 CE-join, 그리고 공통의 플레이 스를 제거함으로 별개의 간소화된 트랜지션으로 나뉘는 EQ-join을 제시하였다. 축소 된 패트리 넷은 기존의 넷이 갖는 성질들. 생존성과 보존성을 그대로 보존한다.
다국어 초록 (Multilingual Abstract)
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 ...
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.
객체지향 데이타베이스 시스템에서 식별자를 이용한 로킹 프로토콜
시간지원 데이타베이스의 영상화를 위한 접속 시스템의 설계 및 구현
멀티 데이타베이스 시스템에서 고장을 허용하는 트랜잭션 관리