• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1817-1824
• /
• 1999

유연 생산시스템의 스케줄링 문제는 생산시스템의 효율성 제고에 많은 관심을 끌고 있다. 이 연구에서는 유연 생산시스템의 이산적 스케줄링 문제를 변형의 개념을 가지고 해결하고자 한다. 이산적 개념을 표현하는 데는 패트리 네트가 효율적인 방법중의 하나이다. 패트리 네트의 변형이란 기존의 모델이 가지고 있는 기본적인 성질들을 변형시키지 아니하고 해석하고 분석하기가 편리한 사이즈로 기존의 모델링 변형시키는 것이다. 특히 본 연구에서는 타임 패트리 네트의 변형을 이용하여 대기시간과 완료시간을 혼합하여 스케줄링 문제를 분석하는 기법을 제시하였다.

• 전기의세계
• /
• 제43권3호
• /
• pp.10-17
• /
• 1994

패트리네트는 시스템의 관계를 시작적으로 보여주어 시스템의 모델링을 쉽게 만든다. 시스템의 각 부분에 관한 정보를 가지고 전체와 부분에 대하여 하향식(top-down)과 상향식(bottom-up) 설계를 할 수 있게 해준다. 패트리네트는 그래프 표현이므로 FMS(flexible manufacturing systems)등과 같은 실시간 제어(real-time control)의 구현에 사용될 수 있으며 토큰 정보로부터 시스템의 각 부분의 상태를 실시간 감시(monitoring)할 수 있다. 패트리네트는 PLC(programmable logic controller)와 같이 여러 요소시스템(subsystem)을 순서대로 동작시키고 조정한다. 시스테메 대한 페트리네트 모델로부터 시뮬레이션(simulation)을 할 수 있고, 이로부터 성능 평가를 할 수 있다.

• 한국소음진동공학회논문집
• /
• 제11권9호
• /
• pp.414-421
• /
• 2001

If a machine has some faults, we can detect them using vibration or noise signals. However some maintenance engineers who don\`t have export knowledge, need the help of vibration experts for diagnosing the machine. In this paper a case based reasoning (CBR) system is developed which is able to manipulate the past experiences of vibration diagnosis experts. In the CBR system, the maintenance engineers can retrieve the information form previous cases which are most similar to new problem s that they can solve new problem using solutions form the previous cases. In this paper, a new case retrieval method of CBR system using Petri net is proposed and also applied to diagnosis for electric motors as a practical problem.

• 한국정보처리학회논문지
• /
• 제2권3호
• /
• pp.335-342
• /
• 1995

본 연구는 패트리네트를 이용한 소프트웨어의 이해용이성에 기인한 효율적인 복 잡도방법을 제시한다. 일반적으로 제어의 흐름에 있어서는 순차성과 조건문 그리고 반복문에 의한 구조적인 구분이 가능하므로 본 논문에서는 그러한 구조적인 부문을 패트리네트로 표현하여 각각의 이해용이성에 기인한 복잡도를 산출하여 종합적인 총 복잡도를 산출하였다. 또한 기존의 다른 복잡도와의 상관관계를 분석함으로 새로운 복 잡도의 신뢰성도 증명하였다.

• 전자공학회논문지B
• /
• 제30B권7호
• /
• pp.50-58
• /
• 1993

Petri nets aare capable of modeling a large variety of systems, it is necessary to analyze the modeled system for verifying the behavior. In this paper, we propose an algorithm which analyzes Petri nets by comparing initial marking with modified incidence matrix. The proposed algoriths is able to analyze petri net involving self-loop, and is able to verify the order of sequence according to that of firing.

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

차량 애드혹 네트워크(VANET : Vehicular Ad-Hoc Network) 환경에서 차량들은 네트워크 인프라를 바탕으로 한 통신들을 통하여 서로의 안전이나 편리성을 도모하고자 많은 관심을 가지고 지금까지 연구되어 왔으며 앞으로도 활발히 연구될 것이다. 그러나 안전성이나 편리성을 도모하고자 연구되어왔던 여러 부분들이 보안문제에 직면하면서 새로운 국면으로 접어들고 있다. 이에 본 논문에서는 차량 애드혹 네트워크에서 차량 간 통신을 효율적이고 안전하게 전송하기 위해 우선되어야 하는 차량의 인증을 위한 보안 메커니즘을 제안하고 이를 패트리넷 모델링 기법을 통해 검증하고자 한다. 본 논문에서 제안하는 차량 인증 보안 메커니즘(VASM : Vehicular Authentication Security Mechanism)은 차량 인증 기능과 함께 패트리넷으로 모델링 함으로써 차량들의 많은 변화로 복잡할 수밖에 없는 VANET에서의 보안요구들을 정의하여 수행하는데 유연하게 대처할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.205-205
• /
• 2000

In this paper, we are proposed an analysis method of the operation schedule in FMS using Time Petri Nets(TPN) unfolding. TPN's unfolding is one of the analysis methods after changed non-cyclic net from the concurrent net without to expand the state explosion. We are illustrated this proposed to analyze a schedule problem in Ratio-driven FMS modeling.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.679-681
• /
• 2000

This thesis presents a analysis method of hybrid synthesis petri net for automated manufacturing systems in discrete event dynamic system. There are many errors that can happen to petri net modeling of complex systems because petri net modeling process has so many steps. A new matrix analysis method presented in this thesis can confirm the property of petri net such as boundedness, liveness and reversibility, modify errors which can be occurred in modeling.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1993년도 정기총회 및 추계학술대회 논문집 학회본부
• /
• pp.314-316
• /
• 1993

In this paper, a method to detect and diagnose faults in Automated Manufacturing Systems(AMS) is proposed. In AMS, it is necessary to monitor the process-status. The detection and diagnosis of faults are often difficult in monitoring level with given passive data. We propose the model-based monitoring system for faults detection and diagnosis using Petri Nets to model AMS efficiently and easily. Simulation results show the validity of proposed method with example of Reverse Mill Process in Automated Mill Lines.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(상)
• /
• pp.431-436
• /
• 2002

네트워크를 통한 미디어 서비스에 있어 다양한 미디어 서비스의 개발과 사용자들의 요구에 대응하기 위해 사용자와의 상호대화를 할 수 있는 미디어 전달 방법과 연속적인 재생을 보장하기 위한 버퍼정책이 요구된다. 지금까지의 관련된 연구에서는 여러 가지 다양한 방법을 통하여 동기화를 달성하고 있으나 상호대화라는 측면에서는 만족할 만한 해결책을 제시하지 않고 있다. 본 논문에서는 상호대화형 객체(Interactive Object)를 각 미디어 파일에 삽입하고 객체들이 서로의 정보를 이용할 수 있는 함수를 설계하여 동기화와 상호대화성이라는 문제를 해결하며 네트워크에 대한 의존성 때문에 발생하는 불연속적인 재생을 가변 버퍼를 이용함으로써 해결하였다.