• Journal of Information Technology Applications and Management
• /
• 제12권4호
• /
• pp.1-12
• /
• 2005

In general, other conventional researches propose the fuzzy Petri net-based fuzzy reasoning algorithms based on the exhaustive search algorithms. If it can allow the certainty factors representing in the fuzzy production rules to use as the heuristic information, then it can allow the reasoning of rule-based systems to perform fuzzy reasoning in more effective manner. This paper presents a fuzzy Petri net(FPN) model to represent the fuzzy production rules of a rule-based system. Based on the fuzzy Petri net model, a weighted fuzzy reasoning algorithm is proposed to Perform the fuzzy reasoning automatically, This algorithm is more effective and more intelligent reasoning than other reasoning methods because it can perform fuzzy reasoning using the certainty factors which are provided by domain experts as heuristic information

• International Journal of Control, Automation, and Systems
• /
• 제1권4호
• /
• pp.431-443
• /
• 2003

This paper presents an efficient method to evaluate the performance of an extended stochastic Petri net by simple algebraic operations. The reachability graph is derived from an extended stochastic Petri net, and then converted to a timed stochastic state machine, using a semi-Markov process. The n-th moments of the performance index are derived by algebraic manipulations with each of the n-th moments of transition time and transition probability. For the derivation, three reduction rules are introduced on the transition trajectories in a well-formed regular expression. Efficient computation algorithms are provided to automate the suggested method. The presented method provides a proficient means to derive both the numerical and the symbolic solutions for the performance of an extended stochastic Petri net by simple algebraic manipulations.

• 한국시뮬레이션학회논문지
• /
• 제2권1호
• /
• pp.1-12
• /
• 1993

Simulation has been recognized as an invaluable tool in designing and analyzing manufacturing system. In this paper, a Petri net based simulation tool to facilitate the simulation project in manufacturing area is presented . To simulate a manufacturing system, three models are developed ; a Petrinet model, a monitor, and a token control function. While hardware objects in manufacturing systems are modeled by Petri net objects, cell level control functions are separately modeled and integrated with a Petri net model so that they resolve conflicts occuring in Petri net execution. The monitor is a model regarding the information flow between Petri nets and token control functions. The facilities of the developed tool are presented. Also, a modeling procedure with the tool is illustrated via a case study.

• Nuclear Engineering and Technology
• /
• 제44권8호
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.324-329
• /
• 1993

A reduction method of GSPN (generalized stochastic Petri net) is proposed. A GSPN is basically a SPN (stochastic Petri net) with transition a that are either timed or immediate. Then the proposed method is defined on the basis of the dynamic behavior and the structure of the net. The reduction preserves the properties such as liveness, boundedness, and allows easy analysis of the GSPN.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.1105-1110
• /
• 1993

We applied the simulation method using Petri Nets to a FMS model. Generally ordinary Petri Net would be short of describing a real FMS operations. Hence we adopted the extended Petri-Mets(EPN) and timed places in order to have performance evaluation. Our simulator use data based modeled of Petri Nets in simulation. We can enhance the overall production rate of the system with the obtained results over a number of simulations.

• 한국컴퓨터정보학회논문지
• /
• 제12권3호
• /
• pp.9-17
• /
• 2007

본 논문은 페트리 넷 기반의 멀티미디어 프로그래밍 방법을 제안한다. 이를 위하여 멀티미디어 시나리오를 표현할 MPN(Multimedia Petri Net)을 정의하고, 또한 MPN을 분석하여 시나리오의 결함을 찾아낼 수 있는 방법을 소개한다. 멀티미디어 프로그램은 MPN을 해석하여 멀티미디어 시나리오를 재생한다. 이렇게 작성한 우리의 멀티미디어 프로그램은 정지, 빠른 재생 되감기, 빠른 되감기 등의 조작 기능을 제공한다. 멀티미디어 시나리오 모델링을 위해 페트리 넷을 이용한 사례는 존재하지만, 이들은 모두 시간적 동기화 분석을 위한 것으로, 멀티미디어 시나리오의 재생을 목적으로 사용된 사례는 아직 없다. 이에 반하여, MPN은 시나리오의 흐름은 물론 시나리오를 구성하는 데이터들의 정보까지도 모두 표현함으로써 재생에 필요한 모든 정보를 나타낼 수 있다.

• 대한전자공학회논문지
• /
• 제19권3호
• /
• pp.28-36
• /
• 1982

페트리넷은 컴퓨터에서 사회 문제에 이르기까지 시스템을 모텔링하는데 다양하고 광범위하게 사용하였다. 이 논문은 백(bag)이론을 이용하여 궤트리넷의 성질을 수학적으로 정의한다. 사건-조건 컴퓨터프로그램 컴퓨터 조작 및 공정권에 대한 궤트리넷 모델링법을 설명한다. 그리고 터널다이오드 발진회로를 페트리넷으로 표시하고 프로그램과 시뮬레이숀을 한 다음 결과를 제시한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.971-974
• /
• 2002

Petri net is an effective modeling tool for concurrent systems. Liveness problem is one of analysis problems in Petri net theory verifying whether the system is free from any local deadlocks. It is well known that computational complexity of liveness problem of general Petri net is deterministic exponential space. Some subclasses, such as marked graph and free choice net, are suggested where liveness problem is verified in less complexity. This paper studies liveness of siphon containing circuit (SCC) net. Liveness condition based on algebraic inequalities is shown. Then polynomial time decidability of liveness of SCC net is derived, if the given net is known to be an SCC net a priori.

• 한국산학기술학회논문지
• /
• 제11권2호
• /
• pp.584-589
• /
• 2010

본 논문에서는 만족스런 서비스 품질을 제공하는 페트리 네트 기반의 멀티미디어 동기화 모델을 제안한다. 제안한 모델은 실시간 특징을 나타내는 데이터의 서비스 품질을 보장할 수 있는 가변적 버퍼를 적용하였다. 본 논문에서는 페트리네트를 확장하여 새로운 멀티미디어 동기화 규격 모델을 표현할 수 있는 PBMSM을 제안하고, 제안한 모델의 검증을 위하여 페트리 네트의 두가지 분석방법에 의해 증명을 하였다. 그리고 기존의 모델과 비교하여 성능이 우수함을 보였다. 제안한 모델은 양질의 서비스 보장을 요구하는 시스템에 적합하다.