Abstract:In this paper, we propose a service composition model method that supports quantitative computation based on Stochastic Petri Nets (SPN). It can capture the semantics of complex service combinations and their respective specifications. In this method, services are divided into interior services and exterior services. The exterior services will be published to the users, while the interior ones do not need to be published. Six equivalent simplified theorems which can be used to simplify the complex models of interior services to simple models of exterior services are presented. They enable the minimization of the state space of the model and make quantitative computation feasible. In addition, since Grid services are always affected by all kinds of churns in actual applications, we also research survivability and its main attributes for Grid service composition. The definition and computational methods based on the model are put forward. In the end, we use the method presented above to describe and analyze an example of travel Grid services successfully.

On Stochastic High-Level Petri Nets

Modeling and Performance Evaluation of Hierarchical Job Scheduling on the Grids

Modeling and performance evaluation of QoS-aware job scheduling of computational grids

dmission Models of Stochastic High Level Petri Nets Hierarchical Modeling

Online Hierarchical Scheduling: an Approach Using Mathematical Programming

Non‐blocking Decentralized Control of Discrete Event Systems Based on Petri Nets

Approximate Performance Analysis of Job Scheduling on Computational Grids

ATM admission models of stochastic high level Petri nets based on hierarchical modeling.

On the analysis of stochastic high level Petri net models

Performance Modeling of Grid Resource Management and Scheduling Systems

Distributed resource scheduling based on multi-node negotiation for grid systems

Application-adaptive Resource Scheduling in a Computational Grid

Performability Evaluation of Resource Scheduling Algorithms for Computational Grids

Performance Modeling and Analysis for Resource Scheduling in Data Grids.

Modeling Atm Traffic Using Stochastic Petri Net

Application of Stochastic High-Level Petri Nets in Inhomogeneous Systems

On Refinement of Model Structure for Stochastic Petri Nets

Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets

Modeling and Performance Analysis of a Multiserver Multiqueue System on the Grid

Applying Computational Grid Technology to Power System

Modeling and survivability analysis of service composition using Stochastic Petri Nets