Abstract
Multi-touch technology has become pervasive in our daily lives, with iPhones, iPads, touch displays, and other devices. It is important to find a user input model that can work for multi-touch gesture recognition and can serve as a building block for modeling other modern input devices (e.g., Leap Motion, gyroscope). We present a novel approach to model multi-touch input using Petri Nets. We formally define our method, explain how it works, and the possibility to extend it for other devices.
Chapter PDF
Similar content being viewed by others
References
Buxton, W.: A three-state model of graphical input. In: Human-computer Interaction-INTERACT 1990, pp. 449–456 (1990)
English, W.K., Engelbart, D.C., Berman, M.L.: Display-Selection Techniques for Text Manipulation. IEEE Transactions on Human Factors in Electronics (1), 5–15 (1967)
Gray, W.D., John, B.E., Atwood, M.E.: Project Ernestine: Validating a GOMS analysis for predicting and explaining real-world task performance. Human–Computer Interaction 8(3), 237–309 (1993)
Pew, R.W., Baron, S.: Perspectives on human performance modelling. Automatica 19(6), 663–676 (1983)
Mackenzie, I.S.: Human-Computer Interaction. An Empirical Research Perspective. Newnes (December 2012)
Bowman, D.A., Kruijff, E., LaViola Jr., J.J., Poupyrev, I.: 3D user interfaces: theory and practice. Addison-Wesley Professional (2004)
Newman, W.M.: A system for interactive graphical programming, pp. 47–54 (1968)
Myers, B.A.: A new model for handling input. ACM Transactions on Information Systems (TOIS) 8(3), 289–320 (1990)
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)
Lao, S., Heng, X., Zhang, G., Ling, Y., Wang, P.: A gestural interaction design model for multi-touch displays, pp. 440–446 (2009)
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)
Lü, H., Li, Y.: Gesture coder: a tool for programming multi-touch gestures by demonstration, pp. 2875–2884 (2012)
Scholliers, C., Hoste, L., Signer, B., De Meuter, W.: Midas: a declarative multi-touch interaction framework, pp. 49–56 (2011)
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 29(5), 514–521 (1999)
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–216 (June 2013)
Spano, L.D., Cisternino, A., Paternò, F.: A compositional model for gesture definition. In: Winckler, M., Forbrig, P., Bernhaupt, R. (eds.) HCSE 2012. LNCS, vol. 7623, pp. 34–52. Springer, Heidelberg (2012)
Spano, L.D., Cisternino, A., Paternò, 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–196 (June 2013)
David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer (November 2010)
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)
High-level Petri Nets-Concepts: Definitions and graphical notation. Final Draft International Standard ISO/IEC 15909 (2000)
Genrich, H.J., Lautenbach, K.: System modelling with high-level Petri nets. Theoretical Computer Science 13(1), 109–135 (1981)
Liu, S., Zeng, R., He, X.: PIPE-A Modeling Tool for High Level Petri Nets (2011)
Peterson, J.L.: Petri net theory and the modeling of systems. Prentice Hall (1981)
Mortensen, K.H.: Efficient data-structures and algorithms for a coloured Petri nets simulator, pp. 57–74 (2001)
Jensen, K., Kristensen, L.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Springer (1996)
Reisig, W.: Petri Nets. An Introduction. Springer (July 2012)
Takala, T.M., Rauhamaa, P., Takala, T.: Survey of 3DUI applications and development challenges, pp. 89–96 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Ortega, F.R., Liu, S., Hernandez, F., Barreto, A., Rishe, N., Adjouadi, M. (2014). PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net. In: Kurosu, M. (eds) Human-Computer Interaction. Theories, Methods, and Tools. HCI 2014. Lecture Notes in Computer Science, vol 8510. Springer, Cham. https://doi.org/10.1007/978-3-319-07233-3_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-07233-3_34
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07232-6
Online ISBN: 978-3-319-07233-3
eBook Packages: Computer ScienceComputer Science (R0)