• 대한교통학회지
• /
• 제12권3호
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

• 한국공간정보시스템학회 논문지
• /
• 제12권1호
• /
• pp.28-36
• /
• 2010

컴퓨터 환경에서 한 가지 사건으로 상황이 특징 지워지기도 하지만, 일반적 상황 인식은 공간과 시간을 포함하는 다양한 사건들에 의해서 결정되어 진다. 물리적 공간과 상호 작용하는 실시간 센서 네트워크 상황 인식 서비스는 시간적 특성을 포함한다. 상황 인식 서비스 관계 설정 방법으로 실시간 상황 인식을 시공간적으로 취급하는 것이 요구된다. 본 논문은 상황 인식 모델에 시공간적 특성이 포함 되도록 하는 방법을 제안하고, 이를 개선된 Petri-Net을 이용하여 효과를 확인한다. 실시간 센서 네트워크 상황 인식을 위해 기본 Petri-Net, 패턴화된 Petri-Net 및 시공간 Petri-Net 모델 특성을 연구한다. 이 방법을 이용하여 새만금 온도 변화 탐지에 적용예를 보였다. 본 연구를 통해 시공간 Petri-Net을 사용한 응용 개발 뿐 만 아니라 시공간 상황 인식 모델링에 기여 할 것이다.

• 제어로봇시스템학회논문지
• /
• 제2권3호
• /
• pp.209-219
• /
• 1996

Fieldbus provides a real-time data communication among field devices in the process control and manufacturing automation systems. In this paper, a Petri Net model of the 1993 draft of IEC/ISA fieldbus which is proposed as an international standard of fieldbus network is developed. Based on the Petri Net model, discrete-event simulation model of IEC/ISA fieldbus network is developed. This paper evaluates the network induced delay in the data link layer of IEC/ISA fieldbus using the simulation model. In addition, an integrated discrete-event/continuous-time simulation model of fieldbus system and distributed control system is developed. This paper investigates the real-time data processing capability of IEC/ISA fieldbus and the effect of network-induced delay to the performance of control system.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1992년도 춘계공동학술대회 발표논문 및 초록집; 울산대학교, 울산; 01월 02일 May 1992
• /
• pp.436-443
• /
• 1992

Presented in the paper is a systematic approach to constructing a Petri net model of FAS (flexible assembly system). Petri net is widely used in modeling automated manufacturing systems. But, it found to be very difficult for an FA engineer to build a correct model of an FAS with Petri net symbols (ie, place, transition, and token) from the beginning. An automated manufacturing system in general is built from a set of "standard" hardware components. An FAS in particular is usually composed of assembly robots, work tables, conveyor lines, buffer storages, part feeders, etc. In the proposed modeling scheme, each type of standard resources is represented as a standard "module" which is a sub Petri net. Then, the model of a FAS can be conveniently constructed using the predefined modules the same way the FAS itself is built from the standard components. The network representation of a FAS is termed a JR-net (job resource relation net) which is easy to construct. This JR net is then mechanically converted to a formal Petri net (to simulate the behavior of the FAS). The proposed modeling scheme may easily be extended to the modeling of other types of automated manufacturing systems such as FMS and AS/RS.ch as FMS and AS/RS.

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

• International Journal of Computer Science & Network Security
• /
• 제22권2호
• /
• pp.413-423
• /
• 2022

The NHIS provides free or highly subsidized healthcare to all people by providing financial fortification. However, the financial sustainability of the scheme is threatened by numerous factors. Therefore, this work sought to provide a solution to process claims intelligently. The provided Petri net model demonstrated successful data flow among the various participant. For efficiency, scalability, and performance two main subsystems were modelled and integrated - data input and claims processing subsystems. We provided smart claims processing algorithm that has a simple and efficient error detection method. The complexity of the main algorithm is good but that of the error detection is excellent when compared to literature. Performance indicates that the model output is reachable from input and the token delivery rate is promising.

• 정보처리학회논문지C
• /
• 제12C권4호
• /
• pp.559-570
• /
• 2005

ECN 방법은 통신 혼잡 발생 초기에 이 사실을 명백히 알려주기 때문에 통신 혼잡을 판단하는 정확한 방법이다. 그래서, 무선 TCP 분야에서는 ECN 방법이 심도 있게 연구되고 있다. 본 논문은 ECN 마킹을 위한 최적의 임계치(threshold)를 찾는 계산식을 제시하고, ECN 전략을 적용하는 TCP의 페트리 넷 모형을 구축한 다음, 시뮬레이션을 통하여 제시된 식의 타당성을 검증한다. 또한, 제시된 식의 실용화 방안도 제안한다. 본 논문의 주된 공헌은 ECN 마킹을 위한 최적의 임계치를 찾는 공식을 제공하는 것이지만, 본 논문에 소개된 ECN 전략을 적용한 TCP의 페트리 넷 모형도 네트워크 프로토콜을 연구하는 학자에게 도움을 주리라고 믿는다. 소개된 페트리 넷 모형은 기존의 TCP 모형에 ECN 전략을 추가하기 위하여 네트워크 부분을 주로 변형하였으며, 송신자와 수신자도 역시 변형되었다.

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

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

• 한국정보통신학회논문지
• /
• 제20권9호
• /
• pp.1717-1722
• /
• 2016

가용도는 사용자에게 고가용 서비스를 제공하는 네트워크 시스템의 주요 성능지표로서 임의의 시간에 사용자에게 서비스를 제공할 수 있는 확률이다. 네트워크 서비스의 가용도를 향상시키는 대표적인 방법으로 다중화 방식과 재활기법이 있다. 본 논문에서는 2N redundancy와 시간 기반의 재활기법이 가용도에 미치는 영향을 분석한다. 2N redundancy는 active 시스템과 standby 시스템으로 구성하는 다중화 방식이다. 재활주기에 의존하는 시간기반의 재활기법이다. 본 논문은 시간기반의 재활기법을 적용한 2N redundnacy모델을 stochastic reward net으로 설계한다. 설계한 모델은 stochastic Petri net package를 이용하여 분석한다. 수치해석을 통해 재활기법을 적용한 시스템의 가용도가 적절한 주기에서 재활기법을 적용하지 않은 시스템의 가용도보다 높다는 것을 알 수 있다.

• International Journal of Contents
• /
• 제5권4호
• /
• pp.88-93
• /
• 2009

It is important for communication networks to possess the capability to overcome failures and provide survivable services. We address modeling and analysis of performability affected by both performance and availability of system components for a token ring network under failure and repair conditions. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, hierarchical SRN modeling techniques are used to overcome state largeness problem. The upper level model is used to compute availability and the lower level model captures the performance. And Normalized Throughput Loss (NTL) is obtained for the composite ring network for each node failures occurrence as a performability measure. One of the key contributions of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performability analysis for a token ring network under SRN reward concepts.