A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor | IEEE Conference Publication | IEEE Xplore