• 한국콘텐츠학회논문지
• /
• 제8권1호
• /
• pp.300-307
• /
• 2008

전력관리는 전력상태 전환과 시스템 부하 (workload)에 의존성이 있다. 시스템 모델은 전력상태 전환과 시스템 큐에 대한 추계적 모델들로 구성된다. 본 논문에서는 다양한 전력관리 기법을 위한 추계적 모델들을 개발한다. 추계적 프로세스에 기반한 전력관리 모델은 시스템 큐와 다양한 모델링 기능을 표현할 수 있는 페트리 네트의 확장형인 SRN (Stochastic Reward Nets)을 이용하여 개발된다. 적응적 타임아웃기반 전력관리 SRN 모델을 개발하고 기존 전력관리 기법인 greedy, N-Policy 기법과 전력소모 및 성능비교를 수행한다.

• 제어로봇시스템학회논문지
• /
• 제7권6호
• /
• pp.540-549
• /
• 2001

An implementation method for chip-mounter simulator is proposed to improve the productivity and utility of electronic assembly lines. The simulator emulates the assembly sequence graphically to verify the chip mounter program in offline. It also presents functions of time estimation and productivity analysis considering the error probability. To increase the flexibility of simulator, stochastic petri nets are applied to modeling of the assembly sequence. The sequence model is then implemented as extendable classes by an object oriented language. The simulator is applied to a commercial chip mounter to verify the usefulness of the method proposed.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2010년도 춘계 종합학술대회 논문집
• /
• pp.390-392
• /
• 2010

Mobile grid system supports the integration mobile devices as grid resources. Availability of mobile resources changes dynamically in mobile grid system. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. We build the SRN model to represent availability of mobile resources with disconnected operation service.

• 한국CDE학회논문집
• /
• 제13권1호
• /
• pp.36-44
• /
• 2008

This paper proposes a modeling and simulation process of a panel production line (PPL) in a shipyard. The panel production line is an assembly process to produce a main panel of a flat block and a curved block. In this paper, its activity analysis is carried out using expression of IDEF0, and its process is qualitatively and quantitatively analyzed and modeled by Petri Nets. A commercial discrete event simulation tool, $QUEST^{TM}$, is used for virtual PPL and simulation. The modeling results by Petri Net are mapped to elements of the simulation tool. Finally, an integrated simulation environment of PPL is implemented in order to efficiently utilize the virtual PPL model. With the help of IDEF0 and Petri Nets, we could systematically analyze and describe the PPL process that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. Also, the dynamic and concurrent activities of a PPL system were able to be simulated. A timing concept can be included into the Petri nets model to evaluate performance and dependability issues of the system.

• 전자공학회논문지C
• /
• 제34C권5호
• /
• pp.9-18
• /
• 1997

The petri net is a graphic model which is adaptable in modeling a complex concurrent parallel ssystem, and it is widely used in the fields of industrial enginering, computer science, electric engineeringand chemistry. Recently, the net is applied to the communication protocol, and extended to represent complex systems. There are several extended petri nets named as TPN (timed petri net), SPN (stochastic petri net), FPN(fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this SPN (stochastic petri net), FPN (fuzzy petri net) and TFPN(timed fuzzy petri net). Accodingly, this paper proposes an advanced communication protocol modeling method using the fuzzy value of the transition and firing delay time as the arguments of the function. The proposed method can produce clearer firing rules, and it is supposed to be used to design and analyse communication protocols in great effection.

• 한국콘텐츠학회논문지
• /
• 제8권1호
• /
• pp.169-176
• /
• 2008

본 논문에서는 접속 (connection)과 패킷의 두 레벨 (level)을 함께 고려하는 IEEE 802.16 망에서의 무선 자원 관리 큐잉 모델을 개발한다. 상위 레벨인 접속 레벨에서는 대역폭 가용여부와 서비스 클래스별 우선순위 큐를 사용하여 접속 수락제어를 모델링하고 하위 레벨인 패킷 전송은 서비스 클래스별 임계치와 현재 가용한 대역폭의 두 항목을 동시에 고려한 동적 대역폭 할당 방법을 모델링 한다. 계층 모델은 페트리 네트의 확장형인 SRN (Stochastic Reward Nets)을 이용하여 개발되며 802.16서비스 클래스별 트래픽에 대한 대역폭 활용률과 처리율을 성능지표로 모델에 대한 수치결과를 구한다.

• International Journal of Contents
• /
• 제6권3호
• /
• pp.19-24
• /
• 2010

Task scheduling is an integrated component of computing with the emergence of grid computing. In this paper, we address two different task scheduling models, which are static Round-Robin (RR) and dynamic Fastest Site First (FSF) task scheduling method, using extended timed marked graphs, which is a special case of Stochastic Petri Nets (SPN). Stochastic reward nets (SRN) is an extension of SPN and provides compact modeling facilities for system analysis. We build hierarchical SRN models to compare two task scheduling methods. The upper level model simulates task scheduling and the lower level model implements task serving process for different sites with multiple servers. We compare these two models and analyze their performances by giving reward measures in SRN.

• 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.

• 산업경영시스템학회지
• /
• 제22권51호
• /
• pp.231-240
• /
• 1999

A major concern in Concurrent Engineering is the control and management of workload in a period of process. As a general rule, leveling the peak of workload in certain period is difficult because concurrent processing is comprised of various processes, including overlapping, paralleling looping and so on. Therefore, the workload management with resource constraints is so beneficial that effective methods to analyze design process are momentous. This study presents the Timed Petri Nets approach of precedence logic networks, and provides an alternative for users to analyze constraint processes to resolve conflicts of resources. Another approach to Continuous Time Markov Chain using Stochastic Petri Nets is also proposed. These approaches are expected to facilitate resolving resource constrained scheduling problems more systematically in Concurrent Engineering environment.

• ETRI Journal
• /
• 제26권4호
• /
• pp.360-366
• /
• 2004

Synchronization Markup Language (SyncML) is a specification of a common data synchronization framework for synchronizing data on networked devices. SyncML is designed for use between mobile devices that are intermittently connected to a network and network services that are continuously available on the network. We have designed and developed a data synchronization system based on the SyncML protocol and evaluated the throughput of the system using the stochastic Petri nets package (SPNP) and analyzed the relationship between the arrival rate and the system resources. Using this model, we evaluate various performance measures in different situations, and we estimate the relationship between the arrival rate and the system resources. From the results, we can estimate the optimal amount of resources due to the arrival rate before deploying the developed system.