In: Billington, J.; Diaz, M.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 1605: Application of Petri Nets to Communication Networks, pages 150-175. Springer-Verlag, 1999.
Abstract: 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.
Keywords: ATM networks, colored Petri nets, timed Petri nets.