Web services need to be orchestrated to achieve complex demand. However, existing approaches on Web service composition are mainly based on syntax match. It is very difficult to compose heterogeneous Web services with syntax in accord with function. Gradually, Petri net becomes a powerful system modeling and analysis tools research discrete event dynamic system. In order to solve this problem, ...

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

This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN). This tool, called Web-SPN, provides a discrete time approximation of the stochastic behavior of the marking process which results in the possibility to analyze a wider class of PN models with prd, prs and pri concurrently enabled generally distributed transitions. An example is used to show t...

We describe an investigation into spatial modelling by means of an ongoing case study, namely phase variation patterning in bacterial colony growth, forming circular colonies on a flat medium. We explore the application of two different geometries, rectangular and circular, for modelling and analysing the colony growth in 2.5 dimensions. Our modelling paradigm is that of coloured stochastic Pet...

In this study we extend stochastic-calculus allowing general probabilistic distributions to occur in its preexes. We show that no additional information is needed in the labels of transitions or in the states of systems to derive an enabling relation between transitions. Enabling is then used to compute the residual life times of parallel activities that are not immediately selected when enable...

Analytical modeling plays a crucial role in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful paradigm, widely used for such modeling in the context of dependability, performance and performability. Many structural and stochastic extensions have been proposed in recent years to increase their modeling power, or their capability to handle large systems. This...

Whether a real system is approximated in a discrete or continuous simulation model depends on the more predominating type of variables determining the system’s behavior over time. If both discretely and continuously changing variables have to be considered, hybrid simulation techniques have to be applied, where discrete events have an influence on the otherwise continuously changing system stat...

We consider finite-population and finite-capacity polling systems. The behavior of these systems is described by means of generalized stochastic Petri nets. The exact results for the mean response times are obtained numerically by means of the stochastic Petri net package. Finite population polling systems are generally difficult to analyze. Thus, one of the contributions of this paper is the f...

Generalized Stochastic Petri nets (GSPNs) comprise two types of transitions: timed and immediate. Since ring of immediate transitions has priority on ring of timed transitions several properties of the underlying Petri net need not be valid for the GSPN. This article proves that liveness and the existence of home states of equal connict nets, a generalisation of extended free choice nets, carry...

Building smart grid for power system is a major challenge for safe, automated and energy efficient usage of electricity. The full implementation of the smart grid will evolve over time. However, before a new set of infrastructures are invested to build the smart grid, proper modeling and analysis is needed to avoid wastage of resources. Modeling also helps to identify and prioritize appropriate...