{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:45:51Z","timestamp":1729615551529,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/vetecs.2006.1683019","type":"proceedings-article","created":{"date-parts":[[2006,9,8]],"date-time":"2006-09-08T21:17:52Z","timestamp":1157750272000},"page":"1171-1175","source":"Crossref","is-referenced-by-count":5,"title":["Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF"],"prefix":"10.1109","volume":"3","author":[{"given":"R.","family":"Haines","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Munro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Clemo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/AINA.2004.1283818","article-title":"Performance Analysis of IEEE 802.11 WLAN to Support Voice Services","volume":"2","author":"li","year":"2004","journal-title":"Proc 18th Int'l Conf Advanced Information Networking and Applications (AINA '04)"},{"key":"16","first-page":"1922","article-title":"A study of self-adaptive transmission for integrated voice and data services over an IEEE 802.11 WLAN","volume":"3","author":"li","year":"2004","journal-title":"15th IEEE International Symposium on Personal Indoor and Mobile Radio Communications 2004 PIMRC 2004"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1049\/el:20046588"},{"key":"11","first-page":"111","article-title":"PEPA nets: A structured performance modelling formalism","author":"gilmore","year":"2002","journal-title":"Computer Performance Evaluation Modelling Techniques and Tools 12th International Conference TOOLS 2002"},{"key":"12","first-page":"1","article-title":"Introduction to Petri Nets and Reference Nets","volume":"1","author":"kummer","year":"2001","journal-title":"Sozionik Aktuell"},{"journal-title":"IEEE Std 802 11e- IEEE Standard for Information technology - Telecommunications and information exchange between systems - Local and metropolitan area networks - Specific requirements Part 11 Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications Amendment 8 Medium Access Control (MAC) Quality of Service Enhancements","year":"2005","key":"3"},{"year":"0","key":"2"},{"year":"2003","key":"1","article-title":"IEEE Wireless LAN Edition - A compilation based on IEEE Std 802.11TM-1999 (R2003) and its amendments"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1995.524326"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume":"1","author":"jensen","year":"1997","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.1989.101819"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1982.1095452"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(00)00053-5"},{"key":"8","article-title":"Petri Nets as Token Objects - An Introduction of Elementary Object Nets","author":"valk","year":"1998","journal-title":"Lecture Notes in Computer Science 19th Inernational Conference on the Application and Theory of Petri Nets (ICATPN '98)"}],"event":{"name":"2006 IEEE 63rd Vehicular Technology Conference","location":"Melbourne, Australia"},"container-title":["2006 IEEE 63rd Vehicular Technology Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11096\/35443\/01683019.pdf?arnumber=1683019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T09:07:52Z","timestamp":1497690472000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1683019\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/vetecs.2006.1683019","relation":{},"subject":[]}}