Some insight on the meaning of “modeling power” for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or stochastic. Three logical constructs are shown to be equivalent: inhibitor arcs, transition priorities, and enabling functions associated with the transitions. A direct transformation of Petri Nets with inhibitor arcs into Petri...

Product form queueing networks (PFQN) and generalized stochastic Petri nets (GSPN) have emerged as the principal performance modelling tools for flexible manufacturing systems (FMS). In this paper, we present integrated PFQN-GSPN models, which combine the computational efficiency of PFQN and representational power of GSPN by employing the principle of flow-equivalence. We show that FMS that inc...

Some insight on the meaning of \modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or stochas-tic. Three logical constructs are shown to be equivalent: inhibitor arcs, transition priorities, and enabling functions associated with the transitions. A direct transformation of Petri Nets with inhibitor arcs into Petr...

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

A natural modeling framework for many complex systems, such as communication or computer systems and networks, is provided through discrete event systems and, in particular, generalized stochastic Petri nets (GSPN) models [3]. However, factors such as huge traffic volumes, increasingly complex operating rules, and performance requirements make such models highly impractical. From an analytical ...

Performance has been one of the major concerns in Web Services research area. Because of the underneath heterogeneous networks and platforms, service providers do not guarantee the quality level of service negotiated in the contract. Besides, the performance of service composition needs to be assured to adapt dynamic service composition. We proposed a Probebased Web Service composition environm...

This paper presents an extension of the Generalized Stochastic Petri Net (GSPN) formalism that enables the computation of first passage time distributions. The tagged customer technique typical of queuing networks is adapted to the GSPN context by providing a formal definition and an automatic computation of the groups of tokens that can be identified as customers, i.e. classes of homogeneous e...

For efficiency and cost control reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications and design, and also to perform dependability analyses. The SAE (Society of Automotive Engineers) AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling. We present a modeling framework allowing the generation...

Analytical modeling is a crucial part in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful tool, widely used for dependability, performance and performability modeling. Many structural and stochastic extensions have been proposed so as to increase their modeling power. In this paper we review the main structural and stochastic extensions of Petri nets, by p...

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...