Multihop Wireless Channel Models Suitable for Stochastic Petri Nets and Markov State Analysis | IEEE Conference Publication | IEEE Xplore