Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ajmone Marsan, M., and Chiola, G. 1985. Construction of generalized stochastic Petri net models of bus oriented multiprocessor systems by stepwise refinements.Proc. 2nd Int. Conf. Modeling Techniques and Tools for Performance Analysis, Sophia Antipolis, France.
Chiola, G., 1991. Simulation framework for timed and stochastic Petri nets.Int. J. Comput. Simulation, 1, pp. 153–168.
Chiola, G., Dutheillet, C., Franceschinis, G., and Haddad, S. 1990. On well-formed coloured nets and their symbolic reachability graph.Proc. 11th Int. Conf. Appl. and Theory of Petri Nets, Paris, France.
Couvillion, J., Freire, R., Johnson, R., Obal, W.D. II, Qureshi, M.A., Rai, M., Sanders, W.H., and Tvedt, J.E. 1991. Performability modeling withUltraSAN.IEEE Software, 8(5), pp. 69–80.
Hokens, E., and Louri, A. 1993. Performance considerations relating to the design of interconnection networks for multiprocessing applications.
Kemeny, J.C. and Snell, J.L. 1969.Finite Markov Chains. Princeton, NJ: Van Nostrand.
Meyer, J.F., Movaghar, A., and Sanders, W.H. 1985. Stochastic activity networks: structure, behavior, and application.Proc. Int. Workshop Time Petri Nets, Torino, Italy, pp. 106–115.
Molloy, M. 1981.On the integration of delay and throughput measures in distributed processing models. Ph.D. thesis, UCLA.
Natkin, S. 1980.Reseaux de Petri stochastiques. Ph.D. thesis, CNAM-PARIS.
Noe, J.D., and Nutt, G.J. 1973. Macro E-net representation of parallel systems.IEEE Trans. Comput., C-31(9), pp. 718–727.
Peterson, J.L. 1981.Petri net theory and the modeling of systems. Englewood Cliffs, NJ: Prentice-Hall.
Sanders, W.H. 1988.Construction and solution of performability models based on stochastic activity networks. Ph.D. thesis, University of Michigan.
Sanders, W.H., and Malhis, L.M. 1992. Dependability evaluation using composed SAN-based reward models.J. Parallel and Distrib. Comput. (special issue Petri Net Models of Parallel and Distributed Computers), 15(3), pp. 238–254.
Sanders, W.H., Kant, L., and Kudrimoti, A. Forthcoming a. A modular method for evaluating the performance of picture archiving and communication systems.
Sanders, W.H., Martinez, R., Alsafadi, Y., and Nam, J. Forthcoming b. Performance evaluation of a structured PACS using stochastic activity networks.
Sanders, W.H., and Meyer, J.F. 1986. METASAN: a performability evaluation tool based on stochastic activity networks.Proc. ACM-IEEE Comp. Soc. 1986 Fall Joint Comp. Conf., Dallas, TX, pp. 74–84.
Sanders, W.H., and Meyer, J.F. 1989. Reduced base model construction methods for stochastic activity networks.Proc. Third Int. Workshop Petri Nets and Performance Models, Kyoto, Japan, pp. 74–84.
Sanders, W.H., and Meyer, J.F. 1991a. A unified approach for specifying measures of performance, dependability, and performability.Dependable Computing for Critical Applications. Vol. 4: Dependable Computing and Fault-Tolerant Systems (A. Avizienis and J. Laprie, eds.). New York: Springer-Verlag, pp. 215–237.
Sanders, W.H., and Meyer, J.F. 1991b. Reduced base model construction methods for stochastic activity networks.IEEE Selected Areas Comm. (special issue onComputer-Aided Modeling, Analysis, and Design of Communication Networks), 9(1), pp. 25–36.
Törn, A.A. 1985. Simulation nets, a simulation modeling and validation tool.Simulation, 45(2), pp. 71–75.
Author information
Authors and Affiliations
Additional information
This work was supported in part by the Digital Equipment Corporation Faculty Program: Incentives for Excellence.
Rights and permissions
About this article
Cite this article
Sanders, W.H., Freire, R.S. Efficient simulation of hierarchical stochastic activity network models. Discrete Event Dyn Syst 3, 271–299 (1993). https://doi.org/10.1007/BF01439852
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01439852