PetriNect: A tool for executable modeling of gestural interaction

Abstract : 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.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, July 20, 2015 - 1:52:44 PM
Last modification on : Friday, October 11, 2019 - 8:22:47 PM
Long-term archiving on : Wednesday, October 21, 2015 - 10:50:53 AM


Files produced by the author(s)


  • HAL Id : hal-01178577, version 1
  • OATAO : 13007



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. ⟨hal-01178577⟩



Record views


Files downloads