Interval Generalized Stochastic Petri Net Models in Performance Evaluation

Interval arithmetic has been applied to model uncertainties. Generalized stochastic Petri Net (GSPN) is one of most commonly applied timed Petri net models for performance and reliability evaluation. This paper describes the interval generalized stochastic Petri net (IGSPN) as an interval extension to the GSPN model. The IGSPN analysis takes into account the effects of variability on exponential transition rates and weights when calculating performance indices. Three case studies are presented for describing the model as well as for presenting the analysis methods. IGSPN analysis for performance evaluation may be useful for engineers and technicians as a tool for decision-making.

[1]  Myron Hlynka,et al.  Queueing Networks and Markov Chains (Modeling and Performance Evaluation With Computer Science Applications) , 2007, Technometrics.

[2]  W. Miranker,et al.  The arithmetic of the digital computer: A new approach , 1986 .

[3]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[4]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[5]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[6]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[7]  Alan A. Desrochers,et al.  Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .

[8]  D. Potier,et al.  Modelling Techniques and Tools for Performance Analysis , 1985 .

[9]  Gianfranco Ciardo,et al.  Stochastic Petri Net Analysis of a Replicated File System , 1989, IEEE Trans. Software Eng..

[10]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.

[11]  A. Neumaier.  Interval methods for systems of equations , 1990 .

[12]  Gianfranco Ciardo,et al.  Analysis of large stochastic petri net models , 1990 .

[13]  Joost-Pieter Katoen,et al.  Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures , 2001, Euro Summer School on Trends in Computer Science.

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

[15]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities , 1987, PNPM.

[16]  S. Rump.  Fast and Parallel Interval Arithmetic , 1999 .

[17]  G. Hargreaves.  Interval Analysis in Matlab , 2002 .

[18]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[19]  Günter Haring,et al.  Characterization and Analysis of Software and Computer Systems with Uncertainties and Variabilities , 2001, Performance Engineering.