Performance Analysis of Device-to-Device Communications with Dynamic Interference Using Stochastic Petri Nets | Synapse