• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1817-1824
• /
• 1999

How to efficiently and optimally schedule iterative is one of the critical issues in FMC(Flexible Manufacturing Cell). In this paper, we apply transformation rules to find the solution of the scheduling problem in FMC. These kinds of rules have already been applied for the analysis of autonomous Petri nets. Here in, transformation is intended to preserve the existence of at least one optimal solution for the scheduling problem. Some transformations rules to reduced TPN's size without changed the initial characteristics are proposed and applied to analyze the scheduling problem of FMC.

• 전기의세계
• /
• v.43 no.3
• /
• pp.10-17
• /
• 1994

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

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.11 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.3
• /
• pp.335-342
• /
• 1995

In this pater, we present a syntactic software complexity measure based on program control structure using Petri Nets. Since control structure in program may be segregated by three structures such as sequence, condition and iteration structures, we are proposed a structured complexity measure based on program control structure after represented by Petri Nets. Finally, we compare our result with other measures of program complexity.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.364-367
• /
• 2014

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

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 1993.11a
• /
• 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.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05c
• /
• pp.431-436
• /
• 2002

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