Loading...

Hierarchical stochastic activity networks: Formal definitions and behaviour

Azgomi, M. A ; Sharif University of Technology | 2005

220 Viewed
  1. Type of Document: Article
  2. Publisher: UK Simulation Society , 2005
  3. Abstract:
  4. Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. These models can be used for the modelling and analysis of various kinds and different aspects of distributed real-time systems. Similar to other classical extensions of Petri nets, SANs have some limitations for modelling complex and large-scale systems. In order to remove some of these limitations and provide high-level modelling constructs, we have defined a new extension for SANs, called hierarchical stochastic activity networks (HSANs). HSAN models provide a construct for composing a hierarchy of SAN submodels that is called macro activity. HSANs encapsulate hierarchies and a key benefit of these models is the possibility of automatic selection and usage of techniques for model construction with reduced state spaces by their modelling tools. In this paper, we will present the informal and formal definitions, behaviour and state process of HSANs. We will also introduce methods for the solution of HSAN models by state space analysis and discrete-event simulation techniques. © 2005, UK Simulation Society. All right reserved
  5. Keywords:
  6. Complex networks ; Hierarchical systems ; Interactive computer systems ; Large scale systems ; Petri nets ; Real time systems ; Stochastic systems ; Automatic selection ; Distributed real time system ; Hierarchical model ; Hierarchical stochastic activity networks ; Modelling and analysis ; State-space analysis ; Stochastic activity networks ; Stochastic Petri Nets ; Discrete event simulation
  7. Source: International Journal of Simulation: Systems, Science and Technology ; Volume 6, Issue 1-2 , 2005 , Pages 56-66 ; 14738031 (ISSN)
  8. URL: https://ijssst.info/Vol-06/No-1&2/Azgomi.pdf