Timed Petri Net Models of ATM LANs

The Asynchronous Transfer Mode (ATM) is a fast packet-switching communication method using small fixed-length cells. A model of an ATM LAN is presented which provides a realistic representation of data transmission by modeling both the ATM network and the applications running over it. Colored Petri nets are used to create a compact model that is capable of representing a variety of different protocols at a high level of detail. The model is designed to allow easy reconfiguration or addition of details at different levels of the system. Simulation is used to evaluate the performance of the modeled system, and some results are compared to actual data gathered from the campus network at Memorial University.

[1]  David W. Petr,et al.  Simulation Comparison of Broadband Networking Technologies , 1995, Simul..

[2]  H. T. Mouftah,et al.  Survey of ATM Switch Architectures , 1995, Comput. Networks ISDN Syst..

[3]  R. O. Onvural.  On performance characteristics of ATM networks , 1992, [Conference Record] SUPERCOMM/ICC '92 Discovering a New World of Communications.

[4]  A. Alles,et al.  ATM Internetworking , 1995 .

[5]  Grenville Armitage,et al.  How inefficient is IP over ATM anyway , 1995 .

[6]  John A. Silvester,et al.  Queueing analysis of an ATM switch with multichannel transmission groups , 1990, SIGMETRICS '90.

[7]  Sally Floyd,et al.  Dynamics of TCP Traffic over ATM Networks , 1995, IEEE J. Sel. Areas Commun..

[8]  Walter J. Goralski.  Introduction to ATM Networking , 1995 .

[9]  David V. Huntsberger,et al.  Elements of statistical inference , 1961 .

[10]  Raif O. Onvural,et al.  Asynchronous Transfer Mode Networks: Performance Issues, Second Edition , 1993 .

[11]  Hiroshi Yamada,et al.  A Traffic Measurement Method and its Application for Cell Loss Probability Estimation in ATM Networks , 1991, IEEE J. Sel. Areas Commun..

[12]  Gianfranco Balbo,et al.  Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[13]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[14]  Michael Perloff,et al.  Improvements to TCP performance in high-speed ATM networks , 1995, CACM.

[15]  Masayuki Murata,et al.  Analysis of Interdeparture Processes for Bursty Traffic in ATM Networks , 1991, IEEE J. Sel. Areas Commun..

[16]  Michael Edward Reid.  Modeling and performance analysis of ATM LANs , 1997 .

[17]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[18]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[19]  A. Descloux,et al.  Stochastic Models for ATM Switching Networks , 1991, IEEE J. Sel. Areas Commun..

[20]  Mary K. Vernon,et al.  Exact Performance Estimates for Multiprocessor Memory and Bus Interference , 1987, IEEE Transactions on Computers.

[21]  George D. Stamoulis,et al.  Traffic source models for ATM networks: a survey , 1994, Comput. Commun..

[22]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[23]  Marco Ajmone Marsan,et al.  Simulation Of ATM Computer Networks with Class , 1994, Computer Performance Evaluation.

[24]  Ramón M. Rodríguez-Dagnino,et al.  Prediction of Bit Rate Sequences of Encoded Video Signals , 1991, IEEE J. Sel. Areas Commun..

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

[26]  Per Gunningberg,et al.  How a large ATM MTU causes deadlocks in TCP data transfers , 1995, TNET.