• Title, Summary, Keyword: Petri-Net

Search Result 372, Processing Time 0.059 seconds

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

  • 한영렬;박진수
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.7 no.4
    • /
    • pp.151-155
    • /
    • 1982
  • Petri ant is employed to analyze the coneurrent system and to make it into a model. But the faculty of Petri net is limited. Therefore in this thesis a Petri net of which restricted edge and capacity are extended is proposed in order to improve the modeling faculty. This paper also proves that the algorism which I have designed, can be transformed into a general Petri net for improving the analytic power of the expanded Petri net. Through explanatory examples i have also shown the usefulness of the algorism.

  • PDF

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

  • 윤정모
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.34C no.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

A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability: Live Single Branch Petri Net

  • Gao, Qian;Cho, Young Im
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.13 no.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.

A Petri Net for Modeling Internet Multimedia Scenario (인터넷 멀티미디어 시나리오를 모델하기 위한 페트리 넷 소개)

  • 임재걸
    • Proceedings of the Korean Information Science Society Conference
    • /
    • /
    • 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을 제안한다.

  • PDF

An Algorithm for Determining Firing Sequence of Safe Petri Net Using its Matrix Equation (Safe Petri Net의 상태천이행렬식에 의한 비연속시스템의 점화순서 결정 알고리즘)

  • 황창선;이재만
    • The Transactions of the Korean Institute of Electrical Engineers
    • /
    • v.40 no.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.

  • PDF

Development of Plot Design Tool for Life Log Story Generation Using Petri Net (Petri Net을 이용한 모바일 라이프 스토리 생성을 위한 플롯 디자인 도구의 개발)

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

  • PDF

Supervisory Control of Line Tracking Mobile Robot Using Fuzzy Petri Net (퍼지페트리네트에 의한 선 추적 이동 로봇의 관리제어)

  • 최경조;전명근
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • /
    • 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

Compositional Analysis of Petri Net Models using Petri net Slices (페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석)

  • Lee, Woo-Jin;Cha, Sung-Deok;Kwon, Yong-Rae;Kim, Heung-Nam
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.3
    • /
    • pp.210-216
    • /
    • 2000
  • Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

  • PDF

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

  • Yang, Seung-Weon;Lee, Jae-Bong
    • The Journal of the Korea Contents Association
    • /
    • v.11 no.1
    • /
    • pp.16-25
    • /
    • 2011
  • Some context is characterized by a single event in computing environment, but many other contexts are determined by a lot of things which occur with a space and a time. The Realtime Embedded System context-awareness service that interacts with the physical space can have property such as time. The exceptional behaviors of the system that interact with physical space can result in critical damage and cause danger to the operation of an embedded system. we propose an approach which should include spatio-temporal property and exceptional management in the context model, and verify its effectiveness using an expanded Petri-Net. The context-awareness service modeling of an embedded system is discussed the properties of model such as basic Petri-Net, patterned Petri-Net, or Spatio-temporal Petri-Net for the exceptional behaviors of the system. The proposed methodology demonstrated using an example that is emergency medical service. The use of expanded Petri-Net will contribute not only to develop the application but also to model the spatio-temporal context awareness for the exceptional handling.

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

  • Lee, Jae-Bong;Lee, Hong-Ro
    • Journal of Korea Spatial Information System Society
    • /
    • v.12 no.1
    • /
    • pp.28-36
    • /
    • 2010
  • Some context is characterized by a single event in computing environment, but many other contexts are determined by a lot of things which occur with a space and a time. The Realtime Sensor Network context-awareness service that interacts with the physical space can have property such as time. A methodology that is specified the relationship between the contexts and the service needs to be developed to Realtime context-awareness deal with spatio-temporal. In this paper, we propose an approach which should include spatio-temporal property in the context model, and verify its effectiveness using enhanced Petri-Net. The context-awareness service modeling of Realtime Sensor Network is discussed the properties of model such as basic Petri-Net, patterned Petri-Net, or Spatio-temporal Petri-Net. The proposed methodology demonstrated using an example that is SAEMANGUEM warming watching system. The use of Spatio-temporal Petri-Net will contribute not only to develop the application but also to model the spatio-temporal context awareness.