An Introduction to High-Level Stochastic Activity Networks


(*) Corresponding author


Authors' affiliations


DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)

Abstract


Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. However, SANs facilities are not enough high-level for modelling and analysis of complex and large-scale systems. In order to provide such high-level modelling facilities, we have defined high-level extensions for SANs. We intend to preserve all capabilities of SANs for performance and dependability evaluations in these new extensions. In this paper, we present a brief introduction to these high-level extensions, including hierarchical stochastic activity networks (HSANs), coloured stochastic activity networks (CSANs), and object stochastic activity networks (OSANs). Some properties, examples and applications of these models and their analysis methods will also be presented.
Copyright © 2016 Praise Worthy Prize - All rights reserved.

Keywords


Performance and Dependability Evaluation; Petri Nets; Stochastic Activity Networks

Full Text:

PDF


References


M. Abdollahi Azgomi and A. Movaghar, Towards an object-oriented extension for stochastic activity networks, Proc. 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03), Eichstätt, Germany, Sept. 26-27, 2003, pp. 144-155.

M. Abdollahi Azgomi and A. Movaghar, Modeling and evaluation with object stochastic activity networks, Proc. 1st Int'l Conf. on Quantitative Evaluation of Systems (QEST'04), Enschede, The Netherlands, Sept. 27-30, 2004, pp. 326-327.

M. Abdollahi Azgomi and A. Movaghar, Coloured Stochastic Activity Networks: Definitions and Behaviour, Proc. 20th Annual UK Performance Engineering Workshop (UKPEW'04), Bradford, UK, July 7-8, 2004, pp. 297-308.

M. Abdollahi Azgomi and A. Movaghar, A modelling tool for hierarchical stochastic activity networks, Simulation Modelling Practice and Theory, Vol. 13, pp. 505-524, 2005.

M. Abdollahi Azgomi and A. Movaghar, Hierarchical stochastic activity networks: formal definitions and behaviour, Int'l J. of Simulation, Sys., Sci. and Tech., Vol. 6, pp. 56-66, 2005.

M. Abdollahi Azgomi and A. Movaghar, Modeling and analysis of a packet-based telecommunication switching Center with HSAN models, Proc. 13th Int'l Conf. on Software, Telecommunications and Computer Networks (SoftCOM'05), Split, Marina Frapa, Croatia, Sept. 15-17, 2005, pp. 182-186.

M. Abdollahi Azgomi, High-level extensions for stochastic activity networks: theories, tools and applications, Ph.D. dissertation, Dept. Comp. Eng., Sharif Univ. of Tech., Tehran, Iran, 2005. (in Persian)

M. Abdollahi Azgomi and A. Movaghar, A case study on application of CSAN models on network modelling," Proc. 5th Int'l. Symp. on Communication Systems, Networks and Digital Signal Processing (CSNDSP'06), Patras, Greece, July 19-21, 2006, to appear

M. Ajmone Marsan, G. Balbo and G. Conte, A class of generalized stochastic Petri nets for performance evaluation of multiprocessors systems, ACM Trans. Comp. Sys., Vol. 2, pp. 93-122, 1984.

J. Couvillion et al, Performability modeling with UltraSAN, IEEE Soft., Vol. 8, pp. 69-80, 1991.

D.D. Deavours et al., The Möbius framework and its implementation, IEEE Trans. on Soft. Eng., Vol. 28, pp. 956-969, 2002.

R. Gaeta and G. Chiola, Efficient simulation of SWN models, Proc. PNPM'95, Durham, NC, 1995.

GreatSPN, GreatSPN User's Manual (Univ. of Torino, 2001)

K. Jensen, Coloured Petri Nets: A High Level Language for System Design and Analysis (Springer-Verlag , 1990).

A. Kamandi, M. Abdollahi Azgomi and A. Movaghar, Transformation of UML models into analyzable OSAN models, Elect. Notes in Theoretical Comp. Sci. (ENTCS), Vol. 159, pp. 3-22, 2006.

C.A. Lakos, From coloured Petri nets to object Petri nets, Proc. 16th Int'l Conf. on the App. and Theory of Petri Nets (ICATPN''95), Torino, Italy, pp. 278-297, 1995.

M.K. Molloy, Performance analysis using stochastic Petri nets, IEEE Trans. on Comp., Vol. C-31,pp. 913-917, 1982.

A. Movaghar, and J.F. Meyer, Performability modeling with stochastic activity networks, Proc. 1984 Real-Time Systems Symp., Austin, TX, USA, pp. 215-224, 1984.

A. Movaghar, Performability modeling with stochastic Activity networks, Ph.D. dissertation, Dept. Elect. Eng., The Univ. of Michigan, Ann Arbor, USA, 1985.

A. Movaghar, Stochastic activity networks: a new definition and some properties, Scientia Iranica, Vol. 8, pp. 303-311, 2001.

J.L. Peterson, Petri Net Theory and The Modeling of Systems (Prentice-Hall,1981).

W.H. Sanders, and J.F. Meyer, METASAN: a performability evaluation tool based on stochastic activity networks, Proc. ACM/IEEE-CS Fall Joint Comp. Conf., pp. 807-816, 1986.

W.H. Sanders, and J.F. Meyer, Reduced base model construction methods for stochastic activity networks, IEEE J. on Selected Areas in Comm., Vol. 9, pp. 25–36, 1991.

W.H. Sanders, and J.F. Meyer, Stochastic activity networks: formal definitions and concepts, Lecture Notes in Comp. Sci. (LNCS), Vol. 2090, pp. 315-343, 2001.

A.J. Stillman, Model composition in the Möbius modeling framework, M.S. thesis, Dept. Elect. Compt. Eng., Urbana-Champaign, Univ. of Illinois, USA, 1999.

L. Wells, Performance analysis using coloured Petri nets, Ph.D. dissertation, Dept. Comp. Sci., Univ. of Aarhus, Denmark, 2002.

W. M. Zuberek, Timed Petri nets and preliminary performance evaluation, Proc. 7th Annual Symp. on Comput. Arch., La Baule, France , 1980.


Refbacks

  • There are currently no refbacks.


Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2024 Praise Worthy Prize