Lei, L., Zhang, Y., Shen, X., Lin, C., & Zhong, Z. (2013). Performance analysis of device-to-device communications with dynamic interference using stochastic petri nets IEEE Transactions on Wireless Communications, 12, 6121-6141.