PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net

Abstract

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.

3D Navigation with Six Degrees-of-Freedom using a Multi-Touch Display

“…In The IRML specification used in PeNTa can be found in Appendix E. For an expanded discussion, see [159,160].…”