• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.181-183
• /
• 2006

This paper proposes an intelligent decision framework for update of the environment model using GSPN(generalized stochastic petri nets). The GSPN has several advantages over direct use of the Markov Process. The modeling, analysis, and performance evaluation are conducted on the mathematical basis. By adopting the probabilistic approach, our decision framework helps the robot to decide the time to update the map. The robot navigates autonomously for a long time in dynamic environments. Experimental results show that the proposed scheme is useful for service robots which work semi-permanently and improves dependability of navigation in dynamic environments.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1994년도 추계학술대회 논문집
• /
• pp.653-657
• /
• 1994

A symbolic performance analysis approach for flexible for manufactring systems (FMS) can be formulated based on the integration of Petri Nets (PN) and moment generating function (MGF) concept. In this method, generalized stochastic Petri Nets are used to define performance models for FMS, then MGF nased approach for evaluating stochastic PN is used to derive performance parameters of PN, and finally system performance is calculated. A GSPN model of machine cell is shown to illustrate the proposed method for evaluating such performance indices as production rate, utilization, work-in-process and lead time. The major advantage of this method over existing performance evaluation of FMS is the ability to compute symbolic solutions for performance. Finally future research toward automating performance measure for GSPN models of FMS is discussed.

• 한국통신학회논문지
• /
• 제38C권12호
• /
• pp.1170-1178
• /
• 2013

최근 항공기, 잠수함, 로봇 등 고도의 신뢰성이 요구되는 군사무기체계 분야에 상용 필드버스의 적용이 활발히 이루어지고 있다. 잠수함 전투체계 역시 대표적인 군사용 전자 장비로서 다양한 컴퓨터와 센서 및 액추에이터들이 실시간 네트워크로 연결되어 있다. 잠수함의 작전수행능력 및 생존성과 직결되는 전투체계용 네트워크는 매우 높은 수준의 신뢰성을 만족해야 된다. 그 결과 잠수함 전투체계의 구성장비들을 제어하기 위한 필드버스로써 표준 CAN(Controller Area Network)을 기반으로 채널과 제어기를 이중화한 이중채널 CAN 버스가 주로 이용되고 있다. 본 논문에서는 Petri Net을 이용하여 이중채널 CAN 버스의 신뢰도 분석 모델을 제시한다. 기존연구에서는 네트워크를 통한 정보전송 성능 분석에 주안점이 주어졌으나, 본 논문에서는 CAN의 다양한 물리적 고장 유형을 반영하여 GSPN(Generalized Stochastic Petri Nets) 모델을 제안한다. 제안된 모델을 기반으로 고장율과 고장복구율을 변경하면서 각 고장 유형이 이중채널 CAN 버스의 신뢰도에 미치는 영향을 분석한다.

• 한국정보처리학회논문지
• /
• 제7권8호
• /
• pp.2370-2387
• /
• 2000

본 논문에서는 워크플로우 시스템이 갖추어야 할 다양한 구조적 요구 사항들 중에서 성능 및 확장성 이슈에 중점을 두어, 기존의 두 접근법들이 갖는 한계를 극복할 수 있는 새로운 구현전략을 제안한다. 새로운 접근법은 성능 및 확장성 촉진에 중점을 둔 이동에이전트 기반 아키텍쳐를 마련한 후에, 이동에이전트가 갖는 본질적인 특성을 이용한 상위수준의 전략인 ‘위임 모델을 도입하는 것이다. 여기서는, 이러한 접근법에서 고려해야 할 세 가지 주요 문제점들에 대한 해결방안을 수행하여 이들을 효과적으로 반영한 이동에이전트 기반 3-계층 워크플로우 시스템 아키텍쳐를 제안한다. 또한 제안된 아키텍쳐의 성능 및 확장성을 GSPN 시뮬레이션을 통해 기존의 두 접근법과 비교 분석함으로써, 제안한 방법이 워크플로우 시스템의 성능 및 확장성을 보장하기 위한 최적의 벙법임을 보인다.

• 한국통신학회논문지
• /
• 제18권9호
• /
• pp.1332-1347
• /
• 1993

기존의 계측기기는 기능에 따라 독립적으로 이루어져 사용자는 사용목적에 따라 각각의 계측기를 이용하여 원하는 계측 시스템을 구성하였다. 그러나 1980년대 후반 VXIbus는 다양한 계측장비를 각각 한장의 카드로 만들어 선택적으로 계측시스템을 구성하는것을 가능하게 하였다. VXIbus의 기본전인 통신 프로토콜에는 word serial 프로토콜이 있다 . 그러나 측정된 데이타의 양이 증가하게 되면 word serial 프로토콜로 인한 전체 시스템의 성능 저하를 가져오게 된다. 본 논문에서는 이러한 성능제한요소를 해결하기 위하여 공유(shared) 메모리 프로토콜을 제안하고, 기존의 word serial 프로토콜과 공유메모리 프로토콜을 GSPN(Generalized Stochastic Petri Net)를 이용하여 분석하였다. 분석한 결과 공유메모리 프로토콜이 word serial 프로토콜보다 성능이 우수함을 알 수 있었다. 또한 제안된 공유 메모리 구조를 갖는 VXIbus 시스템을 구현하였으며 사용된 계측기기로는 VXIbus인터페이스 모듈과 VMEbus 전용 신호처리모듈로 구성 된 FFT 분석 디바이스 그리고 신호발생 디바이스가 이용되었다. FFT 분석실험 결과 최대 80 KHz 입력신호에 대하여 정확하게 분석되었으며 이 결과는 기존의 FFT분석기의 결과와 잘 일치하였고, 신호발생 실험에서는 200 KHz에서 1.1GHz까지의 정현파 신호가 발생되었다.

• 산업공학
• /
• 제17권spc호
• /
• pp.152-159
• /
• 2004

The Purpose of this paper is to propose performance evaluation schemes of flexible manufacturing cell using a generalized stochastic Petri net. In the competitive and global manufacturing environment, to evaluate the feasibility and manufacturability of a product in the product design stage is highly required. Through this process, all the possible problems which may occur in the manufacturing stage can be fixed in early stage. The scheme of generalized stochastic Petri net utilizing both immediate and exponential distributed transitions are applied to model a manufacturing cell with flexible machines, material handler, transporter and buffers. Performance analyses are performed based on behavioral, structural and quantitative properties. A flexible manufacturing cell is evaluated using a Petri net simulator.

• 한국군사과학기술학회지
• /
• 제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.