• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.785-788
• /
• 2007

본 연구는 Ramadege 와 Wonham 의 Supervisor Control 을 기반으로 한다. 초기 이 이론은 오토마타를 이용하여 모델링 하였으며, 많은 연구가 활발하게 이루어져왔다. 그러나, 유한 오토마타는 병렬처리 및 동기화, 자원공유를 모델링하기 어렵다는 단점이 있다. 유한 오토마타를 기반으로 한 연구는 일반적으로 복잡한 시스템을 모델링 할 때 발생하는 결합 폭발성에 의한 제한성이 있다. 반면, 패트리 넷은 병렬처리나 동기화에 대한 모델링을 하기에 보다 더 강력한 도구이지만, 패트리 넷을 이용한 통합법은 아직까지 광범위하게 연구되지는 않았다. 따라서, 본 연구에서는 공장설비(plant)모델과 이 설비에 대해 사용자가 원하는 작업을 명시한 사용자 설계명세 (user specifications)모델을 패트리 넷을 이용하여 모델링하는 방법을 제안한다. 본 연구는 사용자 설계명세에 관련한 폐쇄 회로 패트리 넷(closed-loop PN)을 획득하고자 원시 공장설비 모델에 제어 플래이스(control place)를 추가하는 통합을 실행하기 위한 방법으로 Ghaffari의 영역 이론(Theory of Region )을 이용하여 연구개발 하였다

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.2
• /
• pp.202-214
• /
• 1994

A functional reduction method of Petri nets is proposed. The method is based on interpretation of relations and transitions with functions which map one series of a relation a another. In particular, we propose CF-join which combines two transitions to new one after reduction of the common places, CE-join which superpose two transitions to one after superposition of the common places, and EQ-join which reduces the common places, after the Petri nets were explained be a relational scheme. A reduced net can be obtained without changing the properties such as liveness and boundness.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.694-696
• /
• 2002

본 연구에서는 패트리 넷에서의 교착 상태 확인을 추이적 행렬을 이용하여 분석하는 기법을 제안한다. 교착 상태란 패트리 넷에서 마킹이 더 이상 진행 되지 못하고 서로 점화 가능 상태를 기다리는 상태로 자원 공유의 문제에서 많이 발생 가능하다. 따라서. 모든 플레이스와 트랜지션과의 관계를 나타내는 추이적 행렬을 이용하여 간단하게 확인분석이 용이한 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1639-1642
• /
• 2013

아코디온은 키보드와 건반 그리고 공기주머니로 구성 되어 있는 악기로써 건반 악기의 특성과 화음을 위한 키보드 코드의 손가락 운영 기법이 요구되는 악기의 특성을 갖는다. 따라서, 연주를 자습하거나 독자적인 교습을 위한 연주법에 대한 알고리즘이 요구된다. 본 연구에서는 아코디온의 효율적인 연주를 위하여 손가락 연주의 알고리즘을 패트리 넷으로 표현하여 화음과 멜로디의 관계성을 표현하였다. 또한 사례를 들어 모델링을 검증하였다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.5
• /
• pp.101-106
• /
• 2011

In this paper, our goal is to design the controller which operates a manufacturing system, discrete event system, guaranteeing user specification. In specially, based on supervisory control theory W. M. Wonham, our work consists in performing the controller using Petri nets possible parallelism. In addition, we consider the problem of allocation for resources sharing of the issues to consider when designing using Petri net. The controller can be generated by synthesis of user specification model and plant model after giving the management for the resource sharing. This created controller can control the deadlock and starvation which can occur in the case with resource sharing. Previous studies proposed the Constrained Synchronous Reachability graph to synthesis of the two Petri nets models. Therefore, we provide the controlled system which forbids a deadlock and starvation using the result of previous studies.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1517-1520
• /
• 2001

과거의 컴퓨터를 이용한 미디어 서비스는 사용자에게 단순히 비디오, 오디오, 텍스트 등의 미디어를 일방적으로 전달하였으나 현재의 서비스는 사용자와의 상호대화 및 필요한 미디어 만을 선택해서 전달할 수 있는 방식을 요구한다. 이러한 응용을 위해서 각 미디어 파일들을 분리하여 전달하는 방식이 필요하며 동기화와 더불어 상호대화성 이라는 두 가지 문제를 해결해야 한다. 지금까지의 관련 연구에서는 시간축, 패트리 넷(Petri Net), 버퍼 조작 등의 방법을 통하여 동기화를 달성하고 있으나 상호대화라는 측면에서는 만족할 만한 해결책을 제시하지 않고 있다. 본 논문에서는 패트리 넷 모델을 이용하고 상호대화형 객체(Interactive Object)를 각 미디어 파일에 삽입하여 이 객체들이 서로의 정보를 이용할 수 있는 함수를 설계함으로서 동기화와 상호대화성이라는 문제를 해결하였다.

• Journal of The Korean Association of Information Education
• /
• v.13 no.1
• /
• pp.96-104
• /
• 2009

We want to achieve the reliable information system such as e learning system in the internet environments. The difficulty of the program reliability estimation comes from faults that occurred from program and data files are distributed among several servers. This paper is focus on a modeling approach based on Colored Petri Nets to estimate the program reliability in an internet environment. The procedure of analyzing the reliability is as follows. At first, we propose an internet program model. This model is transformed into a Colored Petri net, and the reliability is estimated. We adapt this model to the analyzing the reliability in the internet environment. This method is very simple, and is very helpful to develope program

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.352-354
• /
• 2003

기존의 SOFA(Software Appliances)형의 컴포넌트에서 DCUP(Dynamic Component UPdating)통해 컴포넌트 조립이 가능하다. 이에 대해 비동기적이고 동적 시스템에 적합한 패트리 넷을 이용하여 컴포넌트의 동적 업데이 시 기존 컴포넌트와의 상호작용과 각 인터페이스에 대한 프로세스의 흐름을 정형적으로 정의하고 설계상의 모호성을 줄일 수 있도록 하였으며 보다 나은 동적 업데이트의 최적화를 위한 기반을 제공한다.

• Journal of Korea Multimedia Society
• /
• v.13 no.10
• /
• pp.1557-1564
• /
• 2010

This study present to operator system about performance method by diagrammatic and analysis based on Petri Nets when accordion is performed. Especially, this study present to the basis an automatic performance education by visibility according to divide place and transition of correlation of musical objects. In this, our purpose is flexible performance of deadlock-freeness by visibility of operating process and detail of marking. This study is effective and useful of understand to performance process by Petri Nets modeling inclusive of many musical instrument. The first time, this study suggest performance model of accordion based on Petri Nets and verify of efficiency, an example.

• Journal of the Korea Society for Simulation
• /
• v.18 no.1
• /
• pp.9-16
• /
• 2009

Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. About the deadlock detection analysis methods are may divide like as Siphon, DAPN and transitive matrix, but it's very difficult to evaluate the performance. Since DES (Discrete Event Systems) is NP-hard, and these detection and avoidance methods used various factors in each technique, it's made difficult to compare with each other's. In this paper, we are benchmarked these deadlock detection analyze methods based on the complexity, the detection time and the understanding after approached to one example.