• Transactions on Control, Automation and Systems Engineering
• /
• 제3권4호
• /
• pp.203-209
• /
• 2001

This paper develops a control method for some generic formation tasks of multiple mobile robots with inaccurate sensor information. Inaccurate sensor information means that all the robots have only local sensors that cannot accurately measure absolute distances and directions of objects. That is, all the sensors have limitation on the range, and uncertainty in the values. Therefore, more robust and reliable control logic is proposed and implemented. The logic is developed considering generic situations and increasing the number of robots participating in the formation. Petri nets are used for modeling and design of the control logic, which can visualize the control models and make it easy to check the states of each robot. Physically homogeneous mobile robots are designed and built to evaluate the developed logic. Each robot is equipped with eighteen infrared sensors and a UHF transceiver module. The experiment results are analyzed quantitatively by using the data of the relative distances and angles between the robots. And the trajectories of the robots during the formation are also evaluated. The developed control approach is demonstrated with experiments to be successful and efficient for the formation of autonomous mobile robots.

• 산업공학
• /
• 제18권3호
• /
• pp.221-233
• /
• 2005

e-Manufacturing can be referred to as a system methodology enabling the integration of manufacturing operations and IT technologies to achieve objectives of an enterprise. It is recently regarded as a powerful solution to survive in a chaotic marketplace. While conducting an e-Manufacturing project, we first needed to capture collaborative processes conducted by multiple participants in order to define functions of a system supporting them. However, pervasive process modeling techniques including IDEF3, Petri nets, and UML are not sufficient for modeling collaborative processes. Therefore, we first briefly investigate several process modeling methods including aforementioned modeling methods and ARIS focusing on the collaboration point of view. Then, we propose a new modeling method referred to as Collaborative Process Modeling (CPM) to clearly describe collaborative processes. Also, we develop and illustrate a rule for transforming collaborative process models into Marked Graph models to use the analysis power of the Petri nets. Using CPM empowers us to develop collaborative process models with simple notations, understand and facilitate the realization of the collaboration, and verify models before rushing into the development.

• 한국통신학회논문지
• /
• 제28권5B호
• /
• pp.489-499
• /
• 2003

본 논문은 CPN(Colored Petri Nets)을 이용한 Honypot 모델의 설계 및 구현에 관한 것이다. 제안된 Honeypot 모델은 해커의 침입을 능동적으로 유도하고 침입을 탐지 및 행동패턴의 파악을 위해 보안커널 모듈과 유도된 해커의 활동을 위한 가상 모듈로 구성되어 있으며, CPN을 이용한 모델과 기존의 Denning 모델 및 Shieh 모델과 비교 분석하였다. 본 논문에서 제안된 CPN을 이용한 Honeypot 모델은 침입패턴의 특성에 대한 분류가 가능하고, 침입패턴의 모델링과 패턴매칭 과정의 모델링이 가능하며. 다중 호스트를 통한 DDoS 공격의 탐지가 가능하고, 마지막으로 침입패턴의 분석을 위한 학습모델의 기반 제공이 가능하다.

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

최근 인터넷 수요의 증가로 통신망에서 음성, 영상 및 데이터(data)를 복합적으로 지원할 수 있는 멀티서비스(multiservice)의 교환 기술이 필수적이다. 또한 망 사업자들이 여러 벤더(vendor)들로부터 최적의 장비를 선택하여 망을 구축할 수 있도록 통신 장비들의 상호 운용성을 지원하는 개방형 구조의 망 및 스위치 시스템(switch system)을 정의하는 작업이 필요하다. 페트리 넷(Petri Nets)은 시스템(system)을 분석하기 위한 도구로서, 시스템은 페트리 넷 이론에 의해 시스템의 수학적 표현인 페트리 넷으로 설계될 수 있다. CPN(Colored Petri Nets)은 페트리넷의 확장형으로서, 토근(token)에 칼라를 부여하여 다양한 특성을 지닌 시스템을 표현하기에 적합하다. Design/CPN은 CPN의 사용을 지원하는 소프트웨어 패키지(software package)이다. 본 논문에서는 개방형 멀티서비스 교환 시스템의 핵심으로 스위치와 제어기(Controller) 사이의 표준 프로토콜인 GSMP(General Switch Management Protocol) 프로토콜을 Design/CPN 으로 변환하고, 이로부터 시험열을 생성한다.

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

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

• 한국컴퓨터정보학회논문지
• /
• 제12권3호
• /
• pp.9-17
• /
• 2007

본 논문은 페트리 넷 기반의 멀티미디어 프로그래밍 방법을 제안한다. 이를 위하여 멀티미디어 시나리오를 표현할 MPN(Multimedia Petri Net)을 정의하고, 또한 MPN을 분석하여 시나리오의 결함을 찾아낼 수 있는 방법을 소개한다. 멀티미디어 프로그램은 MPN을 해석하여 멀티미디어 시나리오를 재생한다. 이렇게 작성한 우리의 멀티미디어 프로그램은 정지, 빠른 재생 되감기, 빠른 되감기 등의 조작 기능을 제공한다. 멀티미디어 시나리오 모델링을 위해 페트리 넷을 이용한 사례는 존재하지만, 이들은 모두 시간적 동기화 분석을 위한 것으로, 멀티미디어 시나리오의 재생을 목적으로 사용된 사례는 아직 없다. 이에 반하여, MPN은 시나리오의 흐름은 물론 시나리오를 구성하는 데이터들의 정보까지도 모두 표현함으로써 재생에 필요한 모든 정보를 나타낼 수 있다.

• 한국통신학회논문지
• /
• 제36권4B호
• /
• pp.354-361
• /
• 2011

스마트 홈 분야에 대한 관심의 증가와 기술적인 발전은 상황인지 서비스와 베이시안 네트워크 알고리즘, 트리 구조 알고리즘 그리고 유전자 추측 알고리즘과 같은 예측 알고리즘에 대한 연구가 활발히 이루어지고 있다. 상황 인지 서비스는 개별적인 사용자의 패턴을 고려한 맞춤형 서비스를 제공하는 것은 사용자의 삶의 질을 향상시키는 데 도움 주는 것을 의미한다. 하지만 상황인지 서비스를 구현 하는 것은 상황정보와의 부합성 문제와 예외적인 상황 처리가 고려하는데 어려움을 겪고 있다. 이 문제를 해결하기 위해서, 본 연구에서는 지능형 순차적 매칭 방식 알고리즘(Intelligent Sequential Matching Algorithm : ISMA)을 제안하고, 페트리 넷에 시간 개념을 추가하여 시간 페트리 넷(Timed Petri-net : TPN)으로 모델링한다. 제안한 지능형 순차적 매칭 알고리즘의 유효성을 증명하기 위하여 시나리오를 제시하고, 그것을 모델링 한다. 또한 동일한 실험 조건 아래, 기존의 예측 알고리즘과 비교를 통하여 과 제안된 알고리즘의 예측 정확도가 4~6% 우수함을 보인다.

• 산업공학
• /
• 제22권1호
• /
• pp.10-16
• /
• 2009

In this paper, we propose an efficient search algorithm for finding an optimal schedule to minimize makespan, while avoiding deadlock situation in Flexible Manufacturing Systems (FMS) with finite capacity, in which each job needs to be processed in several job stages for completion. The proposed algorithm uses a modeling and control method based on Petri-net. Especially, we improve the efficiency of the search algorithm by using a priority rule and an efficient bounding function during the search procedure. The performance of the proposed algorithm is evaluated through a numerical experiment, showing that it holds considerable promise for providing an optimal solution efficiently comparing to past work.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.24-29
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 특정한 로봇이나 장치를 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 생산공정에서는 효율성과 경제성 제고에 가장 중요한 문제 중 하나다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용 되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 페트리넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스(Place)를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, FMS(Flexible Manufacturing System) 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• 한국경영과학회지
• /
• 제16권2호
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.