• International Journal of Contents
• /
• v.4 no.3
• /
• pp.20-28
• /
• 2008

To obtain realistic performance measures for wireless networks, one should consider changes in performance due to failure related behavior. In performability analysis, simultaneous consideration is given to both pure performance and performance with failure measures. SRN is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, a new methodology to model and analyze performability based on stochastic reward nets (SRN) is presented. Composite performance and availability SRN models for wireless handoff schemes are developed and then these models are decomposed hierarchically. The SRN models can yield measures of interest such as blocking and dropping probabilities. These measures are expressed in terms of the expected values of reward rate functions for SRNs. Numerical results show the accuracy of the hierarchical model. The key contribution of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performance analysis for channel allocation under SRN reward concepts.

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

• Proceedings of the Korea Contents Association Conference
• /
• 2010.05a
• /
• 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.

• International Journal of Contents
• /
• v.6 no.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
• /
• v.5 no.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.

• The Journal of the Korea Contents Association
• /
• v.9 no.1
• /
• pp.45-52
• /
• 2009

In this paper, we develop queueing network models of communication networks with reliability model considering link failures. The reliability of a communication network with a virtual connection exposed to link failures is analyzed. Stochastic Reward Nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. To get the performance index, appropriate reward rates are assigned to its SRN. It is shown that SRN modeling is well suited to specify, automatically generate and solve for reliability under rerouting. Markov models using SRN are developed and solved to depict various rerouting caused by link failures and reliability analysis in communication networks.

• 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
• /
• 2007.11a
• /
• pp.197-200
• /
• 2007

Dynamic power management reduces the power consumption of the system by switching system components into different power states, which have different power consumption levels. The main function of a power management is to decide when to perform state transitions. In this paper, a power management model based on stochastic processes is introduced. This model is developed using SRN (Stochastic Reward Nets), which has facilities to represent system queue and various modeling functions.

• Journal of Korea Multimedia Society
• /
• v.5 no.6
• /
• pp.704-711
• /
• 2002

Multimedia communication systems are characterized by supporting three different typer of services such as circuit switched services, and packet switched real Lime and non real time services. The wireless channels in a cell ate allocated by calls of these different service classes and the different service requirements have to be met. SRN is an extension of stochastic Petri nets and provides compact Modeling facilities for system analysis. To get the performance index, appropriate reward rates are assigned to its SRN. In this paper, we present a SRN model for performance analysis of channel allocation of multimedia mobile communication systems. The key contribution of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performance analysis for channel allocations under SRN rewards concepts.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.12
• /
• pp.2828-2835
• /
• 2015

In this paper, we analyse the effect of redundancy types and non-stop forwarding scheme on network service availability. We use stochastic reward net models as enabling modeling approach for the analytical evaluation. We first design stochastic reward nets for redundancy models with or without non-stop forwarding and then evaluate their availability using Stochastic Petri Net Package.