• 제목/요약/키워드: Colored Petri Net

검색결과 28건 처리시간 0.023초

Fuzzy Colored Timed Petri Net을 이용한 상황 추론 (Context Inference using Fuzzy Colored Timed Petri Nets)

  • 이건명;이경미;황경순
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2006년도 춘계학술대회 학술발표 논문집 제16권 제1호
    • /
    • pp.137-142
    • /
    • 2006
  • 상황은 단일 사건에 의해 결정되는 경우도 있지만, 많은 경우 일련의 사건이 특정 시간 제약을 만족하면서 발생할 때 상황이 결정된다. 따라서 상황에 대한 추론은 시간 제약 조건 만족 여부와 함께 사건의 발생을 순서를 확인하는 방법으로 수행될 수 있다. 한편, 어떤 상황은 분명하게 정의되는 것이 아니라 애매한 개념을 사용하여 기술되기 때문에, 퍼지 개념을 이용한 상황 기술과 이에 대한 추론이 필요하다. 한편, 유비쿼터스 환경에서와 같이 여러 대상에 대한 상황을 유추하여 서비스를 제공해야 하는 경우에, 대상 간에 동일한 상황이 발생할 수 있기 때문에 이에 대한 고려가 필요하다. 이러한 상황 추론을 위해서 이 논문에서는 Fuzzy Colored Timed Petri net 모델이라는 상황 추론 모델에 대해서 제안한다. 제안한 모델은 Timed Petri net 성질을 이용하여 일련의 사건 발생을 모델링하고, Colored Petri net의 성질을 이용하여 다수 대상에 대한 상황 추론을 허용하며, fuzzy 토큰 개념을 이용하여 애매한 개념을 사용하여 정의된 상황에 대한 추론을 가능하게 한다.

  • PDF

상황 추론을 위한 Fuzzy Colored Timed Petri Net (Fuzzy Colored Timed Petri Nets for Context Inference)

  • 이건명;이경미;황경순
    • 한국지능시스템학회논문지
    • /
    • 제16권3호
    • /
    • pp.291-296
    • /
    • 2006
  • 상황은 단일 사건에 의해 결정되는 경우도 있지만, 많은 경우 일련의 사건이 특정 시간 제약을 만족하면서 발생할 때 상황이 결정된다. 따라서 상황에 대한 추론은 시간 제약 조건 만족 여부와 함께 사건의 발생을 순서를 확인하는 방법으로 수행될 수 있다. 한편, 어떤 상황은 분명하게 정의되는 것이 아니라 애매한 개념을 사용하여 기술되기 때문에, 퍼지 개념을 이용한 상황 기술과 이에 대한 추론이 필요하다. 한편, 유비쿼터스 환경에서와 같이 여러 대상에 대한 상황을 유추하여 서비스를 제공해야 하는 경우에, 대상 간에 동일한 상황이 발생할 수 있기 때문에 이에 대한 고려가 필요하다. 이러한 상황 추론을 위해서 이 논문에서는 Fuzzy Colored Timed Petri net 모델이라는 상황 추론 모델에 대해서 제안한다. 제안한 모델은 Timed Petri net 성질을 이용하여 일련의 사건 발생을 모델링하고, Colored Petri net의 성질을 이용하여 다수 대상에 대한 상황 추론을 허용하며, fuzzy 토큰 개념을 이용하여 애매한 개념을 사용하여 정의된 상환에 대한 추론을 가능하게 한다.

RDF 모델을 나타내는 Petri Net 모형 구축 (Construction of a Petri Net Model for a RDF Model)

  • 임재걸;이강재;정승환;심문주
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2008년도 제38차 하계학술발표논문집 16권1호
    • /
    • pp.11-16
    • /
    • 2008
  • 본 논문은 온톨로지(ontology) 작성에 사용되는 RDF(Resource Description Framework) 모델을 CPN(Colored Petri Net) 모델로 변환하여 표현하는 방법을 제안하고, 페트리 넷 시뮬레이션으로 RDF의 의미를 해석하여 RDF 질의문에 답할 수 있음을 보인다. 또한, 어떠한 RDF 모델도 CPN 모델로의 변환이 가능하다는 제안 방법의 완전성과 무결성을 소개하고, 제안한 방법으로 구축된 CPN 모델에서 RDF 질의에 대해 정확하게 결과를 구하는 방법을 제시한다.

  • PDF

페트리네트를 이용한 유연생산시스템의 실시간 제어에 관한 연구 (A study on the real time control of flexible manufacturing system using colored and timed Petri Nets)

  • 노상도;김기범;김종원;이교일
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
    • /
    • pp.1099-1104
    • /
    • 1993
  • The real time control system for FMS(Flexible Manufacturing System) is implemented at this paper. To achieve this goal, the Colored and Timed Petri-Net model is constructed and used to simulate the real time operation of FMS. Using the Colored and Timed Petri-Net model, evaluating any kind of FMS plant is possible. On-line shceduler, intelligent dispatcher, real time monitor and the simulation model of shop floor are contructed using LAN communication, relational database system in this paper. Finally, this real time control system is applied to the FMS/CIM center at Seoul National University.

  • PDF

에이전트 기반 컬러 페트리 넷을 이용한 전력 계통의 정보 흐름 모델링: 광역 보호 시스템에의 적용 (Agent-based Colored Petri Net Modeling of Grid Information Flows : Modeling of Wide Area Protection System)

  • 박병성;허견
    • 전기학회논문지
    • /
    • 제60권7호
    • /
    • pp.1347-1353
    • /
    • 2011
  • While most of the existing protection schemes have been designed with local information around individual components, these local schemes are not considered capable of protecting the modern electric power gird with growing complexity. Recent blackouts in North America and Europe have renewed the emphasis on coordinated protection and control actions to avoid systemwide blackouts, utilizing all of the available grid information. Thus, this paper proposes a new methodology, Agent-based Colored Petri Net (ACPN) modeling for systematically representing, modeling and analyzing information flows and interactions among the entities of the electric power grid. The paper demonstrates its efficacy and accuracy by investigating an ACPN model of a wide area protection system for a typical power grid. The proposed modeling and analysis schemes may further provide a framework to help assure reliability and interoperability of diverse smart grid components.

Colored Petri-Net을 이용한 상황인식 서비스의 모델링과 검증 방법 (Modeling and Verification Methodology for Context-awareness Service using Colored Petri-Net)

  • 한승욱;윤희용
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권4호
    • /
    • pp.283-290
    • /
    • 2009
  • 상황인식 서비스는 유비궈터스 환경의 핵심으로 동적 환경에서 지능적이고 민감하게 동작하기 위해 상황과 서비스간의 연관관계를 명확하게 분류하기 위한 방법론이 요구된다. 기존의 모델링 방법들은 시나리오 중심의 상황정보 수집, 관리 그리고 표현에 초점이 맞추어 있다. 따라서 설계할 때 다양한 실제환경에 적용하여 상황인식 서비스 모델의 적합성을 검증하기는 힘들다. 본 논문에서는 colored Petri-Net을 응용한 모델링 방법을 제시한다. 모델은 상황 정보의 변화와 흐름의 표현과 평가에 초점을 두고 시간을 추가하여 수행시간제약에 대한 표현 및 평가가 가능하도록 하였다. 또한 상황 모델링 툴킷과 에이전트 기반의 상황인식 엔진 그리고 상황정보 시뮬레이터를 활용하여 에이전트 기반의 상황인식 서비스를 개발하였다. 본 논문에서 제안한 모델링 방법은 Usilvercare에 적용하여 실용성을 검증하였다.

Petri-Net 을 이용한 FMS 제어 및 모니터링 (FMS Control and Monitoring using Petri Net)

  • 김고중;정무영;조현보
    • 대한산업공학회지
    • /
    • 제21권1호
    • /
    • pp.137-151
    • /
    • 1995
  • A difficult problem in operating Flexible Manufacturing Systems (FMS) is to control the system in real-time by coordinating heterogeneous machines and integrating distributed information. The objective of the paper is to present the models and methodologies useful to resolve the difficult problem. The detailed objectives can be described in three folds. First, a hierarchical Colored and Timed Petri-Net (CTPN) is designed to control an FMS in real-time. The concerned FMS consists of a loading station, several machining cells, a material handling system, and an unloading station. Timed-transitions are used to represent the timed-events such as AGV movements between stations and cells, part machining activities in the cells. Signal places are also used to represent communication status between the host and the cell controllers. To resolve the event conflicts and scheduling problems, dispatching rules are introduced and applied. Second, an implementation methodology used to monitor and diagnose the errors occurring on the machines during system operation is proposed. Third, a Petri-Net simulator is developed to experiment with the designed control logic.

  • PDF

시간논리 구조와 Colored Resource-Oriented Petri Net을 이용한 FMS's의 감시제어 (Supervisory Control of FMS's Using Colored Resource-Oriented Petri Net and Temporal Logic Frameworks)

  • 김정철;김진권;황형수
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2001년도 하계학술대회 논문집 D
    • /
    • pp.2045-2047
    • /
    • 2001
  • In this paper, we proposed the representation method of specification and the control rules fork FMS by TPL. To increase productivity and resource utilization, it is desirable to have more active jobs in the system, but the more active jobs there are, the more easily deadlock occur. Therefore, it is very important that the real-time deadlock control to disable deadlock. In this paper, we performed the system modeling by the CROPN(Colored Resource -Oriented Petri Net) and the necessary -sufficient condition check to disable deadlock. We proposed the supervisory control system that can be the real-time monitoring for deadlock free through a necessary-sufficient condition by CROPN modelling, and designed the logic controller of the extended process using TPL.

  • PDF

Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets

  • Aybar, Aydin;Cimen, Mustafa
    • International Journal of Control, Automation, and Systems
    • /
    • 제5권4호
    • /
    • pp.463-470
    • /
    • 2007
  • Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.

페트리네트를 이용한 유연생산시스템 설계에 관한 연구 (A Study on the Design of Flexible Manufacturing Systems by using Petri Nets)

  • Kim, G.B.;Lee, K.I.
    • 한국정밀공학회지
    • /
    • 제12권10호
    • /
    • pp.166-174
    • /
    • 1995
  • Flelxible Manufacturing Systems(FMS), which consist of various machine groups, can produce machine parts in different physical dimensions and lot sizes. In this paper, a novel method which utilizes Colored and Timed Petri Net is proposed to model a FMS. Each machine group of FMS is modulized and modeled using expanded Petri Nets. Colored and Timed Petri Nets are defined, and the flexible manufacturing systems's design algorithm based on this definition is developed and verified in a real FMS plant by computer simulations.

  • PDF