{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T12:06:31Z","timestamp":1750421191982},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,4,18]]},"DOI":"10.1145\/1122591.1122611","type":"proceedings-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T21:40:43Z","timestamp":1147124443000},"page":"153-157","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["An approach to Petri net based formal modeling of user interactions from X3D content"],"prefix":"10.1145","author":[{"given":"Jianghui","family":"Ying","sequence":"first","affiliation":[{"name":"Virginia Tech"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1162\/105474601750182342"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/636593.636609"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/504502.504527"},{"volume-title":"Proceedings of the Virtual Reality International Conference.","author":"Gra\u010danin D.","key":"e_1_3_2_1_4_1","unstructured":"Gra\u010danin , D. , and Ying , J . 2005. An approach to formal description of user interfaces based on X3D content . In Proceedings of the Virtual Reality International Conference. Gra\u010danin, D., and Ying, J. 2005. An approach to formal description of user interfaces based on X3D content. In Proceedings of the Virtual Reality International Conference."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/327164.327336"},{"volume-title":"Software Education Conference, 1994. Proceedings., 50--57","author":"Li X.","key":"e_1_3_2_1_6_1","unstructured":"Li , X. , and Mugridge , R . 1994. Petri net based graphical user interface specification tool . In Software Education Conference, 1994. Proceedings., 50--57 . Li, X., and Mugridge, R. 1994. Petri net based graphical user interface specification tool. In Software Education Conference, 1994. Proceedings., 50--57."},{"volume-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson J. L.","key":"e_1_3_2_1_7_1","unstructured":"Peterson , J. L. 1981. Petri Net Theory and the Modeling of Systems . Prentice-Hall , Englewood Cliffs , New Jersey. Peterson, J. L. 1981. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, New Jersey."},{"key":"e_1_3_2_1_8_1","unstructured":"PNML 2000. Specification of PNML. http:\/\/www.informatik.huberlin.de\/top\/pnml\/pnml.html. Last accessed May 2005.  PNML 2000. Specification of PNML. http:\/\/www.informatik.huberlin.de\/top\/pnml\/pnml.html. Last accessed May 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/636593.636606"},{"key":"e_1_3_2_1_10_1","unstructured":"Roehl B. 1995. Some thoughts on behavior in VR systems. http:\/\/ece.uwaterloo.ca\/broehl\/behav.html. Last accessed October 2003.  Roehl B. 1995. Some thoughts on behavior in VR systems. http:\/\/ece.uwaterloo.ca\/broehl\/behav.html. Last accessed October 2003."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/231132.231140"},{"volume-title":"Software Engineering Conference, 1998. Proceedings., 377--384","author":"Shirogane J.","key":"e_1_3_2_1_12_1","unstructured":"Shirogane , J. , and Fukazawa , Y . 1998. Method of user-customizable GUI generation and its evaluation . In Software Engineering Conference, 1998. Proceedings., 377--384 . Shirogane, J., and Fukazawa, Y. 1998. Method of user-customizable GUI generation and its evaluation. In Software Engineering Conference, 1998. Proceedings., 377--384."},{"volume-title":"Prentice Hall PTR","author":"Walsh A. E.","key":"e_1_3_2_1_13_1","unstructured":"Walsh , A. E. , and Borges-Svenier , M. 2001. Core Web 3 D. Prentice Hall PTR , Upper Saddle River, NJ. Walsh, A. E., and Borges-Svenier, M. 2001. Core Web3D. Prentice Hall PTR, Upper Saddle River, NJ."},{"key":"e_1_3_2_1_14_1","unstructured":"Web3D 2001. Student project: Desklamp. http:\/\/www.web3d.org\/x3d\/content\/examples\/StudentProjects\/DeskLamp.x3d. Last accessed May 2005.  Web3D 2001. Student project: Desklamp. http:\/\/www.web3d.org\/x3d\/content\/examples\/StudentProjects\/DeskLamp.x3d. Last accessed May 2005."},{"key":"e_1_3_2_1_15_1","volume-title":"ISO\/IEC FDIS 19775:200x. Last accessed","author":"Web D","year":"2003","unstructured":"Web 3 D , 2003 . Extensible 3D (X3D) . ISO\/IEC FDIS 19775:200x. Last accessed May, 2005. Web3D, 2003. Extensible 3D (X3D). ISO\/IEC FDIS 19775:200x. Last accessed May, 2005."}],"event":{"name":"Web3D '06: 11th International Conference on 3D Web Technology 2006","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"],"location":"Columbia Maryland","acronym":"Web3D '06"},"container-title":["Proceedings of the eleventh international conference on 3D web technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1122591.1122611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T09:16:16Z","timestamp":1673428576000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1122591.1122611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4,18]]},"references-count":15,"alternative-id":["10.1145\/1122591.1122611","10.1145\/1122591"],"URL":"https:\/\/doi.org\/10.1145\/1122591.1122611","relation":{},"subject":[],"published":{"date-parts":[[2006,4,18]]},"assertion":[{"value":"2006-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}