• 인지과학
• /
• 제10권4호
• /
• pp.51-62
• /
• 1999

본 논문에서는 규칙기반 전문가시스템의 퍼지 생성규칙을 표현할 수 있는 퍼지페트리네트 표현을 제안한다. 퍼지페트리네트 표현을 기반으로, 전진추론 알고리즘과 후진추론 알고리즘으로 구성된 퍼지 추론 알고리즘을 제안한다. 본 논문이 제안한 알고리즘은 단순히 min과 max 계산만을 하는 기존의 알고리즘과는 달리 퍼지 생성규칙의 전제 부와 결론 부에 퍼지 개념의 유무에 따라 적절한 믿음 값 평가 함수을 사용하여 보다 더 인간적인 추론을 한다. 전진추론 알고리즘은 유한한 방향성 나무인 도달나무로 표현할 수 있다. 후진추론 알고리즘은 목표노드에서 시작노드까지의 후진추론 통로를 구한 후에 믿음 값 평가함수를 이용하여 목표노드의 믿음 값을 구한다.

• 전자공학회논문지CI
• /
• 제41권3호
• /
• pp.1-10
• /
• 2004

현재 이동물체 데이터베이스에 관한 연구가 활발히 진행되고 있다. 그러나 기존 연구의 대부분은 갱신 전략의 효율성 증대에 초점이 맞추어져 있고, 이동물체 데이터베이스 시스템의 사용자 요구사항 검증에 대한 연구 논문은 전무하다. 아무리 효율성이 좋은 갱신 전략이 적용되었더라도, 시스템 설계자는 시스템이 사용자 요구사항을 만족하는지에 대해 개발초기에 반드시 검증을 해 보아야 한다. 예를 들어, 이동물체가 n개이면, n개에 대한 데이터베이스 정보 갱신 작업과 새로운 정보를 사용자에게 제공하여주는 작업을 정해진 시간 내에 완료할 수 있는지 개발 초기에 검증해야 하는 것이다. 본 논문은 이동물체 데이터베이스의 요구사항 분석을 위하여, Design/CPN이라는 시뮬레이션 도구를 이용하여 페트리 넷 모형을 구축하고, 시뮬레이션을 통하여 사용자 요구사항을 검증하는 방법을 소개한다. 본 논문은 이동물체 데이터베이스의 사용자 요구 분석을 위한 최초의 시뮬레이션 모델을 제공하는데 의의가 있다. 이 시뮬레이션 모델은 본 저자가 이미 발표한 퍼지시간 페트리 넷 모형에 대해 거리기반 갱신전략과 분산 데이터베이스 모형을 첨가 확장한 것이며, n 개의 이동물체를 고려한 분석 결과를 소개한다. 또한, 본 모형은 Design/CPN이라는 시뮬레이션 도구로 구축되었기 때문에 시스템에 대한 자동분석이 가능하다. 본 모형의 응용 범위는 사용자 요구사항 분석에 국한된 것이 아니라, 갱신 비용과 정보의 정확도 간, 혹은 갱신에 소요되는 시간과 자원간의 상관관계를 분석하는 데에도 유용하게 쓰인다.

• 한국정보처리학회논문지
• /
• 제7권7호
• /
• pp.2028-2040
• /
• 2000

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에대한 연구가 활발히 이루어지고 있다. 본 연구는 병행 수행되는 과업간에 다양한 종속성을 포함한 워크플로우 명세에 대해, 페트리넷을 이용한 완료 기능성 및 완료 무결성 검증 방안을 제안한다. 이를 위해 첫째, 기존에 연구된 워크플로우 그래프를 이용한 워크플로우 명세 방안을 간략히 기술한다. 둘째, 워크플로우 명세의 검증을 위해, 워크플로우 그래르를 레트리넷으로 변환하기 우한 방안을 제안한다. 셋째, 페트리넷을 이용하여 워크플로우 명세가 왼료 가능한지를 검증하는 완료 가능성 검증과 원하지 않는 워크플로우 상택가 존재하는지 검증하는 무결성 검증방안을 제안한다. 넷째, 제안된 검증방안의 구현 및 모순 추출 방안을 제안한다.

• 제어로봇시스템학회논문지
• /
• 제3권1호
• /
• pp.101-108
• /
• 1997

The initial token value required to the optimal performance of discrete event systems can be decided by Sum of Delay Time and Synchronic Time ratio, which are new synchronic variables in Timed Place Petri Nets. For the system consisting of two Live-and-Bounded circuits(LB-circuits) fused in common Transition-Transition-Path or common Place-Place-Path, we prove that the Synchronic Time Ratio is the initial token ratio between two LB-circuits to optimally perform system functions. These results are generalized and formulated as a theorem. The initial tokens of a specific place can imply shared resources. Using the theorem, we can decide the minimum number of the shared resources to obtain the optimal performance, and minimize the idling time of resources. As an example, an automated assembly system is modeled by Timed Place Petri Net, and the initial tokens to achieve the optimal system performance are identified. All the values are verified by simulation.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권6호
• /
• pp.599-607
• /
• 2000

본 논문에서는 유한페트리넷의 도달가능성에 대한 효율적인 분석방법을 제안한다. 일반적으로 도달가능성 분석은 유한페트리넷의 동적 성질에 관한 연구에 있어서 가장 근본이 되는 분석중의 하나이다. 그러나 일반적인 유한페트리넷의 경우, 도달가능성 분석은 분석시간과 요구되는 메모리 양의 측면에서 지수승의 복잡도를 요구하게 되며 많은 경우 상태공간폭발 문제를 야기할 수 있다. 이에 본 논문에서는 유한페트리넷의 분석을 위한 중간모델인 언폴딩(unfolding)상에서 장소(place)간의 구조관계 분석을 통하여 시간 및 메모리의 측면에서 효율적으로 도달가능성 분석을 수행하는 방법을 제안한다. 제안된 방법은 구조적 제약 없이 모든 종류의 유한페트리넷에 적용 가능하다.

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.67-75
• /
• 2010

교착이란 일반적으로 병행과 자원공유 모듈에 의한 서브 시스템에서 발생한다. 사이폰과 트랩은 패트리 넷의 교착 상태를 잘 나타낸다. 사이폰은 많은 연구자들에게 교착을 감지하고 방지하는데 사용되어진 개념이다. 그러나 모든 사이폰 서브넷을 감지하는데는 많은 시간과 노력이 필요하다. 추이적 행렬은 플레이스와 트랜지션간의 관계를 표현하므로 추이적 행렬과의 관계를 분석하여 모든 사이폰 서브 넷을 감지하는 알고리즘을 제안한다. 또한 제안한 알고리즘의 성능을 사례를 들어 검증한다.

• 정보처리학회논문지D
• /
• 제10D권3호
• /
• pp.471-488
• /
• 2003

최근의 대부분의 정보시스템은 웹 기반 정보시스템이며 이의 개발과 유지보수시에 “웹 위기” 현상이 발생하고 있다 이를 해결하기 위해, 웹 엔지니어링 기술 중 웹 기반 비즈니스 프로세스로의 리엔지니어링 기술이 필요하다. 본 논문에서는 웹 기반 정보시스템으로의 이주와 웹 기반 비즈니스 프로세스 모형화를 위한, BPN(Business Process Net) 모형과 이를 이용한 리엔지니어링 휴리스틱스를 적용 예와 함께 제시한다. BPN모형은 베타분포형 확률 패트리넷이며 수행가능형 Activity diagram이라 할 수 있다. BPN을 모형화 할 때, Use Case 분석을 이용하며 비즈니스 프로세스의 수행시간 및 비용적 불확실성은 베타분포를 이용하고 있다. BPN 모형은 XML 기반의 비즈니스 프로세스의 명세언어를 위한 공통 명세모형으로 이용될 수 있으며, 제시한 리엔지니어링 방법 및 지침은 웹 기반 정보시스템의 분석 및 설계단계에서 적용할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.368-373
• /
• 2005

This paper presents a new framework for the traffic flow control based on integrated model descriptions as the Hybrid Dynamical System (HDS).

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.119.4-119
• /
• 2002

$\textbullet$ Intoduction : Control architecture of PSR $\textbullet$ Layered functionality diagrams $\textbullet$ Class diagrams $\textbullet$ Petri-net based configuration diagram $\textbullet$ Experiments $\textbullet$ Conclusions

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.760-762
• /
• 2001

본 논문은 침입 시나리오를 모델하고, 침입의 진행을 시뮬레이션할 수 있는 IDPN을 제안한다. 제안된 IDPN은 기존의 상태변환 다이어그램[1]이나, 퍼지 페트리 넷[2]의 기능을 강화한 것으로, 협동침입과 재침입을 탐지할 수 있고, 침입의 진행에 따른 경고를 발생할 수 있다는 장점이 있다.