Petri net based modeling of application layer traffic characteristics

The immense public interest in Internet multimedia, and particularly World Wide Web applications, has also triggered a lot of research towards better understanding of networking requirements of such applications. We propose a Petri net model that addresses traffic generation patterns of Internet-based real-time block-transfer applications. The proposed model is based on the Web's native hypertext transport protocol, and consists of three modules: client, server, and real channel. The model flexibility is achieved through adjustable system parameters. Formal validation results demonstrate the correctness of the proposed model.