{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:03:29Z","timestamp":1746331409358,"version":"3.40.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319072326"},{"type":"electronic","value":"9783319072333"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07233-3_34","type":"book-chapter","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T16:58:45Z","timestamp":1402419525000},"page":"361-372","source":"Crossref","is-referenced-by-count":0,"title":["PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net"],"prefix":"10.1007","author":[{"given":"Francisco R.","family":"Ortega","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Su","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Hernandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando","family":"Barreto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naphtali","family":"Rishe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malek","family":"Adjouadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Buxton, W.: A three-state model of graphical input. In: Human-computer Interaction-INTERACT 1990, pp. 449\u2013456 (1990)"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"English, W.K., Engelbart, D.C., Berman, M.L.: Display-Selection Techniques for Text Manipulation. IEEE Transactions on Human Factors in Electronics\u00a0(1), 5\u201315 (1967)","DOI":"10.1109\/THFE.1967.232994"},{"issue":"3","key":"34_CR3","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1207\/s15327051hci0803_3","volume":"8","author":"W.D. Gray","year":"1993","unstructured":"Gray, W.D., John, B.E., Atwood, M.E.: Project Ernestine: Validating a GOMS analysis for predicting and explaining real-world task performance. Human\u2013Computer Interaction\u00a08(3), 237\u2013309 (1993)","journal-title":"Human\u2013Computer Interaction"},{"issue":"6","key":"34_CR4","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1016\/0005-1098(83)90030-4","volume":"19","author":"R.W. Pew","year":"1983","unstructured":"Pew, R.W., Baron, S.: Perspectives on human performance modelling. Automatica\u00a019(6), 663\u2013676 (1983)","journal-title":"Automatica"},{"key":"34_CR5","unstructured":"Mackenzie, I.S.: Human-Computer Interaction. An Empirical Research Perspective. Newnes (December 2012)"},{"key":"34_CR6","unstructured":"Bowman, D.A., Kruijff, E., LaViola Jr., J.J., Poupyrev, I.: 3D user interfaces: theory and practice. Addison-Wesley Professional (2004)"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Newman, W.M.: A system for interactive graphical programming, pp. 47\u201354 (1968)","DOI":"10.1145\/1468075.1468083"},{"issue":"3","key":"34_CR8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/98188.98204","volume":"8","author":"B.A. Myers","year":"1990","unstructured":"Myers, B.A.: A new model for handling input. ACM Transactions on Information Systems (TOIS)\u00a08(3), 289\u2013320 (1990)","journal-title":"ACM Transactions on Information Systems (TOIS)"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Kin, K., Hartmann, B., DeRose, T., Agrawala, M.: Proton++: a customizable declarative multitouch framework. In: UIST 2012: Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, ACM Request Permissions (October 2012)","DOI":"10.1145\/2380116.2380176"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Lao, S., Heng, X., Zhang, G., Ling, Y., Wang, P.: A gestural interaction design model for multi-touch displays, pp. 440\u2013446 (2009)","DOI":"10.14236\/ewic\/HCI2009.55"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Kammer, D., Wojdziak, J., Keck, M., Groh, R., Taranko, S.: Towards a formalization of multi-touch gestures. In: ITS 2010: International Conference on Interactive Tabletops and Surfaces, ACM Request Permissions (November 2010)","DOI":"10.1145\/1936652.1936662"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"L\u00fc, H., Li, Y.: Gesture coder: a tool for programming multi-touch gestures by demonstration, pp. 2875\u20132884 (2012)","DOI":"10.1145\/2207676.2208693"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Scholliers, C., Hoste, L., Signer, B., De Meuter, W.: Midas: a declarative multi-touch interaction framework, pp. 49\u201356 (2011)","DOI":"10.1145\/1935701.1935712"},{"issue":"5","key":"34_CR14","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1109\/3468.784178","volume":"29","author":"Y. Nam","year":"1999","unstructured":"Nam, Y., Wohn, N., Lee-Kwang, H.: Modeling and recognition of hand gesture using colored Petri nets. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a029(5), 514\u2013521 (1999)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Hamon, A., Palanque, P., Silva, J.L., Deleris, Y., Barboni, E.: Formal description of multi-touch interactions. In: EICS 2013: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM Request Permissions, New York, USA, pp. 207\u2013216 (June 2013)","DOI":"10.1145\/2494603.2480311"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-34347-6_3","volume-title":"Human-Centered Software Engineering","author":"L.D. Spano","year":"2012","unstructured":"Spano, L.D., Cisternino, A., Patern\u00f2, F.: A compositional model for gesture definition. In: Winckler, M., Forbrig, P., Bernhaupt, R. (eds.) HCSE 2012. LNCS, vol.\u00a07623, pp. 34\u201352. Springer, Heidelberg (2012)"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Spano, L.D., Cisternino, A., Patern\u00f2, F., Fenu, G.: GestIT: a declarative and compositional framework for multiplatform gesture definition. In: EICS 2013: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM Request Permissions, New York, USA, pp. 187\u2013196 (June 2013)","DOI":"10.1145\/2494603.2480307"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer (November 2010)","DOI":"10.1007\/978-3-642-10669-9"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Ortega, F.R., Hernandez, F., Barreto, A., Rishe, N.D., Adjouadi, M., Liu, S.: Exploring modeling language for multi-touch systems using petri nets. In: ITS 2013: Proceedings of the 2013 ACM International Conference on Interactive Tabletops and Surfaces. ACM (October 2013)","DOI":"10.1145\/2512349.2512400"},{"key":"34_CR20","unstructured":"High-level Petri Nets-Concepts: Definitions and graphical notation. Final Draft International Standard ISO\/IEC 15909 (2000)"},{"issue":"1","key":"34_CR21","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"Genrich, H.J., Lautenbach, K.: System modelling with high-level Petri nets. Theoretical Computer Science\u00a013(1), 109\u2013135 (1981)","journal-title":"Theoretical Computer Science"},{"key":"34_CR22","unstructured":"Liu, S., Zeng, R., He, X.: PIPE-A Modeling Tool for High Level Petri Nets (2011)"},{"key":"34_CR23","unstructured":"Peterson, J.L.: Petri net theory and the modeling of systems. Prentice Hall (1981)"},{"key":"34_CR24","unstructured":"Mortensen, K.H.: Efficient data-structures and algorithms for a coloured Petri nets simulator, pp. 57\u201374 (2001)"},{"key":"34_CR25","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer (1996)"},{"key":"34_CR26","unstructured":"Reisig, W.: Petri Nets. An Introduction. Springer (July 2012)"},{"key":"34_CR27","doi-asserted-by":"crossref","unstructured":"Takala, T.M., Rauhamaa, P., Takala, T.: Survey of 3DUI applications and development challenges, pp. 89\u201396 (2012)","DOI":"10.1109\/3DUI.2012.6184190"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction. Theories, Methods, and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07233-3_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:06:27Z","timestamp":1746263187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07233-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319072326","9783319072333"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07233-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}