Modeling ATM systems with GSPNs and SWNs

Authors:
Marco Ajmone Marsan;Rossano Gaeta
Affiliations:
Politecnico of Torino, Torino, Italy;Univ. of Torino, Torino, Italy
Venue:
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Year:
1998

Citing 0
Cited 2

SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation

Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper overviews the work of the authors in the field of modeling and analysis of Asynchronous Transfer Mode (ATM) networks using Generalized Stochastic Petri Nets (GSPN) and a special class of high-level stochastic Petri nets known as Stochastic Well-formed Nets (SWN). These formalisms are first shown to be adequate tools for the development of models of ATM systems, provided that only one timed transition is used, together with many immediate transitions. The only timed transition in the GSPN and SWN models represents the ATM systems cell time, while immediate transitions implement the ATM systems behavior. The firing time distribution of the only timed transition is irrelevant for the computation of several interesting performance indices. The results, as well as the problems, derived from the analysis of ATM switches and Local Area Networks (LAN) that adopt the Available Bit Rate (ABR) service category are summarized and discussed, providing references to the works containing the technical details.