Girish B. C. R. Govindarajan A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor. 19-30 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.5 conf/qest/2007 db/conf/qest/qest2007.html#CG07