• Journal of Astronomy and Space Sciences
• /
• 제13권2호
• /
• pp.134-148
• /
• 1996

본 논문은 우리별 1, 2호에 탑재된 패킷 통신 프로토콜을 이론적으로 검증하기 위해, 먼저 AX.25 프로토콜과 PACSAT 프로토콜을 확장형 페트리 네트로 모델링하고, 도달성 나무 기법을 이용하여 패킷 프로토콜에 대한 정확성, 제한성, 생존성, 그리고 데드록 없음 등을 검증한다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.329-334
• /
• 1998

원자력발전소와 같이 복잡하고 안전성이 강조되는 경보처리 및 표시계통은 개발개념의 적합성 (설계요건의 타당성), 적용된 알고리즘의 완결성(지식기반과 소프트웨어의 확인)과 인간공학적 유용성의 평가가 상당히 중요하다. 동적 경보계통(Alarm and Diagnosis-Integrated Operator Support System : ADIOS)은 다음과 같은 실험을 통해 경보처리 알고리즘의 완결성과 인간공학적 유용성을 확인하였다.·예비기능시험(Preliminary functional test)·Petri net 을 이용한 알고리즘의 완결성 확인(Verification)·전규모 시뮬레이션 환경에서의 인간공학적 성능평가(Validation and Evaluation)

• 산업공학
• /
• 제12권1호
• /
• pp.143-149
• /
• 1999

In this paper, we propose a workflow framework for the integrated logistics systems. We modelled the logistics activities into workflows, which allow clear specification and flexible modification of business processes. To specify workflows, we used petri-net that is extended to handle with information flows. A framework to implement the integrated logistics system using workflow management technology is proposed. Since logistics is closely related with other parts of enterprise such as manufacturing and accounting, the framework could capture a rich features required for enterprise-wide systems.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.219-225
• /
• 2000

본 연구에서는 이산사건 동적 시스템을 모델링하고 성능을 분석하기 위한 통합 소프트웨어를 개발하였다. 소프트웨어는 페트리네트를 기반으로 비쥬얼 C++와 비쥬얼 베이직을 이용하여 개발되었으며 윈도우즈 환경 하에서 동작하는 범용 그래픽도구를 내장하고 있다. 본 소프트웨어를 이용하면 사용자는 마우스의 드래그 앤 드롭만으로 페트리네트 모델을 작성할 수가 있으며 모델이 작성되면 수리적 분석과 시뮬레이션을 통하여 시스템의 성능분석을 자동으로 수행하여 준다. 또한 시스템의 논리적인 특성을 분석하기 위하여 coverbility tree와 reachability tree를 지원한다. 이외에도 deadlock을 탐지하고 이를 해소하는 기능과 정교한 세부 모델링이 가능하도록 다양한 활성화 함수와 분포를 지원하며 시스템의 성능척도와 관련된 다양한 통계치를 제공해준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.343-345
• /
• 2004

시스템 명세가 잘못되면 명세에 의하여 구축한 시스템을 모두 다시 재 구현해야 함으로 정확한 명세의 중요성은 아무리 강조하여도 지나침이 없다. 본 논문은 자연어로 묘사된 전통적인 위치기반 서비스 시스템을 페트리 넷으로 표현하여 보고, 위치기반 서비스 시스템의 표현 방법으로서의 페트리 넷의 성질을 살펴본다. 또한, 다양한 위치기반 서비스 시스템 분석에 페트리 넷 방법이 가능함을 선보인다.

• 한국시뮬레이션학회논문지
• /
• 제11권4호
• /
• pp.57-68
• /
• 2002

The analysis of the cyclic scheduling problem in FMS using the transitive matrix has been proposed. Since the transitive matrix may explain all the relations between the places and transitions, we propose an algorithm to get good solution after slicing off some subnets from the original net based on machines operations. For analyzing the schedule problem, we considered two time functions such as produce time and waiting time using the P-invariant. In addition, we are shown the effectiveness of proposed algorithm after comparing with unfolding algorithms.

• 한국시뮬레이션학회논문지
• /
• 제1권1호
• /
• pp.77-86
• /
• 1992

In this paper, we study validation test methods of DEVSA(Descrete Event system Specification) models using SPN(Stochastic Petri Net) models. We discuss conventional validation test methods, by which DEVS models can be transformed to SPN models, by reviewing the features of DEVS model. Based on the model transformation method, we define a new homogeneous function for validation test and suggest a new validation test method of DEVS models using the property of SPN models and the new homogeneous function.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.30-32
• /
• 2008

이 논문에서는 생성시스템 규칙 조건부의 일부만 입력 사실로 주어져도 행동부를 실행하여 유용한 결과를 제시할 수 있는 방법을 제안한다. 규칙 또는 페트리 넷의 변이(transition)의 격발(firing) 규칙을 개선하여 고안된 이 방법은 퍼지 추론이 추구하였지만 이루지 못한 불확실, 불충분한 조건을 통한 결론 도출이라는 과제의 매우 실용적인 해답이 될 것이다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.719-722
• /
• 2000

It is essential to develop the internetworking strategies between the OBP satellite B-ISDN and the terrestrial B-ISDN for the economical and efficient implementation of the future network infrastructure. We have considered the implementation issues of the emerging B-ISDN, especially interworking strategies of the terrestrial B-ISDN with the OBP satellite B-ISBN. We proposed interworking model between terrestrial B-ISDN and OBP satellite B-ISDN NNI signaling protocol, and describes the design and verification of the interworking protocol. For the verification, interworking protocol is modeled by Predicate/Action Net derived from Petri Net and the designed model is analyzed by reachability tree. Using Unix socket, the verified interworking protocol is implemented in two workstations and implemented interworking protocol is tested by local test method which is outstanding in error detection and recommended by ISO.

• 한국산업정보학회논문지
• /
• 제4권1호
• /
• pp.1-6
• /
• 1999

이 논문은 실시간 소프트웨어의 요구 분석을 위한 구조이다. 이 방법은 실제 사용자들과의 쉬운 통신 수단으로 TNPN(Timed Numerical Petri Net)을 사용하는데, 시스템의 정확성을 위해서 RT시(Real Time Temporal Logic)에 기초한다. TNPT은 행위 명세언어로서 사용되며, 그 행위의 정당성은 RTTL로 표현되는데, 도달성 그래프를 통해 분석되었다. 그래서 사용자와 시스템의 두가지 요구사항이 모두 만족된다. 공유트랙 시스템의 예를 통하여 실시간의 성질(안전성, 응답성, 생존성, 우선순위)들이 검증되었다. 또한 이 구조는 자연스럽게 객체와 연결된다.