• Industrial Engineering and Management Systems
• /
• v.4 no.2
• /
• pp.184-191
• /
• 2005

In this article we study the feasibility of the Ant Colony Optimisation (ACO) algorithm for finding optimal Kanban allocations in Kanban systems represented by Stochastic Petri Net (SPN) models. Like other optimisation algorithms inspired by nature, such as Simulated Annealing/Genetic Algorithms, the ACO algorithm contains a large number of adjustable parameters. Thus we study the influence of the parameters on performance of ACO on the Kanban allocation problem, and identify the most important parameters.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.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.

• The Journal of the Korea Contents Association
• /
• v.8 no.1
• /
• pp.300-307
• /
• 2008

Power management (PM) depends on the power state transition and system workload. The system model is composed of corresponding stochastic models of the power state and system queue. In this paper, stochastic models which can handle various PM techniques are developed. SRN (Stochastic Reward Nets), an extended Petri-Net, has facilities that represent system queue and various modelling functions. The SRN is employed for developing PM models. An adaptive timeout PM model is also introduced and the power consumption and performance of this model are compared with other existing PM techniques models such as greedy and N-Policy techniques.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.12
• /
• pp.1170-1178
• /
• 2013

Thanks to various benefits, low-cost real-time communication networks so called fieldbus have been widely used in many industrial applications including military systems, such as aircrafts, submarines, and robots. This paper presents a reliability analysis of dual-channel CAN(Controller Area Network) fieldbus which is used for controlling various equipment of submarine combat system. A submarine combat system playing a critical role to the success of missions and survivability consists of various devices including sensors/actuators and computers. Since a communication network for submarine combat system must satisfy an extremely high level of reliability, a dual channel technique is commonly adopted. In this paper, a Petri Net based reliability model for dual-channel CAN is discussed. A reliability model called generalized stochastic Petri Nets (GSPN) is built by utilizing the information on physical faults with CAN. The effectiveness of the proposed model is analyzed in terms of unreliability with respect to failure rate and repair rate.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.1186-1190
• /
• 1995

This paper is focused on the formulation of explicit closed-form functions describing the performance measures of the general flexible manufacturing system (FMS)according to the strategy of material handling system(MHS). the performance measures such as the production rate, the production lead-time and the utilization rate of the general FMS are expressed, respectively, as the explicit closed-form functions of the part processing time, the service rate of the material handling system (MHS) and the number of machine tools in the FMS. For this, the gensral FMS is presented as a generalized stochastic Petri net model, then, the moment generating function (MGF) based approach is applied to obtain the steady-state probabity formulation. Based on the steady-state formulation, the explicit closed-form functions for performance measures of the probability FMS can be obtained. Finally, the analytical results are compared with the Petri net simulation results to verify the validity of the suggested method. The paper is of significance in the sense that it provides a comprehensive formula for performance measures of the FMS even to the industry engineers and academic reademic resuarchers who have no background on Markov chain analysis method or Petrinet modeling

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.3
• /
• pp.36-46
• /
• 1999

본 논문에서는 DSPN(Deterministic and Stochastic Petri Net)을 이용, 교차로에서의 차량 진입과 같은 이산 사건(discrete events)적인 상황을 해석하고, 교통신호기의 동작과 차량흐름을 모델링하였다. 교차로에서의 차량 흐름을 확률적 개념으로 표현하여, 차량 변화에 따른 교차로의 상황을 토큰의 변화로 나타내었다. GreatSPN을 사용한 모의 실험을 통하여, 모델링된 교통신호기하에서의 차량의 평균 지체시간을 분석하였다. 차량 지체시간을 이용하여 단위시간연장 교통량 대응 신호기와 본 논문에서 제안한 최대시간허용 교통량 대응 신호기의 성능을 비교 분석하여, 최대시간허용 교통량 대응 신호기가 단위시간연장 교통량 신호기보다 좋은 특성을 나타냄을 보였다. 2개의 교차로로 이루어진 시스템을 본 논문에서 개발한 기본 모듈들을 서로 연결하여 분석하였고, 이러한 성능 분석을 통하여 주위 여건에 적합한 새로운 교통신호기를 구현할 수 있음을 보였다.

• IE interfaces
• /
• v.8 no.2
• /
• pp.161-169
• /
• 1995

In this paper, a threshold policy is considered for the Markovian queueing system with server vacations. The threshold policy considered in this paper has the following form: "when the number of customers present in the system increases to N, the server is turned on and serves customers until the system becomes empty". In this paper, we show how the finite capacity or finite population queueing system under a threshold policy can be modeled by the stochastic Petri net. The performance evaluation of the model is carried out using the software called "SPNP". Some examples are also presented in which it is shown that how the optimal threshold policies can be obtained under a linear cost structure.

• The Journal of the Korea Contents Association
• /
• v.8 no.1
• /
• pp.169-176
• /
• 2008

In this paper, we develop radio resource management queueing model in IEEE 802.IS networks considering both connection and packet level. In the upper level connection, we model connection admission control depending on availability of bandwidth and priority queue in each service class. In the lower level packet, we model dynamic bandwidth allocation considering threshold and availability of bandwidth in each service class simultaneously. Hierarchical model is built using an extended Petri Nets, SRN (Stochastic Reward Nets). Bandwidth utilization and normal throughput as performance index for all service classes of traffic are calculated and numerical results are obtained.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.315-319
• /
• 2005

In this paper, we present a Petri Net (PN) model for reliability analysis of fault-tolerant database system models that consists of components one shared memory, bus, processors and database (disk). Each component can be failed and repaired individually. The system is operational as long as database and one of component is operational. We develop Stochastic Reward Net (SRN) Model for reliability analysis of database system. SRN is potential to define various reward functions. and can be easily used to obtain performance measures. The modeling techniques using variable cardinality, enabling function, timed transition priority in SRN are shown.

• International Journal of Contents
• /
• v.6 no.4
• /
• pp.30-34
• /
• 2010

Effective job scheduling scheme is a crucial part of complex heterogeneous distributed systems. Gang scheduling is a scheduling algorithm for grid systems that schedules related grid jobs to run simultaneously on servers in different local sites. In this paper, we address grid jobs (gangs) schedule modeling using Stochastic reward nets (SRNs), which is concerned for static and dynamic scheduling policies. SRN is an extension of Stochastic Petri Net (SPN) and provides compact modeling facilities for system analysis. Threshold queue is adopted to smooth the variations of performance measures. System throughput and response time are compared and analyzed by giving reward measures in SRNs.