Mobile agents have a number of interesting features such as creation, disposal of agents, execution of services at various network nodes, migration to other network nodes and communication with other agents. Such features are related to the performance area. Based on some examples, scenarios, or case studies,Petri netmodels (ordinaryPetri net, coloredPetri net or predicate/transitionnet),mathem...

Simulation is a branch of computer science which deals with building the real world entities as models and studying their behavior. Stochastic Petri nets are one such tool for modelling the real world entities. Behavior of models are analyzed by different types of simulation methods. The most common and standard approach is discrete event simulation. But there are still some methods, whose full...

A network belongs to the monotone separable class if its state variables are homogeneous and monotone functions of the epochs of the arrival process. This framework contains several classical queueingnetworkmodels, includinggeneralized Jacksonnetworks,maxplus networks, polling systems, multiserver queues, and various classes of stochastic Petri nets. We use comparison relationships between netw...

In this paper we characterize the time-dependent behavior of typical queueing systems that arise in ATM networks under the presense of overloads. Transient queue length distribution and transient cell loss probability are obtained numerically and transient characteristics such as maximum overshoot and relaxation time are used t o quantify the effects of congestion periods. A new measure, Expect...

The interest in performance evaluation of middleware systems is increasing. Measurement techniques are still predominant among those used to carry out performance evaluation. However, performance models are currently being defined due to their flexibility, precision and facilities to carry out capacity planning activities. This paper presents stochastic Petri net models for performance evaluati...

In the areas of both safety and reliability analysis the precise modeling of complex technical systems during development and for evaluation purposes is of great importance. Traditionally, fault tree models have been used to accomplish this, and, more recently, stochastic Petri-net models have begun to be employed. To provide engineers with an intuitive high-level modeling interface to Petri-ne...

A workflow system defines, creates and manages the execution of business workflows with workflow engines, which interpret workflow definitions, and interact with task performers. As most of non-trivial organizations have massive amount of workflows to process simultaneously, there is ever-increasing demands for better performance and scalability of workflow systems. This paper proposes a workfl...

Since tokens in Generalised Stochastic Petri Net (GSPN) models are indistinguishable, it is not always possible to reason about customer-centric performance measures. To remedy this, we propose “tagged tokens” – a variant of the “tagged customer” technique used in the analysis of queueing networks. Under this scheme, one token in a structurally restricted net is “tagged” and its position tracke...

In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. These models are used to specify systems or to create dynamic working simulations. Comparative performances are deduced from the latter. The associated meta-model proposal is based, among other things, on the use of multiagent syste...

This paper discusses the analysis of stochastic Petri nets using the proxel-based simulation method. The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models such as are represented by stochastic Petri nets (SPNs) or queueing systems. Proxel-based simulation is not related to either of...