• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.785-788
• /
• 2007

본 연구는 Ramadege 와 Wonham 의 Supervisor Control 을 기반으로 한다. 초기 이 이론은 오토마타를 이용하여 모델링 하였으며, 많은 연구가 활발하게 이루어져왔다. 그러나, 유한 오토마타는 병렬처리 및 동기화, 자원공유를 모델링하기 어렵다는 단점이 있다. 유한 오토마타를 기반으로 한 연구는 일반적으로 복잡한 시스템을 모델링 할 때 발생하는 결합 폭발성에 의한 제한성이 있다. 반면, 패트리 넷은 병렬처리나 동기화에 대한 모델링을 하기에 보다 더 강력한 도구이지만, 패트리 넷을 이용한 통합법은 아직까지 광범위하게 연구되지는 않았다. 따라서, 본 연구에서는 공장설비(plant)모델과 이 설비에 대해 사용자가 원하는 작업을 명시한 사용자 설계명세 (user specifications)모델을 패트리 넷을 이용하여 모델링하는 방법을 제안한다. 본 연구는 사용자 설계명세에 관련한 폐쇄 회로 패트리 넷(closed-loop PN)을 획득하고자 원시 공장설비 모델에 제어 플래이스(control place)를 추가하는 통합을 실행하기 위한 방법으로 Ghaffari의 영역 이론(Theory of Region )을 이용하여 연구개발 하였다

• 한국정보처리학회논문지
• /
• 제1권2호
• /
• pp.202-214
• /
• 1994

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.694-696
• /
• 2002

본 연구에서는 패트리 넷에서의 교착 상태 확인을 추이적 행렬을 이용하여 분석하는 기법을 제안한다. 교착 상태란 패트리 넷에서 마킹이 더 이상 진행 되지 못하고 서로 점화 가능 상태를 기다리는 상태로 자원 공유의 문제에서 많이 발생 가능하다. 따라서. 모든 플레이스와 트랜지션과의 관계를 나타내는 추이적 행렬을 이용하여 간단하게 확인분석이 용이한 기법을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.1639-1642
• /
• 2013

아코디온은 키보드와 건반 그리고 공기주머니로 구성 되어 있는 악기로써 건반 악기의 특성과 화음을 위한 키보드 코드의 손가락 운영 기법이 요구되는 악기의 특성을 갖는다. 따라서, 연주를 자습하거나 독자적인 교습을 위한 연주법에 대한 알고리즘이 요구된다. 본 연구에서는 아코디온의 효율적인 연주를 위하여 손가락 연주의 알고리즘을 패트리 넷으로 표현하여 화음과 멜로디의 관계성을 표현하였다. 또한 사례를 들어 모델링을 검증하였다.

• 한국인터넷방송통신학회논문지
• /
• 제11권5호
• /
• pp.101-106
• /
• 2011

본 연구는 이산사건 시스템인 제조 시스템에 대하여 사용자 명세서에 따라 충실하게 동작하는 제어기를 설계하는 것이 목적이다. 특히, W. M. Wonham의 감독제어 이론을 기반으로 병렬처리가 가능한 패트리 넷을 이용한 제어기를 설계하는 것이다. 또한, 패트리 넷을 이용한 설계 시 고려해야 할 문제 중 공유하는 자원의 할당에 관한 문제를 다루고자 한다. 공유자원에 대한 처리를 사용자 명세서로 제시하고 제시한 패트리 넷으로 모델링하여 합성하면 제어기가 생성된다. 이렇게 생성된 제어기는 공유하는 자원이 있는 경우에 발생가능 한 교착상태(deadlock)와 기아상태(Starvation)에 대한 제어가 가능하다. 선행연구에서는 페트리 넷의 두 모델을 합성하는 방법으로 동기식 도달성 그래프를 제안하였다. 따라서 본 연구에서는 그 결과를 이용하여 교착상태와 기아상태를 예방한 제어된 시스템을 설계하여 제시하고자 한다.

• 정보교육학회논문지
• /
• 제13권1호
• /
• pp.96-104
• /
• 2009

인터넷 환경에서 이러닝 시스템과 같은 고신뢰성의 정보를 원한다. 인터넷 시스템에서 프로그램과 데이터의 결함이 발생할 수 있기 때문에 신뢰성 분석이 매우 어렵다. 이 논문에서는 인터넷 환경에서 프로그램 신뢰성을 예측하기 위해서 유색 패트리넷 모델을 이용하는 신뢰도 예측 모델을 제안한다. 제안한 모델에 적용하는 신뢰도 분석 절차는 다음과 같다. 먼저, 인터넷 프로그램 모델을 만든다. 이를 유색 패트리넷으로 변환한 후 인터넷 시스템 모델의 신뢰도를 예측한다. 이 방법은 신뢰성 있는 인터넷 프로그램을 개발하는 데 도움을 줄 수 있고, 신뢰도 예측 방법이 매우 간단하기 때문에 적용하기 편리하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.1517-1520
• /
• 2001

과거의 컴퓨터를 이용한 미디어 서비스는 사용자에게 단순히 비디오, 오디오, 텍스트 등의 미디어를 일방적으로 전달하였으나 현재의 서비스는 사용자와의 상호대화 및 필요한 미디어 만을 선택해서 전달할 수 있는 방식을 요구한다. 이러한 응용을 위해서 각 미디어 파일들을 분리하여 전달하는 방식이 필요하며 동기화와 더불어 상호대화성 이라는 두 가지 문제를 해결해야 한다. 지금까지의 관련 연구에서는 시간축, 패트리 넷(Petri Net), 버퍼 조작 등의 방법을 통하여 동기화를 달성하고 있으나 상호대화라는 측면에서는 만족할 만한 해결책을 제시하지 않고 있다. 본 논문에서는 패트리 넷 모델을 이용하고 상호대화형 객체(Interactive Object)를 각 미디어 파일에 삽입하여 이 객체들이 서로의 정보를 이용할 수 있는 함수를 설계함으로서 동기화와 상호대화성이라는 문제를 해결하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.352-354
• /
• 2003

기존의 SOFA(Software Appliances)형의 컴포넌트에서 DCUP(Dynamic Component UPdating)통해 컴포넌트 조립이 가능하다. 이에 대해 비동기적이고 동적 시스템에 적합한 패트리 넷을 이용하여 컴포넌트의 동적 업데이 시 기존 컴포넌트와의 상호작용과 각 인터페이스에 대한 프로세스의 흐름을 정형적으로 정의하고 설계상의 모호성을 줄일 수 있도록 하였으며 보다 나은 동적 업데이트의 최적화를 위한 기반을 제공한다.

• 한국멀티미디어학회논문지
• /
• 제13권10호
• /
• pp.1557-1564
• /
• 2010

본 연구에서는 아코디언의 연주 과정을 도형화하고 분석하여 연주법에 대한 운용 체계를 패트리 넷으로 제안한다. 특히 아코디언 연주의 객체들을 플레이스와 트랜지션으로 분리하여 연주법을 도식화함으로서 연주 교육을 자동화 할 수 있는 기틀을 제시한다. 여기에서는 아코디언 연주 과정의 가시화와 운지법의 병세화로 순환 멈춤을 없게 하여 유연한 연주를 하는데 그 목적이 있다. 본 논문은 여러 약기들의 연주에도 패트리 넷으로 모델링하여 연주 과정을 이해함으로서 효율적이며 창의적으로 활용할 수 있는 충분한 효과가 있다. 본 연구에서는 패트리 넷을 이용한 아코디언 연주 모텔을 처음으로 제안하여 실제적인 연주 사례를 들어 그 효율성을 검증한다.

• 한국시뮬레이션학회논문지
• /
• 제18권1호
• /
• pp.9-16
• /
• 2009

본 연구에서는 교착상태 확인 알고리즘의 성능분석을 위하여 사이폰(siphon) 알고리즘, DAPN알고리즘과 추이적 행렬 알고리즘을 상호 비교한다. 이를 위하여 비교 모델을 설정하여 각 알고리즘을 활용한 결과를 복잡도, 이해도 그리고 신속성 등의 3가지 함수를 이용하여 성능을 분석한다. 서로 다른 개념의 알고리즘을 비교분석에 한계성이 있으나, 동일한 모델에 적용하여 그 효율성을 비교 분석하여 각 알고리즘의 특성들을 분석한다.