Credit-Based Flow Control for Multihop Wireless Networks and Stochastic Petri Nets Analysis | IEEE Conference Publication | IEEE Xplore