For the most recent entries see the Petri Nets Newsletter.

An approach to Petri net based formal modeling of user interactions from X3D content.

Ying, Jianghui

In: Web3D '06: Proceedings of the eleventh international conference on 3D web technology, pages 153-157. ACM Press, 2006.

Abstract: X3D standard provides a well defined and well controlled runtime model for user interaction and scripting. Information captured from X3D content, combined with the characteristics of X3D viewers, can be used to formally describe and model user interface and user interactions. Virtual Environments (VEs) and entities they contain are accessed using interaction techniques supported by available input and output devices. The interaction process can be modeled using Petri nets. In this paper, we give a formal definition of interaction Petri net model (IPN). The basic structure of IPN can be automatically generated from information extracted from X3D content. The generated Petri net model is analyzed to provide information about the 3D interface presented to a user while viewing X3D content. The formal description provides a sound mathematics for the analysis of user interface characteristics.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography