Object-oriented programming [9], which treats objects as processes in execution, has shown significant effectiveness in distributed systems. This effectiveness is greatly influenced by how objects are assigned to nodes. In this paper, we present a colored generalized stochastic Petri net (CGSPN) model to analyze the behavior of object invocations when an assignment strategy is applied. The effe...

Energy use is becoming a key design consideration in computing infrastructures and services. In this paper we focus on service-based applications and we propose an adaptation framework that can be used to reduce power consumption according to the observed workload. The adaptation guarantees a trade-off between energy consumption and system performance. The approach is based on the principle of ...

Approaches to the state space explosion problem in Markovian modelling of concurrent systems are discussed. The emphasis is on structured model description techniques and model simpliication. In particular, it is shown that the exploitation of model symmetries has a potential to drastically reduce the size of the state space. The common features of diierent techniques described in the literatur...

Sensitivity analysis, i.e., the analysis of the eflect of small variations in system parameters on the output measures can be studied b y computing the derivatives of the output measures with respect t o the parameter. This paper presents an algorithm for parametric sensitivity analysis of Markov Regenerative Stochastic Petri Nets (MRSPN). MRSPNs are a true generalization of stochastic Petri ne...

We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to maintain consistency. Witnesses, which simply record the status of the file but contain no data, may be used in addition to or in place of files to reduce overhead. We present a model sufficiently detailed to include ...

Service Failure model is described by Stochastic Petri nets. Some of the service failure precisely corresponds to the confusion. Confusion is one of very important concept in the Petri nets. Because it appears to be difficult to obtain a “correct” implementation when emerges confusion in the Petri net system, it is not a good model when exists confusion. When we build some service failure and r...

In this paper we use Stochastic Petri Nets (SPNs) to study the interaction of multiple TCP sources that share one or two buffers, thereby considerably extending earlier work. We first consider two sources sharing a buffer and investigate the consequences of two popular assumptions for the loss process in terms of fairness and link utilization. The results obtained by our model are in agreement ...

I n this paper we characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such a n approach are that very efficient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. W e first characterize the class of stochastic Petri nets of interest by formally defining ...

Generalizedd StochasticPetriNetsprovidethe modeller withh immediate transitions, but aa model will be correct only if the modeller cann specify how too solve the firingg conflicts betweenn these transitions. This task is usually cumbersome andd may be impossible for large nets. Inn confusion-free nets, these conflict sets are subsets of equivalence classes of aa structural conflict relation, wh...