XML and Petri Nets in specification and generation of mobile HCI

We propose, in this paper, a global approach, based on a formal modeling of the mobile Human-Computer Interaction. It aims to analyze an ubiquitous environment using ontology, described in OWL; and modeling the environment by using a combination of Petri Nets and XML as the Petri Net Markup Language (PNML). In our research, we are interested particularly in the integration of OWL with PNML. How to ensure data exchange between the analyzing and modeling phases of a Human-Computer System? And how can the OWL data feed our Petri Nets?