A complete model for collaborative virtual environment integrating extended fuzzy-timing Petri nets with role and agent technology

Modeling collaborative virtual environment completely has two emphasizes including static definition and dynamic state transition representation. This paper presents a new complete model called ERACVE integrating fuzzy-timing Petri nets with role and agent technology, which involves two parts. A fundamental part defines CVE as a five-tuple containing all important components and give series of formal definition one by one. To explicitly represent dynamic state transition which is according with timing aging to satisfy 4D and real-time requirements, an extended fuzzy-timing Petri nets formal modeling technique is employed in modeling state transitions of intelligent entity in running state, collaborative federation, and collaborative activity. Also, an application of ERACVE to shared object concurrent manipulation is given to verify this model's validity. Integrated fundamental part with expanded part, ERACVE is a complete model for CVE not only on formal static definition but also on dynamic state transition description.