Using Petri Nets to specify collaborative three dimensional interaction
Towards the use of collaborative virtual environments to crew unmanned oil platforms