[1] Ye F, Yim R, Roy S, et al. Efficiency and reliability of one hop broadcasting in vehicular Ad hoc networks[J]. IEEE Journal on Selected Areas in Communications, 2011, 29(1): 151-160.[2] Yuan Y, Lei R, Xue L. Performance and reliability analysis of IEEE 802.11p safety communication in a highway environment[J]. IEEE Transactions on Vehicular Technology, 2013, 62(9): 4198-4212.[3] Moraes R, Portugal P, Vasques F. A stochastic Petri net model for the simulation analysis of the IEEE 802.11e EDCA communication protocol[C]//2006 IEEE Conference on Emerging Technologies and Factory Automation. Prague: IEEE Press, 2006: 38-45.[4] Escheikh M, Barkaoui K. Opportunistic MAC layer design with stochastic Petri nets for multimedia Ad hoc networks[C]//IEEE Symposium on Computers and Communications. Sousse: IEEE Press, 2009: 23-29.[5] Jensen K. Coloured Petri nets: basic concepts analysis methods and practical use[M]. Berlin: Springer-Verlag Press, 1997: 234-240.[6] Chiola G, Marsan M A, Balbo G, et al. Generalized stochastic Petri nets: a definition at the net level and its implications[J]. IEEE Transactions on Software Engineering, 1993, 19(2): 89-107. |