By Topic

A structure based decomposition approach for GSPN

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Ziegler, P. ; Dept. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany ; Szczerbicka, H.

We present a decomposition approach for the solution of large generalised stochastic Petri nets using p-invariants to identify submodels. Due to the structure of interfaces between submodels, types of interactions are defined. An interaction graph is derived, in which the information flow among submodels is represented by the direction of arcs. According to solution quality and efficiency, the information graph is refined to get a suitable partition of the model. The submodels of this partition are aggregated in a special way to preserve the interface structure and its throughput. Combination and solution of the aggregates results in a second step to include the interaction influence into interface substitutions. The isolated solution of the expanded submodels with interface substitution results in approximations of the marking probabilities. The solution process may be iterative, depending on the interaction types among submodels in the solution partition. As all steps of the evaluation are based on model structure, the derivation of the reachability set and the corresponding Markov process is avoided

Published in:

Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on

Date of Conference:

3-6 Oct 1995