• 제목/요약/키워드: Petri net model

검색결과 192건 처리시간 0.021초

퍼지 제어를 위한 시간형 퍼지 페트리넷 모델 (Timed fuzzy petri net model for fuzzy control model)

  • 윤정모
    • 전자공학회논문지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.

  • PDF

페트리네트 모델을 이용한 냉동시스템의 고장 진단 (Fault Diagnosis of a Refrigeration System Based on Petri Net Model)

  • 정석권;윤종수
    • 동력기계공학회지
    • /
    • 제9권4호
    • /
    • pp.187-193
    • /
    • 2005
  • In this paper, we proposes a man-machine interface design for fault diagnosis system with inter-node search method in a Petri net model. First, complicated fault cases are modeled as the Petri net graph expressions. Next, to find out causes of the faults on which we focus, a Petri net model is analyzed using the backward reasoning of transition-invariance in the Petri net. In this step, the inter-node search method algorithm is applied to the Petri net model for reducing the range of sources in faults. Finally, the proposed method is applied to a fault diagnosis of a refrigeration system to confirm the validity of the proposed method.

  • PDF

실시간 임베디드 시스템 상황 정보 서비스를 위한 확장된 Petri-Net 모델링 (Expanded Petri-Net Modeling for Real Time Embedded System Context-awareness Service)

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

Enhanced Petri-Net을 이용한 실시간 센서 네트워크의 상황 정보 서비스 모델링 (Context-Awareness Service Modeling of Realtime Sensor Network using Enhanced Petri-Net)

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

Petri-Net을 이용한 효과적인 다중로봇 제어알고리즘의 구현 (Embodiment of Effective Multi-Robot Control Algorithm Using Petri-Net)

  • 선승원;국태용
    • 제어로봇시스템학회논문지
    • /
    • 제9권11호
    • /
    • pp.906-916
    • /
    • 2003
  • A multi-robot control algorithm using Petri-Net is proposed for 5vs5 robot soccer. The dynamic environment of robot soccer is modeled by defining the place and transition of each robot and converting it into Petri-Net diagram. Once all the places and transitions of robots are represented by the Petri-Net model, their actions can be chosen according to the roles of robots and position of the ball in soccer game, e.g., offensive, defensive and goalie robot. The proposed modeling method is implemented for soccer robot system. The efficiency and applicability of the proposed multiple-robot control algorithm using Petri-Net are demonstrated through 5vs5 Middle League SimuroSot soccer game.

Petri net의 확장에 관한 연구 (A Study on the extension of Petri net)

  • 한영렬;박진수
    • 한국통신학회논문지
    • /
    • 제7권4호
    • /
    • pp.151-155
    • /
    • 1982
  • Petri net는 concurrent system을 model化하고 해석하기 위하여 사용되어져 왔으나 그 능력은 제한되어 있다. 따라서 본 논문에서는 model化능력을 향상시키기 위하여 禁止edge 및 容量을 부가해서 확장된 Petri net를 제안하였고 확장된 Petri net의 해석능력을 높이기 위하여 일반 petri net로 변환하는 알고리즘을 제안하였다. 또한 실례를 들어 설명함으로써 본 논문에서 제안한 알고리즘의 유용성을 보였다.

  • PDF

퍼지페트리네트에 의한 선 추적 이동 로봇의 관리제어 (Supervisory Control of Line Tracking Mobile Robot Using Fuzzy 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

  • PDF

Petri Net 모델 시뮬레이션을 통한 게임플레이 분석방법 (A Method of Gameplay Analysis by Petri Net Model Simulation)

  • 장희동
    • 한국게임학회 논문지
    • /
    • 제15권5호
    • /
    • pp.49-56
    • /
    • 2015
  • 캐주얼게임이 대중화되면서 게임개발과정에서 다양한 유저들의 게임플레이의 성향과 요구사항들을 만족시켜야 할 필요성이 증가하였다. 이를 위해서는 게임개발과정의 테스트단계에서 다양한 유저의 게임플레이 패턴을 분석해야 한다. 본 논문에서는 유저의 게임플레이 측정데이터를 사용하는 Petri net 모델의 시뮬레이션을 통해 액션 패턴을 분석하는 방법을 제안하였다. 제안한 방법은 유저의 게임플레이 측정데이터를 사용하기 때문에 시뮬레이션 환경은 실제적이고 또한 Petri net 모델을 사용한 분석이기 때문에 액션 패턴의 reachability, coverbility, liveness 등과 같은 다양한 분석이 가능하다. 제안하는 방법의 적용사례로 Petri net 모델링 도구인 GPenSIM v4.0 도구를 사용하여 팩맨(Pacman) 게임의 게임플레이 패턴을 분석하는 Petri net 모델을 구현하고 시뮬레이션을 결과들을 제시하였다. 적용사례의 제시 결과들은 제안하는 방법이 Petri net 분석 기능을 이용하여 유저의 게임플레이의 액션패턴을 다양하게 분석가능 함을 보여주었다.

Petri net을 이용한 제조시스템의 워크플로우 모델링 (Manufacturing workflow modeling using Petri net)

  • 김태운;서윤호;신동목
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
    • /
    • pp.821-826
    • /
    • 2003
  • The Purpose of this paper is to automate the representation of manufacturing line using Petri net model. In the manufacturing cell, the line can be represented using workflow which is composed of Bill of Material (BOM) and Bill of Processes (BOP). BOP shows the precedence of processes and the relationship between assembly and disassembly. As a modeling scheme, generalized stochastic Petri net is adopted. For a problem domain with flexible manufacturing cell, Petri net model is made and behavioral properties are analyzed.

  • PDF

비연속 시스템 제어를 위한 확장된 safe petri net 모델과 실시간제어를 위한 scanning algorithm의 개발 (Development of extended safe petri net model for discrete system control and scanning algorithm for real time control)

  • 황창선;서정일;이재만
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1988년도 한국자동제어학술회의논문집(국내학술편); 한국전력공사연수원, 서울; 21-22 Oct. 1988
    • /
    • pp.338-342
    • /
    • 1988
  • Recently, in sequence control systems, high flexibility and maintenance of control software are required. This is because product life cycles become shorter and control specification must be changed frequently. The authors extend the concept of Safe Petri Net to develop the design and analysis tool for sequence control systems taking the safeness and notation of input/output functions into consideration. Extended Safe Petri Net (S-Net) is proposed as such a new graph model and real time scanning algorithm based on S-Net is developed.

  • PDF