This Article 
 Bibliographic References 
 Add to: 
Hierarchical Structuring of Superposed GSPNs
March/April 1999 (vol. 25 no. 2)
pp. 166-181

Abstract—Superposed Generalized Stochastic Petri Nets (SGSPNs) and Stochastic Automata Networks (SANs) are formalisms to describe Markovian models as a collection of synchronously communicating components. Both formalisms allow a compact representation of the generator matrix of the Markov chain, which can be exploited for very space efficient analysis techniques. The main drawback of the approaches is that for many models the compositional description introduces a large number of unreachable states, such that the gain due to the compact representation of the generator matrix is completely lost. This paper proposes a new approach to avoid unreachable states without losing the possibility to represent the generator matrix in a compact form. The central idea is to introduce a preprocessing step to generate a hierarchical structure which defines a block structure of the generator matrix, where every block can be represented in a compact form similar to the representation of generator matrices originally proposed for SGSPNs or SANs. The resulting structure includes no unreachable states, needs only slightly more space than the compact representation developed for SANs and can still be exploited in efficient numerical solution techniques. Furthermore, the approach is a very efficient method to generate and represent huge reachability sets and graphs.

[1] B. Plateau, "On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms," Proc. SIGMETRICS Conf., pp. 147-154,Austin, Texas, ACM, Aug. 1985.
[2] B. Plateau and J.M. Fourneau, "A Methodology for Solving Markov Models of Parallel Systems," J. Parallel and Distributed Computing, vol. 12, pp. 370-387, 1991.
[3] S. Donatelli, "Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space," Performance Evaluation, vol. 18, pp. 21-36, 1993.
[4] S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," R. Valette, ed., Proc. 15th Int'l Conf. Applications and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp. 258-277.Berlin, Heidelberg: Springer-Verlag, 1994.
[5] P. Buchholz, "Markovian Process Algebra: Composition and Equivalence," Proc. Second Workshop Process Algebras and Performance Modelling, pp. 11-30, U. Herzog and M. Rettelbach, eds. Arbeitsberichte des IMMD, Univ. of Erlangen, no. 27, 1994.
[6] P. Kemper, "Numerical Analysis of Superposed GSPN," IEEE Trans. Software Eng., vol. 22, no. 4, pp. 615-628, Sept. 1996.
[7] P. Kemper, "Reachability Analysis Based on Structured Representations," Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, Springer, 1996.
[8] P. Buchholz, "An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks," Probability in the Eng. and Informational Sciences, vol. 11, no. 2, pp. 229-253, 1997.
[9] W.J. Stewart, K. Atif, and B. Plateau, "The Numerical Solution of Stochastic Automata Networks," European J. Oper.l Research, vol. 86, pp. 503-525, 1995.
[10] G. Ciardo and K. Trivedi, “A Decomposition Approach for Stochastic Reward Net Models,” Performance Evaluation, vol. 18, no. 1, pp. 37-59, 1993.
[11] P. Buchholz, "A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis," J. Parallel and Distributed Computing, vol. 15, no. 3, pp. 207-224, 1992.
[12] G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications," IEEE Trans. Software Eng., vol. 19, no. 2, pp. 89-107, Feb. 1993.
[13] P. Buchholz, "A Notion of Equivalence for Stochastic Petri Nets," Application and Theory of Petri Nets, G. De Michelis and M. Diaz, eds., Springer Lecture Notes in Computer Science 935, pp. 161-180, 1995.
[14] M. Davio, "Kronecker Products and Shuffle Algebra," IEEE Trans. Computers, vol. 30, pp. 116-125, 1981.
[15] P.E. Buis and W.R. Dyksen, "Efficient Vector and Parallel Manipulation of Tensor Products," ACM Trans. Math. Software, vol. 22, no. 1, pp. 18-23, 1996.
[16] R. Cleaveland, J. Parrow, and B. Steffen, "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems," ACM Trans. Programming Languages and Systems, Jan. 1993, pp. 36-72.
[17] R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, N.J., 1989.
[18] D. Park, "Concurrency and Automata on Infinite Sequences," Theoretical Computer Science, 5th GI-Conference, LNCS 104, Springer-Verlag, 1981, pp. 167-183.
[19] J.-C. Fernandez, "An Implementation of an Efficient Algorithm for Bisimulation Equivalence," Science of Computer Programming, vol. 13, pp. 219-236, 1989/90.
[20] F. Bause, P. Buchholz, and P. Kemper, "QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets," Quantitative Evaluation of Computing and Communication Systems, H. Beilner and F. Bause, eds., Springer Lecture Notes in Computer Science 977, pp. 224-238, 1995.
[21] P. Buchholz, G. Ciardo, S Donatelli, and P. Kemper, "Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models," Icase report 97-66, Inst. for Computer Applications in Science and Engineering, Hampton, Va., 1997.
[22] D.D. Deavours and W.H. Sanders, "An Efficient Disk-Based Tool for Solving Very Large Markov Models," Computer Performance Evaluation—Modelling Techniques and Tools 1997, R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, eds., Springer Lecture Notes in Computer Science 1,245, pp. 58-71, 1997.
[23] C.M. Woodside and Y. Li,“Performance Petri net analysis of communications protocol software by delay-equivalent aggregation,” Fourth Int’l Workshop Petri Nets and Performance Models, pp. 64-73,Melbourne, Australia, Dec.2-5, 1991.

Index Terms:
Superposed GSPNs, numerical analysis, reachability analysis, equivalence, structured matrix representation.
Peter Buchholz, "Hierarchical Structuring of Superposed GSPNs," IEEE Transactions on Software Engineering, vol. 25, no. 2, pp. 166-181, March-April 1999, doi:10.1109/32.761443
Usage of this product signifies your acceptance of the Terms of Use.