• 한국통신학회논문지
• /
• 제7권4호
• /
• pp.151-155
• /
• 1982

Petri net는 concurrent system을 model化하고 해석하기 위하여 사용되어져 왔으나 그 능력은 제한되어 있다. 따라서 본 논문에서는 model化능력을 향상시키기 위하여 禁止edge 및 容量을 부가해서 확장된 Petri net를 제안하였고 확장된 Petri net의 해석능력을 높이기 위하여 일반 petri net로 변환하는 알고리즘을 제안하였다. 또한 실례를 들어 설명함으로써 본 논문에서 제안한 알고리즘의 유용성을 보였다.

• 전자공학회논문지C
• /
• 제34C권5호
• /
• pp.9-18
• /
• 1997

The petri net is a graphic model which is adaptable in modeling a complex concurrent parallel ssystem, and it is widely used in the fields of industrial enginering, computer science, electric engineeringand chemistry. Recently, the net is applied to the communication protocol, and extended to represent complex systems. There are several extended petri nets named as TPN (timed petri net), SPN (stochastic petri net), FPN(fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this SPN (stochastic petri net), FPN (fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this paper proposes an advanced communication protocol modeling method using the fuzzy value of the transition and firing delay time as the arguments of the function. The proposed method can produce clearer firing rules, and it is supposed to be used to design and analyse communication protocols in great effection.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제13권3호
• /
• pp.200-207
• /
• 2013

Petri Nets are a system description and analysis tool. Reachability is one of the most basic properties in Petri Net research. In a sense, reachability research is the foundation study for other dynamic properties of Petri Nets through which many problems involving Petri Nets can be described. Nowadays, there are two mature analysis methods-the matrix equation and the reachability tree. However, both methods are localized, i.e., it is difficult to find a general algorithm that can determine reachability for an arbitrary Petri Net, especially an unbounded Petri Net. This paper proposes and proves three propositions in order to present a subclass of a Petri Net, the live single-branch Petri Net, whose reachability is equivalent to the satisfiability of the state equation.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (2)
• /
• pp.110-112
• /
• 2000

멀티미디어 동기화를 명시하기 위한 수단으로 개발된 페트리 넷의 예로 [1]에 제안된 Object Composition Petri Net(OCPN), [2]에 소개된 Time Stream Petri Net(TSPN), [3]에 소개된 변형된 Petri Net, 등을 들 수 있다. 이들은 모두 멀티미디어 시스템 동기화를 모델링하기 위하여 제안된 Petri net들이다. 기존의 Petri net을 바탕으로 본 논문은 WWW에서 상영될 멀티미디어 시나리오를 표현하기 위하여 사용될 수 있는 Petri net을 제안한다.

• 대한전기학회논문지
• /
• 제40권3호
• /
• pp.299-307
• /
• 1991

This paper deals with the determination of a firing sequence of transitions in the reachability problem of Safe Petri Net. The determination problem of a firing sequence is very important from the point of practical view, especially in the control of the discrete systems modelled by Safe Petri Net. The determination method of a firing sequence of transitions by means of the matrix equation for the discrete systems modelled by Safe Petri Net is proposed. First, a construction method of the indicence matrix and the firing rule for Safe Petri Net with self-loop are presented by defining the permissive arc in place of self-loop. Next, we develop a method that can find the enable transitions of Safe Petri Net by means of the matrix equation of Safe Petri Net. Finally, by using this method, we propose an algorithm that determines the firing sequence of transitions of Safe Petri Net.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.272-275
• /
• 2007

사람들은 자신의 삶을 기록하고자 하는 욕구를 충족시키기 위하여 일기를 쓰거나 사진을 찍어 기록을 남긴다. 이전의 연구에서는 사람의 삶을 기록하는 방법으로서 Petri Net과 사용자 컨텍스트를 이용하여 모바일 라이프 로그로부터 사용자의 일상생활을 반영하는 스토리를 생성하고자 시도하였다. 이전 연구에서 Petri Net을 이용하여 플롯을 생성하는 과정을 기존의 Petri Net 툴로 진행하였기 때문에 일반적인 Petri Net과 플롯사이에 존재하는 차이점을 반영하기 어려웠으며 플롯 제작에 있어서 일반적인 Petri Net 툴로 디자인 한 후에 스토리 엔진을 위한 포맷으로 변형하여야 했기 때문에 디자인과 변환에 많은 시간이 소요되었다. 본 논문에서는 Petri Net을 이용하여 플롯을 구성하기 위하여 스토리 생성에 필요한 개념을 추가적으로 정의하고 추가된 개념들을 잘 나타내기 위한 도구를 작성하여 Petri Net으로 스토리를 디자인하기 위한 보다 편리한 방법을 제안한다. 또한 제안하는 방법의 유용성을 평가한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 추계학술대회 학술발표 논문집
• /
• pp.180-186
• /
• 1998

This paper deals with the application of fuzzy Petri net to control the line tracking mobile robot. Comparing with the Petri net and the fuzzy Petri net, the fuzzy Petri net model is more effective than the use of Petri net, so the line tracking mobile robot has a little shake and also has a little moving distance than one of using the Petri, And thus the mobile robot shows less energy consumption

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권3호
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets은 병행성 기술이 용이하고 도달성 분석 등 다양한 분석 방법이 제공되므로 프로토콜, 병행적 시스템 검증 등에 많이 이용되어 왔으며 또한 실시간 시스템, 객체지향 시스템 등 다양한 분야에 이용되는 고급 Petri nets과 객체 지향 Petri nets 등의 기반 정형적 기법으로 이용되고 있다. 하지만 P/T nets과 확장된 Petri nets 등에서는 모델에 내재된 병행성을 다루지 않으면 복잡한 병행적 모델의 도달성 분석 시에 시스템 상태가 급증하는 상태 폭발(state explosion)이 발생할 수 있다. 이 연구에서는 다양한 확장된 고급 Petri nets의 근간이 되는 P/T net 모델에서 구조적 병행성을 정의하고 이를 기반으로 시스템을 병행적인 단위로 분할, 합성적인 도달성 그래프를 생성하는 방법을 제시하여 복잡한 P/T net 모델을 효율적으로 분석할 수 있는 방법을 제시한다. 그리고 합성적 도달성 그래프를 이용하여 플레이스의 유한성, 트랜지션의 수행가능성 등의 특성을 효율적으로 분석할 수 있도록 한다. 이러한 분할 분석 기법은 P/T net 모델 뿐만 아니라 P/T nets에 기반을 두고 있는 모든 고급 Petri net model 분석에도 이용될 수 있다.

• 한국콘텐츠학회논문지
• /
• 제11권1호
• /
• pp.16-25
• /
• 2011

컴퓨터 환경에서 한 가지 사건으로 상황이 특징 지워지기도 하지만, 일반적 상황 인식은 공간과 시간을 포함하는 다양한 사건들에 의해서 결정되어 진다. 상황 인식 서비스 관계 설정 방법으로 임베디드 시스템 상황 인식을 시공간적으로 취급하는 것이 요구된다. 물리 공간과 연동되는 시스템의 예외적 동작은 임베디드 시스템의 운영에 심각한 위험과 피해를 초래 할 수 있다. 본 논문은 상황 인식 모델에 시공간적 특성과 예외 관리가 포함 되도록 하는 방법을 제안하고, 이를 확장된 Petri-Net을 이용하여 효과를 확인한다. 실시간 임베디드 시스템 상황 인식을 위해 기본 Petri-Net, 패턴화된 Petri-Net 및 예외 동작을 위한 시공간 Petri-Net 모델 특성을 연구한다. 이 방법을 이용하여 응급의료지원 서비스에 적용 예를 보였다. 본 연구를 통해 시공간 Petri-Net을 사용한 응용 개발 뿐 만아니라 예외 처리를 위한 시공간 상황 인식 모델링에 기여 할 것이다.

• 한국공간정보시스템학회 논문지
• /
• 제12권1호
• /
• pp.28-36
• /
• 2010

컴퓨터 환경에서 한 가지 사건으로 상황이 특징 지워지기도 하지만, 일반적 상황 인식은 공간과 시간을 포함하는 다양한 사건들에 의해서 결정되어 진다. 물리적 공간과 상호 작용하는 실시간 센서 네트워크 상황 인식 서비스는 시간적 특성을 포함한다. 상황 인식 서비스 관계 설정 방법으로 실시간 상황 인식을 시공간적으로 취급하는 것이 요구된다. 본 논문은 상황 인식 모델에 시공간적 특성이 포함 되도록 하는 방법을 제안하고, 이를 개선된 Petri-Net을 이용하여 효과를 확인한다. 실시간 센서 네트워크 상황 인식을 위해 기본 Petri-Net, 패턴화된 Petri-Net 및 시공간 Petri-Net 모델 특성을 연구한다. 이 방법을 이용하여 새만금 온도 변화 탐지에 적용예를 보였다. 본 연구를 통해 시공간 Petri-Net을 사용한 응용 개발 뿐 만 아니라 시공간 상황 인식 모델링에 기여 할 것이다.