Eighth International Workshop on Petri Nets and Performance Models (PNPM '99)
A Data Structure for the Efficient Kronecker Solution of GSPNs
Zaragoza, Spain
September 08-September 10
ISBN: 0-7695-0331-4
Kronecker-based approaches have been proposed for the solution of structured GSPNs with extremely large state spaces. Representing the transition rate matrix using Kronecker sums and products of smaller matrices virtually eliminates its storage requirements, but introduces various sources of overhead. We show how, by using a new data structure which we call matrix diagrams, we are able to greatly reduce or eliminate many of these overheads, resulting in a very efficient overall solution process.