An Introduction to New Extensions for Stochastic Activity Networks

ABSTRACT Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. However, SANs facilities are not enough for modeling and analysis of complex and large-scale systems. In order to provide such high-level modeling facilities, we have defined some new extensions for SANs. We intend to preserve all capabilities of SANs for performance, dependability and performability evaluations in these new extensions. In this paper, we present a brief introduction to these new extensions, including hierarchical stochastic activity networks (HSANs) , colored stochastic activity networks (CSANs) , and object stochastic activity networks (OSANs) . Some properties and applications of these models and their analysis methods will also be discussed. KEY WORDS: Modeling, High-Level Petri Nets, Stochastic Activity Networks, Object-Oriented Modeling. 1. INTRODUCTION Petri nets (PNs) have been introduced in 1962 for modeling concurrent and distributed systems [1]. In addition to formal definition and structures, PNs have graphical representation, which helps them to be understood easily. Having only two primitives (i.e.

[1]  Charles Lakos,et al.  From Coloured Petri Nets to Object Petri Nets , 1995, Application and Theory of Petri Nets.

[2]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[3]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[4]  Kurt Jensen High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[5]  Peter Buchholz,et al.  Queueing Petri Nets with Product Form Solution , 1998, Perform. Evaluation.

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

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

[8]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

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

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

[11]  Mariacarla Calzarossa,et al.  Editorial: Tools for Performance Evaluation , 1998, Perform. Evaluation.