Efficient simulation of hierarchical stochastic activity network models

Stochastic extensions to Petri nets have gained widespread acceptance as a method for describing the dynamic behavior of discrete-event systems. Both simulation and analytic methods have been proposed to solve such models. This paper describes a set of efficient procedures for simulating models that are represented as stochastic activity networks (SANs, a variant of stochastic Petri nets) and composed SAN-based reward models (SBRMs). Composed SBRMs are a hierarchical representation for SANs, in which individual SAN models can be replicated and joined together with other models, in an iterative fashion. The procedures exploit the hierarchical structure and symmetries introduced by the replicate operation in a composed SBRM to reduce the cost of future event list management. The procedures have been implemented as part of a larger performance-dependability modeling package known asUltraSAN, and have been applied to real, large-scale applications.

[1]  Takeshi Ozeki,et al.  Performance evaluation of a picture archiving and communication system using stochastic activity networks , 1990, Medical Imaging.

[2]  William H. Sanders,et al.  METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks , 1986, FJCC.

[3]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[4]  William H. Sanders,et al.  Dependability Evaluation Using Composed SAN-Based Reward Models , 1992, J. Parallel Distributed Comput..

[5]  Giovanni Chiola,et al.  Simulation Framework for Timed and Stochastic Petri Nets , 1991, International Journal in Computer Simulation.

[6]  William H. Sanders,et al.  Performability Modeling with UltraSAN , 1991, IEEE Softw..

[7]  John G. Kemeny,et al.  Finite Markov chains , 1960 .

[8]  Ahmed Louri,et al.  Performance Considerations Relating to the Design of Interconnection Networks for Multiprocessors Systems , 1993, 1993 International Conference on Parallel Processing - ICPP'93.

[9]  William H. Sanders,et al.  A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .

[10]  William H. Sanders,et al.  Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..

[11]  Aimo Törn.  Simulation nets, a simulation modeling and validation tool , 1985 .

[12]  William H. Sanders,et al.  Reduced base model construction methods for stochastic activity networks , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[13]  William H. Sanders,et al.  Construction and solution of performability models based on stochastic activity networks , 1988 .

[14]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[15]  Gary J. Nutt,et al.  Macro E-Nets for Representation of Parallel Systems , 1973, IEEE Transactions on Computers.

[16]  Giovanni Chiola,et al.  On Well-Formed Coloured Nets and Their Symbolic Reachability Graph , 1991 .

[17]  William H. Sanders,et al.  Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.