• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.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.

• Journal of Korea Game Society
• /
• v.15 no.5
• /
• pp.49-56
• /
• 2015

As the popularity of casual games, they are increasing the needs to satisfy personal dispositions and the gameplay requirements of the various users in the game development process. These require analysis of action patterns of gameplay of various users in the testing phase of the game development. In this paper, we propose a method to analyze action patterns of gameplay through Petri net model simulation with gameplay metrics data. The proposed method has practical simulation environments because of using gameplay metrics data, and it can analyze diversely like reachability, coverbility, and liveness given by Petri net model analysis. An application example of the proposed method using a Petri net modeling tool GPenSIM v4.0 is given to analyze the patterns of gameplay in game Pacman. The results of simulations is presented. The presented results show that the proposed method can analysis patterns of gameplay diversely.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.342-347
• /
• 1993

For a fast evolution, a memory-based implementation of a petri net is discussed. A sub-class petri net model called B-petri net is suggested to make a memory-based implementation feasible in a large size application. The suggested B-petri net is a binary-petri net since only a binary-typed decision, fork and join are allowed. The application of a B-petri nt is focused to a SFC(sequential function chart) program. The memory requirement, speed and computational load are compared with a petri net when they are implementated by a memory-based method.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.838-840
• /
• 1999

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

• Journal of Power System Engineering
• /
• v.9 no.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.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• 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.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.641-644
• /
• 2000

This paper studies coverability tree and reach-ability set of Petri net under the earliest filing rule. Conventional algorithm for coverability tree for ‘normal’ Petri net is not good for Petri net under the earliest firing rule. More over, it is shown that there exists no coverability graph for general class of earliest firing Petri net. Some subclasses are studied where coverability graph can be constructed.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.05a
• /
• pp.137-142
• /
• 2006

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

• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10a
• /
• 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.

• Journal of Ocean Engineering and Technology
• /
• v.15 no.4
• /
• pp.108-114
• /
• 2001

Petri nets have been introduced as a powerful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can be analyzed hardly when we deal with large scale systems because of increase of the number of Petri net components. To overcome this problem, some methods for dividing or reducing of Petri net have been suggested. In this paper, an approach for hierarchical expression of Petri net based on Sequential function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definitions and rules are defined in order to divide and compose sub Petri nets. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub Petri nets based on the SFC and BUM by the proposed method in this paper.