Petri Nets For Virtual Reality System :A Rule-Based Approach

Abstract

These presenting methods such as facts, rules, and propositions and so on require more adaptive complexity demand and more flexible representation and execution strategies. Petri nets are graphical and mathematical tools. Models o f which providing features for the analysis of behavior properties and performance evaluation, as well as for systematic construction of discrete-event simulators and controllers. So using Petri nets give the possibility for formally analyzing the behaviors of mutual exclusion of shared resources and periodic synchronization of frame control. In this paper, we give a guidance of Petri nets to model the mutual- exclusive and periodic synchronization function used in a VR system and then a set of production rules is proposed to implement the objects relations which are composed a VR system. Besides, apply the components such as reach ability set to construct Petri nets can help maintain the complex system