Indian Institute of Science
In this paper, the authors propose a Petri net model for a commercial network processor (Intel IXP architecture) which is a multithreaded multiprocessor architecture. They consider and model three different applications viz., IPv4 forwarding, network address translation, and IP security running on IXP 2400/2850. A salient feature of the Petri net model is its ability to model the application, architecture and their interaction in great detail. The model is validated using the Intel proprietary tool (SDK 3.51 for IXP architecture) over a range of configurations.