PetriNect: A tool for executable modeling of gestural interaction

Romuald Deshayes (1) , Tom Mens (1) , Philippe Palanque (2, 3)

1 UMons - Université de Mons
2 IRIT-ICS - Interactive Critical Systems
3 UT3 - Université Toulouse III - Paul Sabatier

In this showpiece we demonstrate PetriNect, an instance of a generic layered framework that we have developed for the specification and use of executable models of gestural interaction with virtual objects. The framework is built on top of Petshop and uses ICO models, a variant of high-level Petri nets. PetriNect uses the Kinect as input device for allowing the user to interact gesturally with virtual objects. We present two simple proof-of-concept prototype applications that have been developed for the purpose of this showpiece: a simple Pong game, and the interaction with a virtual bookshelf.

Mots clés: PetriNect; Virtual objects

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

Romuald Deshayes, Tom Mens, Philippe Palanque. PetriNect: A tool for executable modeling of gestural interaction. Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), Sep 2013, San Jose, CA, United States. pp.197-198, ⟨10.1109/VLHCC.2013.6645266⟩. ⟨hal-01178577⟩