KR20140047453A - 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체 - Google Patents

Abstract

플레이스와 트랜지션을 갖는 이분 노드로 구성되는 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체가 개시된다. 본 발명에 의한 기록매체에 기록된 상태 토큰 페트리넷 모델은 각 플레이스에 부여되는 토큰은 상태기구를 포함하며, 상기 상태기구는 상기 트랜지션의 동작조건으로 사용되는 상태값을 포함하는 것을 특징으로 한다.

Description

상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체{Computer Readable Recoding Media Recoded State Token Petrinet Model}

본 발명은 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체에 관한 것으로, 특히 상태값을 포함하는 토큰을 이용하여 작업자의 동적 활동에 따라서 가변하는 흐름을 간단하게 모사할 수 있는 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체.

페트리넷은 논리적인 동적 거동을 모사하는 방법으로서 동시성과 동기적인 사건(Synchronized Event)을 표현할 수 있으며, 가시적으로 표현이 가능하여 이해하기 편리하다는 장점이 있다.

페트리 네트에서 일반적으로 사건은 트랜지션(transition)으로 언급된다. 트랜지션이 발생하기 위해서는 시스템의 여러 조건이 만족되어야 한다. 이러한 조건에 대한 정보는 플레이스(places)에 저장된다. 어떠한 플레이스들은 한 트랜지션의 입력 조건이 되고, 어떠한 플레이스들은 한 트랜지션의 출력 조건이 된다. 즉, 하나의 플레이스에서 사용자(작업자)의 요구에 의해 동적 흐름이 다른 플레이스로 변경될 때 이러한 변경의 경우를 사전에 미리 모델링하여야 한다. 또한 정상 흐름 이외에 별도의 동적 흐름이 존재할 경우에 해당 흐름을 모두 페트리넷에 모델링해야 하며, 이에 따라서 전체적인 페트리넷의 모델링은 복잡하게 된다.

이로 인해서 종래의 페트리넷은 정해진 동적 흐름이 아니라 사용자에 의한 흐름 변경 등의 복합적인 동적 흐름을 나타내기에는 한계가 있다.

따라서, 본 발명은 상기 전술한 문제점을 해결하기 위한 것으로서, 사용자(작업자)의 행위에 의한 동적 흐름을 반영함으로써, 페트리넷 모델링을 간단히 할 수 있는 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체.

상기한 문제점을 해결하기 위해서, 본 발명에 의한 플레이스와 트랜지션을 갖는 이분 노드로 구성되는 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체에서, 상태 토큰 페트리넷 모델은 각 플레이스에 부여되는 토큰은 상태기구를 포함하며, 상태기구는 트랜지션의 동작조건으로 사용되는 상태값을 포함한다.

이때, 임의의 토큰에 포함되는 상태값은 다른 토큰의 상태값을 변경할 수 있다.

그리고 상태값은 작업자의 동적 상태의 변경에 의한 이벤트의 발생에 의해서 변할 수 있다.

또한 상태값은 토큰의 상태를 트랜지션의 동작조건으로 사용할 수 있다.

본 발명에 따른 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체는 사용자(작업자)의 동적 상태에 의한 절차의 흐름을 반영함으로써 페트리넷 모델링을 간소화하여 모사할 수 있다.

도 1은 본 발명에 의한 상태 토큰 페트리넷 모델링 방법을 나타내는 도면.
도 2는 원자력 발전소의 비상운용절차의 일례를 나타내는 흐름도.
도 3 및 도 4는 도 2에 도시된 비상운용절차를 상태 토큰 페트리넷 모델링 한 것을 나타내는 도면들.

이하 상기 목적이 구체적으로 실현될 수 있는 본 발명의 실시 예들을 첨부된 도면을 참조하여 설명한다. 본 실시 예들을 설명함에 있어서 동일 구성에 대해서는 동일 명칭 및 부호가 사용되며, 이에 따른 부가적인 설명은 생략하기로 한다.

도 1은 본 발명에 의한 상태 토큰 페트리넷 모델링 방법을 나타내는 도면이다.

도 1을 참조하면, 본 발명에 의한 상태 토큰 페트리넷 모델링 방법은 플레이스(111,113,115,117)와 트랜지션(130,132)을 갖는 이분 노드로 구성되며, 토큰(121,123)은 상태기구(151,152,153,154)를 포함한다. 그리고, 토큰(121,123)의 상태기구(151,152,153,154)는 각각 상태값1 내지 상태값4를 포함하고, 상태값은 트랜지션(130,132)의 동작조건으로 사용된다. 그리고 임의의 토큰(121,123)의 상태값은 다른 토큰의 상태값을 변경할 수 있다.

예컨대, 제1 플레이스(111)가 트랜지션 A(130)를 사건으로 하는 제2 플레이스(113)의 입력조건일 때, 제1 플레이스(111)의 토큰 A는 "1" 또는 "2"의 상태값을 가질 수 있는 상태기구(151,152)를 포함한다.

그리고, 이벤트 A가 발생하였을 때에, 토큰 A(121)의 상태값은 "1"에서 "2"로 변화한다. 이때, 이벤트라고 함은 사용자에 의해서 발생되는 동적 흐름으로서, 토큰의 상태값에 따라서 변경되거나 생성된다.

또한, 이벤트 B는 토큰 A(121)의 상태값이 "1"에서 '2"로 변화할 때 생성된다.

그리고 이와 같이, 이벤트 B가 발생하였을 때에는 토큰 B(123)의 상태값이 생성된다.

토큰 B(123)가 위치하는 제3 플레이스(115)가 제4 플레이스(117)로 출력되기 위한 사건인 트랜지션 B(132)는 새로운 동작조건을 내포할 수 있다. 이때 동작조건은 토큰 B(123)의 상태값이 "4"일 때에만 발동한다.

즉, 상술한 바와 같이, 본 발명에 의한 상태토큰 패트리넷 모델링 기법은 플레이스 간의 변경을 위한 조건이 일정하게 미리 정해진 것이 아니라, 사용자의 동적 흐름에 따라서 가변한다. 이러한 사용자의 동적 흐름은 상태값으로 표현되고, 상태값에 따라서 트랜지션의 동작조건을 설정함으로써, 여러 가지 경우의 동적 흐름을 간단한 모델로서 표현할 수 있다.

이러한 상태 토큰 페트리넷의 적용 예로서 원자력 발전소에서 시행되는 비상운용절차(Emergency Operating Procedures:이하, EOP)에 대한 상태 토큰 페트리넷 모델링 방법을 살펴보면 다음과 같다.

먼저, 도 2를 참조하여, EOP에 대한 흐름을 살펴보면, EOP는 크게 제1 내지 제3 스텝(step)으로 구분된다.

이때, 제1 스텝인 제1 내지 제3 단계는 초기 조건의 실행과 관련한 전체적인 조건과 지시사항을 포함하고 있다. 그리고 제2 스텝인 제4 단계 내지 제7 단계는 모든 세부 지시사항을 점검하는 일반적인 단계들을 포함하고, 제3 스텝인 제8 단계 내지 제10 단계는 선택적인 세부 지시사항을 점검하는 단계들을 포함한다.

제1 단계는 가압기의 압력이 SIAS(Safety Injection Actuation System)이 설정한 임계치보다 낮은지 여부를 판단하는 단계이다.

이때 가압기의 압력이 임계치보다 낮다면, 제2 단계로서 SIAS는 작동한다. 그리고, 제3 단계는 SIAS의 작동을 확인하는 단계이다.

만약 제1 단계에서 가압기의 압력이 SIAS 보다 낮지 않다면, 제2 스텝을 진행한다.

제2 스텝은 제5 단계 내지 제7 단계의 지시사항을 모두 수행함으로써 LOCA를 격리하는 제4 단계를 포함한다.

이때, 제5 단계는 억제 격리 밸브가 잠겨 있는지 여부를 확인하는 것이고, 제6 단계는 RCS 샘플링 억제 격리 밸브가 잠겨 있는지 여부를 확인하는 것이다. 그리고, 제7 단계는 모든 POSRVs가 잠겨 있는지 여부를 확인하는 것이다.

이어서, 제3 스텝은 제9 단계 또는 제10 단계 중에서 임의의 절차를 수행함으로써, RCS를 SCS 진입조건으로 감압하는 제8 단계를 포함한다.

이때, 제9 단계는 메인 가압기 스프레이 또는 보조 가압기 스프레이를 작동하는 단계이고, 제10 단계는 챠징(charging)과 렛다운(letdown)을 제어하는 단계이다.

도 2에 도시된 EOP의 절차는 작업자의 선택에 의해서 특정 단계가 지연된 상태에서 다음 단계로 진행될 수 있다. 예컨대, 작업자는 제1 스텝을 완료하기 이전에 제2 스텝을 진행할 수 있다. 또한, 작업자는 임의의 단계를 반복하여 진행할 수도 있다.

이와 같이 작업자의 동적 상태에 따라서 진행 단계가 매우 가변적이고 복잡한 절차를 종래의 페트리넷 모델을 이용하여 모사할 경우에는 매우 복잡한 흐름을 갖는다.

하지만, 도 3 및 도 4에 도시된 바와 같이, 상태 토큰 페트리넷 모델링 방법을 이용하면 이를 간소화 할 있다. 즉, 도면에서와 같이 EOP 절차의 흐름을 페트리넷으로 모델링하고, 이러한 절차의 흐름을 작업자가 변경하는 것을 토큰의 상태기구로 모델링한다.

이때, 페트리넷으로 모델링되는 EOP 절차의 흐름에서 원으로 표시되는 플레이스는 시스템의 이벤트를 발생시키기 위한 조건정보를 포함한다. 즉, 각각의 플레이스는 도 2에 도시된 작업자에 의해서 수행되는 특정 행위들을 모사하고 있다.

이와 같이 본 발명에 의한 상태 토큰 페트리넷의 모델링 방법에 의하면, 절차의 흐름 및 작업자에 의한 흐름의 변경을 모델링할 수 있어서 여러 가지 상황에 대한 흐름의 변경을 하나의 모델링으로 모사할 수 있다.

또한, 이러한 본 발명에 의한 상태 토큰 페트리넷의 모델링 방법은 컴퓨터로 읽을 수 있는 기록매체, 즉 프로그램으로 구현되어서 실시될 수도 있다. 예컨대, 전술한 실시 예인, EOP 절차의 흐름을 페트리넷으로 모델링한 프로그램은 절차의 흐름을 간단히 제시할 수 있으며, 작업자는 이를 이용하여 각각의 상황에 대한 행동 양식을 메뉴얼로서 이용할 수 있다.

위에서 몇몇의 실시예가 예시적으로 설명되었음에도 불구하고, 본 발명이 이의 취지 및 범주에서 벗어남 없이 다른 여러 형태로 구체화될 수 있다는 사실은 해당 기술에 통상의 지식을 가진 이들에게는 자명한 것이다. 따라서, 상술된 실시예는 제한적인 것이 아닌 예시적인 것으로 여겨져야 하며, 첨부된 청구항 및 이의 동등 범위 내의 모든 실시예는 본 발명의 범주 내에 포함된다.

Claims (4)

1. 플레이스와 트랜지션을 갖는 이분 노드로 구성되는 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체에 관한 것으로,
   상기 페트리넷 모델에서 각 플레이스에 부여되는 토큰은 상태기구를 포함하며, 상기 상태기구는 상기 트랜지션의 동작조건으로 사용되는 상태값을 포함하는 것을 특징으로 하는 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체.
   
2. 제 1 항에 있어서,
   상기 임의의 토큰에 포함되는 상태값은 다른 토큰의 상태값을 변경하는 것을 특징으로 하는 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체.
   
3. 제 1 항에 있어서,
   상기 상태값은 작업자의 동적 상태의 변경에 의한 이벤트의 발생에 의해서 변하는 것을 특징으로 하는 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체.
   
4. 제 1 항에 있어서,
   상기 상태값은 토큰의 상태를 상기 트랜지션의 동작조건으로 사용하는 것을 특징으로 하는 상태 토큰 페트리넷 모델을 기록한 컴퓨터로 읽을 수 있는 기록매체.
   
   

Images