A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal methods for modeling and analysis of virtual environments is highly desirable. In the past, Petri-net models have led to good empirical results in the automatic veri cation of concurrent and real-time systems. We applied a timed extension of Petri nets to modeling and analysis of the CAVE TM1 virtual environment at thedoi:10.1109/icse.1998.671100 dblp:conf/icse/MascarenhasKBK98 fatcat:sqyfh7x7b5eklop2bw6nvy2y7m