• 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.

• 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.

• 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.

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

• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10c
• /
• pp.272-275
• /
• 2007

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

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• 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

• 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.

• 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.

• 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.