A modelling tool for hierarchical stochastic activity networks

Abstract Hierarchical stochastic activity networks (HSANs) are a newly introduced extension of stochastic activity networks (SANs). HSAN models encapsulate hierarchies and a key benefit of these models is the possibility of automatic employment of composition techniques by their modelling tools. For modelling and evaluation with HSANs, we have developed a software tool called SANBuilder . This tool has an integrated development environment (IDE) for construction, animation, simulation and analytic solution of SAN-based models. We have implemented in this tool some state-of-the-art methods for the simulation and analytic solution of SAN and HSAN models. In addition to an introduction to HSANs, this paper will describe the features, capabilities, organization, solution methods, implementation and a performance evaluation of the SANBuilder modelling tool.

[1]  John R. Rice,et al.  Numerical methods, software, and analysis , 1983 .

[2]  William H. Sanders,et al.  "On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions , 1998, IEEE Trans. Software Eng..

[3]  Ali Movaghar,et al.  STOCHASTIC ACTIVITY NETWORKS: A NEW DEFINITION AND SOME PROPERTIES , 2001 .

[4]  William H. Sanders,et al.  Efficient simulation of hierarchical stochastic activity network models , 1993, Discret. Event Dyn. Syst..

[5]  Alex Lee Williamson,et al.  Discrete Event Simulation in the Möbius Modeling Framework , 1999 .

[6]  Ekkart Kindler,et al.  The Petri Net Markup Language , 2003, Petri Net Technology for Communication-Based Systems.

[7]  Aaron James Stillman,et al.  Model Composition Within the Möbius Modeling Framework , 1999 .

[8]  M.A. Qureshi,et al.  The UltraSAN Modeling Environment , 1995, Perform. Evaluation.

[9]  William H. Sanders,et al.  The Mobius modeling environment: recent developments , 2004 .

[10]  Mohammad Abdollahi Azgomi,et al.  Modeling and evaluation with object stochastic activity networks , 2004 .

[11]  Stephen S. Lavenberg,et al.  Performance Modeling Tools , 1995, Performance evaluation (Print).

[12]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[13]  Ali Movaghar,et al.  Performability modeling with stochastic activity networks , 1985 .

[14]  Mohammad Abdollahi Azgomi,et al.  HIERARCHICAL STOCHASTIC ACTIVITY NETWORKS , 2003 .

[15]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[16]  John Mark Sowder,et al.  State-Space Generation Techniques in the Möbius Modeling Framework , 1999 .

[17]  William H. Sanders,et al.  The Möbius Framework and Its Implementation , 2002, IEEE Trans. Software Eng..

[18]  G. Ciardo,et al.  ON THE USE OF KRONECKER OPERATORS FOR THE SOLUTION OF GENERALIZED STOCHASTIC PETRI NETS , 1996 .

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

[20]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

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

[22]  Mohammad Abdollahi Azgomi,et al.  Coloured Stochastic Activity Networks: Preliminary Definitions and Properties , 2003 .

[23]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[24]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[25]  Mark Allen Weiss,et al.  Data structures and algorithm analysis in C , 1991 .