• Title, Summary, Keyword: 페트리 네트

Search Result 85, Processing Time 0.135 seconds

Fuzzy Transition Timed Petri Net for modeling and analyzing of Discrete Event Dynamic Systems (이산 사건 동적 시스템의 모델링 및 분석을 위한 퍼지 트랜지션 시간 페트리 네트)

  • 모영승;김진권;김정철;황형수
    • Journal of Korean Institute of Intelligent Systems
    • /
    • v.11 no.2
    • /
    • pp.119-126
    • /
    • 2001
  • 시간 페트리 네트는 실시간 값을 갖는 이산사건 시스템을 모델링하고 해석하기 위한 방법중 하나이다. 시간 페트리 네트는 각 트랜지션에 대하여 두 개의 시간 값, 최초 발화 시간 $\alpha$$_{i}$와 최종 발화 시간 $\beta$$_{i}$를 갖는다. 본 논문에서는 최적 발화 시간을 결정하기 위하여 퍼지 이론을 적용한 퍼지 트랜지션 시간 페트리 네트를 제안하였다. 퍼지 트랜지션 시간 페트리 네트의 트랜지션 점화 시간 ${\gamma}$$_{i}$는 고정 최초 발화 시간 $\alpha$$_{i}$와 고정 최종 발화 시간 $\beta$$_{i}$ 사이에서 어떠한 복잡한 계산 절차나 임의의 조건 없이 입력정보를 이용한 퍼지 이론으로부터 결정된다. 교차로에서 교통 신호제어기는 퍼지 트랜지션 시간 페트리 네트에 의하여 모델링되고 해석되었다. 퍼지 트랜지션 시간 페트리 네트의 중요한 특성은 교통 신호기의 모델링과 시뮬레이션에 의해서 보여진다. 의해서 보여진다.

  • PDF

Modeling, Analysis of Flexible Manufacturing System by Petri Nets (유연제조시스템을 Petri Nets으로 구현하고, 결과를 다른 시뮬레이션과 비교, 검토)

  • Lee, Jong-Hwan
    • Journal of the Society of Korea Industrial and Systems Engineering
    • /
    • v.28 no.3
    • /
    • pp.36-41
    • /
    • 2005
  • 페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Perti Nets)에 적용시켰다. 그리고 결과치의 정확성을 알아내기 위하여, 페트리 네트 시뮬레이션과 아레나를 사용하여 실행하였다.

Performance Analysis of Distributed system by Extended Time Petri Nets (확장된 타임 페트리 네트에 의한 분산 시스템의 성능 분석)

  • 송영재;이부영;이대영
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.14 no.3
    • /
    • pp.207-215
    • /
    • 1989
  • In this Paper prestnting an extended timed Petri net model which Can be used for the performance analysis of Distributed System. An analysis methodology based on a reachiabilitylike approach is prestented efficiency to find out the behaviour of these nets in terms of performance. And the proposed extended timed prtri net models are simulated to show practicability of the accuracy of the extended model in representing system specification.

  • PDF

페트리 네트와 퍼지 개념을 이용한 자동 조립 시스템 제어

  • 고인선;전광호
    • ICROS
    • /
    • v.1 no.3
    • /
    • pp.92-100
    • /
    • 1995
  • 본 연구에서는 페트리 네트를 사용하여 모델링된 이산 사건 시스템의 제어시 발생하는 충돌 현상을 해결하기 위하여 퍼지 개념을 사용하였다. 이를 통하여 페트리 네트로 시스템을 제어할 경우 발생하는, 큰 문제점인 외부 시스템과의 데이터 입출력 설정의 어려움을 해결하는 방법을 보였다. 또한 제시된 규칙 행렬의 단순성으로부터 쉽게 충돌 현상하의 우선 순위를 변화시킬 수 있다. 시스템을 제어하는 전문가의 지식이 모호하여 단순히 상수값으로 우선순위를 표현할 수 없는 경우에는 퍼지개념을 이용하여 해결하였다. 이러한 방법들은 소규모의 모터 자동 조립 시스템을 제어하는데 부품의 수량, 작업의 대기 상태를 퍼지화하여 규칙행렬을 만들어 제어신호를 발생시켰다. FMS, CIM을 제어할 때 발생하는 Scheduling 문제도 본 논문의 방법을 사용하면 해결할 수 있다고 본다.

  • PDF

Petri Net Modeling of Database System Reliability (데이터베이스 시스템 신뢰도를 위한 페트리 네트 모델링)

  • Ro Cheul-Woo;Kim Kyung-Min;Kim Ti-Na
    • Proceedings of the Korea Contents Association Conference
    • /
    • /
    • pp.315-319
    • /
    • 2005
  • In this paper, we present a Petri Net (PN) model for reliability analysis of fault-tolerant database system models that consists of components one shared memory, bus, processors and database (disk). Each component can be failed and repaired individually. The system is operational as long as database and one of component is operational. We develop Stochastic Reward Net (SRN) Model for reliability analysis of database system. SRN is potential to define various reward functions. and can be easily used to obtain performance measures. The modeling techniques using variable cardinality, enabling function, timed transition priority in SRN are shown.

  • PDF

Specification and Analysis of System Properties by using Petri nets (페트리 네트를 이용한 시스템 속성의 명세 및 분석)

  • Lee, Woo-Jin
    • The KIPS Transactions:PartD
    • /
    • v.11D no.1
    • /
    • pp.115-122
    • /
    • 2004
  • Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

Secured Verification of Intrusion Prevention System Security Model Based on CPNs (CPN 기반의 침입방지시스템 보안모델의 안정성 검증)

  • Lee, Moon-Goo
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.48 no.3
    • /
    • pp.76-81
    • /
    • 2011
  • Intrusion prevention systems (IPS) are important solution about solved problems for inside system security or outsider attacks. When introduce this system, first consideration item is secured rather than multiple function. Colored Petri Nets (CPNs) used that in order to secured verification for user authentication function of intrusion prevention system security model. CPNs is a graphical modeling language suitable for modeling distributed, concurrent, deterministic or non-deterministic systems with synchronous. Like these CPNs was expressed every possible state and occurrence graph. Secured of IPS security model was verified because expression every state using CPN tool and as a result of analyzing the occurrence graph was without a loop or interruption.

A Design of a Petri-Net-Based Multimedia Scenario Authoring Tool and Implementation of a Scenario Player (페트리 네트 기반 멀티미디어 시나리오 작성기 설계 및 재생기 구현)

  • 임재걸;이계영
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • /
    • pp.377-382
    • /
    • 1998
  • 멀티미디어 시나리오를 표현할 수 있는 페트리넷을 제안하고, 멀티미디어 시나리오 작성기 제작에 이 페트리넷을 이용하는 방법을 제안한다. 또한 제안된 페트리넷을 포현된 멀티미디어 시나리오를 재생하여 주는 시스템 구현을 소개한다. 구현된 재생기는 처음부터 끝까지 차례로 출력하는 것 뿐만 아니라 '정지', '역방향 재생', '빠른 재생' 등의 기능도 갖고 있다.

  • PDF

Design and Verification of Multimedia Synchronization Model using PetriNet (페트리 네트를 이용한 멀티미디어 동기화 모델의 설계 및 검증)

  • Oh, Myoung-Kwan;Lee, Keun-Wang
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.2
    • /
    • pp.584-589
    • /
    • 2010
  • In this paper we suggest multimedia synchronization model that is based on the Petri-net and services desirable quality of service requirement. Proposed model applies variable buffer which can be allowed, and then it presents high quality of service and real time characteristics. In this paper we expend Petri-net and propose new multimedia synchronization specification model in PBMSM and apply two analysis method of Petri-net to prove our model suggested. We compared with other models and showed high QoS.

Deadlock Avoidance of DEDS Using Siphon property (Siphon 특성을 이용한 이산사건 시스템의 Deadlock 회피)

  • Kim, Jung-Chul;Kim, Jin-Kwon;Hwang, Hyung-Soo;Kim, Sung-Joong
    • Proceedings of the KIEE Conference
    • /
    • /
    • pp.2298-2300
    • /
    • 2003
  • 본 논문은 페트리 네트의 특별한 구조인 siphon의 특성을 이용하여 트랜지션 점화를 제어함으로써 deadlock을 회피하는 방법을 제시한다. 제안한 방법은 페트리 네트에서 상태 방정식을 유도한 후, siphon의 특성을 이용하여 deadlock을 회피할 수 있는 충분 조건을 유도한다. 간단한 FMS의 예를 이용하여 제안한 방법을 사용하면 deadlock이 발생하지 않음을 보인다.

  • PDF