Modeling and Analysis of a Virtual Reality System with Time Petri Nets