• Nuclear Engineering and Technology
• /
• v.28 no.6
• /
• pp.522-531
• /
• 1996

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompletensess in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.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.

• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.699-705
• /
• 2009

This paper reviews methods used to perform reliability and availability analysis of the network system composed by nodes and links. The combination of nodes and links forms virtual connections (VC). The failure of several VCs cause failure of whole network system. Petri Net models are used to analyze the reliability and availability. Stochastic reward nets (SRN) is an extension of stochastic Petri nets provides modelling facilities for network system analysis.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.132.3-132
• /
• 2001

In this paper, we focus on the analysis of the scheduling problem in FMS after slicing off some sub-nets using the transitive matrix. This class of Time Petri nets is obtained by merging subnets based on the machine's operations. We can divide original system into some subnets based on machine's operations using Time Petri nets slice and analyze the feasibility time in each schedules. In this paper, we show the usefulness of transitive matrix to slice off some subnets from the original net, and explain on an example.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.17 no.30
• /
• pp.167-175
• /
• 1994

Generally, queueing networks, networks, chains and simulation techniques are among the most widely used evaluation tools to study computer systems, manufacturing systems etc. But, these tools have some assumptions and difficulties. So, this thesis presents a method for manufacturing system using Petri nets. Petri nets are a graphical and mathmatical modeling tool and are promising tool for describing and studying systems that are characterized as being concurrent asychronous, dynamic, distributed and parrallel. It designs Petri net model for processing time of manufacturing system And it applied to a job shop system composed of 8 machines and 4 different job types.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1330-1333
• /
• 1993

In this paper, first, the fuzzy Petri net inference mechanism with learning function is proposed by using the extended fuzzy Petri nets. Secondly, a control system with this new inference engine is proposed. This system can do automatically and easily the knowledge acquisition from the operator's empirical data and can also be controller adaptively under the big parameter change.

• Journal of The Korean Association of Information Education
• /
• v.13 no.1
• /
• pp.96-104
• /
• 2009

We want to achieve the reliable information system such as e learning system in the internet environments. The difficulty of the program reliability estimation comes from faults that occurred from program and data files are distributed among several servers. This paper is focus on a modeling approach based on Colored Petri Nets to estimate the program reliability in an internet environment. The procedure of analyzing the reliability is as follows. At first, we propose an internet program model. This model is transformed into a Colored Petri net, and the reliability is estimated. We adapt this model to the analyzing the reliability in the internet environment. This method is very simple, and is very helpful to develope program

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.951-958
• /
• 1998

In this paper, we propose a backward reasoning algorithm which can be utilized in the fuzzy Petri-net representation representing fuzzy production rules. The fuzzy Petri-net representation can be used to model a approximate reasoning system and implement a fuzzy inference engine. The proposed algorithm, which uses the proper belief evaluation functions according to fuzzy concepts in antecedentes and consequents of fuzzy production rules, is more closer to human intuition and reasoning than other methods. This algorithm generates the backward reasoning path from the goal to the initial nodes and evaluates the belief value of the goal node using belief evaluation functions.

• Journal of Korea Game Society
• /
• v.15 no.6
• /
• pp.131-140
• /
• 2015

The character is one of most important interest-element in role playing game genres since it shows the individuality. In general cases, game players allocate points to talent clauses that they choose. However, it is not easy to provide the suitable character-growing to players in generic system since the cases are too simple and based on just humans choices. In this paper, we propose the character growing system based on the player type inference module. Growth morphology is determined by player's behavior or type. The determination is based on petri-net. Our experimental results and analysis show that our proposed approach is suitable for character-growing system.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.1186-1190
• /
• 1995

This paper is focused on the formulation of explicit closed-form functions describing the performance measures of the general flexible manufacturing system (FMS)according to the strategy of material handling system(MHS). the performance measures such as the production rate, the production lead-time and the utilization rate of the general FMS are expressed, respectively, as the explicit closed-form functions of the part processing time, the service rate of the material handling system (MHS) and the number of machine tools in the FMS. For this, the gensral FMS is presented as a generalized stochastic Petri net model, then, the moment generating function (MGF) based approach is applied to obtain the steady-state probabity formulation. Based on the steady-state formulation, the explicit closed-form functions for performance measures of the probability FMS can be obtained. Finally, the analytical results are compared with the Petri net simulation results to verify the validity of the suggested method. The paper is of significance in the sense that it provides a comprehensive formula for performance measures of the FMS even to the industry engineers and academic reademic resuarchers who have no background on Markov chain analysis method or Petrinet modeling