• 한국해양공학회지
• /
• 제15권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.

• 한국해양공학회지
• /
• 제15권4호
• /
• pp.101-107
• /
• 2001

This paper describes a fault diagnosis method by a T-invariance of Petri Net (PN). First, a complicated fault system with some failure is modeled into a PN graphic expressions. Next, the PN model is analyzed by using the backward chaining of T-invariance to find out causes of the faults. In this step, an inter-node search technique which is suggested in this paper is applied for reducing searching area in the fault system. Also, a novel idea to compose incidence matrices which have different dimension each other in PN model is proposed. As the new knowledges which is discovered newly about faults can be added easily to conventional systems, the diagnosis system will be very flexible. Finally, the proposed method is applied to the automobile fault diagnosis system to confirm the validity of the method.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2001년도 춘계학술대회 논문집
• /
• pp.26-31
• /
• 2001

Petri nets(PN) have been introduced as a poweful 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 not be analyzed easily when we deal with large scale systems because of increase of the number of components of the systems. To overcome this problem, some methods for dividing or reducing of PN have been suggested. In this paper, an approach for hierarchical expression of PN based on Sequential Function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definition and rules are defined in order to divide and compose sub PN. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub PN based on the SFC and BUM by the proposed method in this paper.

• Nuclear Engineering and Technology
• /
• 제55권3호
• /
• pp.861-869
• /
• 2023

This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach.

• 제어로봇시스템학회논문지
• /
• 제4권2호
• /
• pp.194-202
• /
• 1998

This paper describes a hardware implementation method of a Petri Net-based controller. A flexible and systematic implementation method, based on look-up tables, is suggested, which enables to build high speed Petri net-based controllers. The suggested method overcomes the inherent speed limit that arises from the microprocessors by using of matrix-based look-up tables. Based on the matrix framework, this paper suggests various specific data path structures as well as a basic data path structure, accompanied by evolution algorithms, for sub-class Petri nets. A new sub-class Petri net, named Biarced Petri Net, resolves memory explosion problem that usually comes with matrix-based look-up tables. The suggested matrix-based method based on the Biarced Petri net has as good efficiency and expendability as the list-based methods. This paper shows the usefulness of the suggested method, evaluating the size of the look-up tables and introducing an architecture of the signal processing unit of a programmable controller. The suggested implementation method is supported by an automatic design support program.

• 한국컴퓨터정보학회논문지
• /
• 제4권3호
• /
• pp.13-19
• /
• 1999

본 연구는 TPN (Time Petri Nets) unfolding을 이용하여 가공 machine과 세정 machine으로 구성된 FMC (Flexible Manufacturing Cell)의 WIP (Work In Process)를 분석하는 방법을 제시한다. 여기서, PN의 unfolding은 상태공간폭발이 발생하지 않는 concurrent system의 검증에 사용되는 순서기반 방법이다. 본 연구는 일반적으로 발생하는 순환상태 스케쥴 문제에서 가장 그 작업과정 시간을 최적화하기 위하여 원래의 net을 동일한 비순환 net으로 바꾸어 줄 수 있는 unfolding 개념을 기반으로 한 것이다.

• 한국산학기술학회논문지
• /
• 제9권5호
• /
• pp.1392-1398
• /
• 2008

본 논문에서는 분해우선작업을 가지는 페트리 넷 기반의 분해순서계획모델을 제안한다. 모든 가능한 분해순서는 분해트리에 의해 생성되고, 분해우선순위와 분해가치 행렬을 이용하여 분해순서를 결정한다. 분해작업의 우선순위는 분해트리를 통하여 결정하고 분해작업의 가치는 제품의 마지막 수명단계의 경제적 분석에 의해 유도된다. 분해우선작업을 가지는 분해계획모델을 해결하기 위하여, 본 연구에서는 페트리 넷 기반의 휴리스틱 알고리듬을 개발한다. 개발된 알고리듬은 페트리 넷 모델의 전이순서에 기반을 두어 도달할 수 있는 모든 그래프의 노드를 탐색하여 최적의 혹은 근사최적의 분해순서를 생성한다. 본 연구에서는 냉장고를 대상으로 제안모델의 유효성을 입증한다.

• 한국군사과학기술학회지
• /
• 제10권2호
• /
• pp.107-114
• /
• 2007

This paper describes the Petri Net(PN) model for reliability analysis of fault-tolerant dual Ethernet which Is applied in Naval Combat System. The network for Naval Combat System performs failure detection and auto path recovery by handling redundant path in case of temporary link failure. After studying the behavior of this kind of network, the reliability analysis model is proposed using stochastic Petri Net and continuous-time Markov chains. Finally, the numerical result is analyzed according to changing the failure rate and the recover rate of link.

• 한국통신학회논문지
• /
• 제17권7호
• /
• pp.677-687
• /
• 1992

본 논문은 신경계 행위 표현의 효율성과 동작의 정당성을 검증할 수 있는 모형화 도구로 FPN을 제안 하였다. 설계를 위해 기존의 통신망과 신경망 행위의 표현과 검증의 유사성 및 차이점을 분석하고, 신경계의 애매 모호성의 효율적인 표현을 위하여, PN에 Fuzzy 집합 이론을 적용하여 FPN 모형을 설계하였다. 설계된 FPN을 다층 퍼센트론 구조로 표현하여 그 효율성이 우수함을 보였다.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2001년도 춘계학술대회 논문집
• /
• pp.32-37
• /
• 2001

This paper describes a noble fault diagnosis method using inter node search technique in PN model. First, a complicated fault system is modeled as PN graphic expressions. Next, to find out sources for faults on which we focus, the PN model is analyzed using the backward chaining of T-invariance. In this step, the technique of inter node search is applied for reducing some range of sources in a fault. Also, colnposing method of incidence matrix in PN is proposed. Then, it makes the diagnosis system to very flelible system because new knowledges about the sources in a fault can be added easily to conventional systems. Finally, the proposed method is applied to the automobile trouble diagnosis system to confirm the validity of the method.