• 한국통신학회논문지
• /
• 제17권7호
• /
• pp.677-687
• /
• 1992

본 논문은 신경계 행위 표현의 효율성과 동작의 정당성을 검증할 수 있는 모형화 도구로 FPN을 제안 하였다. 설계를 위해 기존의 통신망과 신경망 행위의 표현과 검증의 유사성 및 차이점을 분석하고, 신경계의 애매 모호성의 효율적인 표현을 위하여, PN에 Fuzzy 집합 이론을 적용하여 FPN 모형을 설계하였다. 설계된 FPN을 다층 퍼센트론 구조로 표현하여 그 효율성이 우수함을 보였다.

• 한국정보통신학회논문지
• /
• 제20권9호
• /
• pp.1717-1722
• /
• 2016

가용도는 사용자에게 고가용 서비스를 제공하는 네트워크 시스템의 주요 성능지표로서 임의의 시간에 사용자에게 서비스를 제공할 수 있는 확률이다. 네트워크 서비스의 가용도를 향상시키는 대표적인 방법으로 다중화 방식과 재활기법이 있다. 본 논문에서는 2N redundancy와 시간 기반의 재활기법이 가용도에 미치는 영향을 분석한다. 2N redundancy는 active 시스템과 standby 시스템으로 구성하는 다중화 방식이다. 재활주기에 의존하는 시간기반의 재활기법이다. 본 논문은 시간기반의 재활기법을 적용한 2N redundnacy모델을 stochastic reward net으로 설계한다. 설계한 모델은 stochastic Petri net package를 이용하여 분석한다. 수치해석을 통해 재활기법을 적용한 시스템의 가용도가 적절한 주기에서 재활기법을 적용하지 않은 시스템의 가용도보다 높다는 것을 알 수 있다.

• 정보기술응용연구
• /
• 제2권1호
• /
• pp.113-137
• /
• 2000

ERP가 기업의 정보를 통합하는데 유용한 시스템이라는 것에는 의심할 바가 없다. 그러나 많은 회사들은 ERP시스템을 도입하는 것을 주저하고 있다. 주요한 이유는 유지보수를 포함한 ERP 구축에 엄청난 총비용이 들기 때문이다. 특별히 프로세스를 리엔지니어링(reengineering)하거나, 시스템이 각 기업에 경영지식을 담도록 하는 맞춤화 작업이 적절한 시간에 수정 보완되어지지 않는다면 ERP가 내놓는 성과의 최적화의 결과를 보장할 수 없다. 그러므로 본 논문은 ERP가 내놓는 성과의 최적화의 결과를 보장할 수 없다. 그러므로 본 논문은 ERP시스템의 사용자와 데이터베이스에 의해 발생되는 환경적 변화 그 자체를 수용하는 ERP시스템을 구축하는데 목표를 두고 있다. ERP시스템이 최적의 성과를 유지하도록 하기 위해 페트리넷 이론(petri-net theory)과 지능형 성과를 에이전트기술(Intelligent agent technology)을 사용하였다. 지능형 에이전트는 데이터베이스를 통합하고 예외적인 변화 상황을 발견하며, 그 변화가 ERP시스템의 성과에 어떤 영향을 주게 되는지에 대해서 각 에이전트끼리 자동적으로 협동하게 된다. 해당 에이전트의 역동성은 페트리넷으로 표현되었다. 새롭게 제안된 ERP시스템은 BPR(business process reenginnering)의 프로세스들을 최적 상태로 유지하도록 만들 것이다. 마지막으로 제안된 ERP 유지 보수 시스템의 타당성을 설명적인 물류부분 사례를 통해 제시하였다.

• 한국멀티미디어학회논문지
• /
• 제9권5호
• /
• pp.671-680
• /
• 2006

'최소 순회 시간’ 방법은 ‘시간 넷’(Timed Net)에서 모든 변천(transition)들을 최소한 한번 이상 격발하고 초기 마킹으로 되돌아오는데 걸리는 최소 시간을 찾아주는 수학적 방법으로, 컴퓨터 시스템 분석에 널리 사용된다. 시간 넷은 변천에 지연 시간이 연합된 변형된 페트리 넷으로 실세계의 사건이 실행되는데 걸리는 시간이 일반적으로 확률적 시간인데 반하여 시간 넷에 사용되는 지연시간은 상수이기 때문에 최소 순회 시간 방법에 의한 분석 결과는 현실성이 부족하다. 그래서 본 논문은 사건의 실행 시간을 확률적 숫자로 표현하는 ‘확률적 시간 넷'을 제안하고 ‘확률적 시간 넷'의 최소 순회 시간 분석 방법을 소개한다. 또한 ‘확률적 시간 넷’의 적용 예로 위치 기반 서비스를 제공하는 멀티미디어 시스템을 ‘확률적 시간 넷’으로 모델링하고 분석한다. 기존의 최소 순회 시간 분석 결과의 전형적인 형태는 '최소 10 단위 시간 이상 걸린다'와 같은 형태인데 반하여 ‘확률적 시간 넷’의 분석 결과의 형태는 '10 단위 시간 이내일 확률이 85% 이다.'와 같은 확률적 형태이다.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1998년도 하계종합학술발표회 논문집(하)
• /
• pp.821-824
• /
• 1998

• 제어로봇시스템학회지
• /
• 제5권4호
• /
• pp.29-41
• /
• 1999

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.1564-1569
• /
• 1991

In this paper we describe Flexible Manufacturing Systems (FMS) using Petri nets, since Petri nets provide a powerful tool for modeling dynamical behavior of discrete concurrent processes. We deal with off-Line and on-Line rule-based scheduling of FMS. The role of the rule-base is to generate appropriate priority rule for resolving conflicts, that is, for selecting one of enabled transitions to be fired in a conflict set of the Petri nets. This corresponds to select a part type to be processed in the FMS. Towards developing more Intelligent Manufacturing Systems (IMS) we propose a conceptual framework of a futuristic intelligent scheduling system.

• 전자공학회논문지B
• /
• 제29B권7호
• /
• pp.30-41
• /
• 1992

As a general model of rule-based systems, we propose a model for a fuzzy production system having chaining rules and an inference engine associated with the model. The concept of so-called 'fuzzy petri nets' is used to model the fuzzy production system and the inference engine is designed to be capable of handling inexact knowledge. The fuzzy logic is adopted to represent vagueness in the rules and the certainty factor is used to express uncertainty of each rules given by a human expert. Parallel, inference schemes are devised by transforming Fuzzy Petri nets to matrix formula. Futher, the inference engine mechanism under the Mamdani's implication method can be desceribed by a simple algebraic formula, which makes real time inference possible.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2001년도 춘계학술대회 논문집
• /
• pp.26-31
• /
• 2001

Petri nets(PN) have been introduced as a poweful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can not be analyzed easily when we deal with large scale systems because of increase of the number of components of the systems. To overcome this problem, some methods for dividing or reducing of PN have been suggested. In this paper, an approach for hierarchical expression of PN based on Sequential Function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definition and rules are defined in order to divide and compose sub PN. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub PN based on the SFC and BUM by the proposed method in this paper.

• 대한교통학회지
• /
• 제12권3호
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.