Design and evaluation of a multi-user virtual audio chat
Future Generation Computer Systems - Special section: Selected papers from the TERENA networking conference 2002
Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Modeling of discrete event systems: A holistic and incremental approach using Petri nets
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Modeling And Analysis Of Distributed Multimedia Synchronization By Extended Fuzzy-Timing Petri Nets
Journal of Integrated Design & Process Science
Fuzzy-Timing Petri Nets with Choice Probabilities for Response Time Analysis
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
On the use of Petri nets for the computation of completion time distribution for short TCP transfers
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Applying fuzzy differential equations to the performance analysis of service composition
ICIC'10 Proceedings of the 6th international conference on Advanced intelligent computing theories and applications: intelligent computing
Workflow analysis based on fuzzy temporal workflow nets
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Analysis of temporal uncertainty of trains converging based on fuzzy time petri nets
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
A novel reduction approach for Petri net systems based on matching theory
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Despite their attractive properties, networked virtual environments (net-VEs) are notoriously difficult to design, implement, and test due to the concurrency, real-time and networking features in these systems. Net-VEs demand high quality-of-service (QoS) requirements on the network to maintain natural and real-time interactions among users. The current practice for net-VE design is basically trial and error, empirical, and totally lacks formal methods. This paper proposes to apply a Petri net formal modeling technique to a net-VE-NICE (narrative immersive constructionist/collaborative environment), predict the net-VE performance based on simulation, and improve the net-VE performance. NICE is essentially a network of collaborative virtual reality systems called the CAVE-(CAVE automatic virtual environment). First, we introduce extended fuzzy-timing Petri net (EFTN) modeling and analysis techniques. Then, we present EFTN models of the CAVE, NICE, and transport layer protocol used in NICE: transmission control protocol (TCP). We show the possibility analysis based on the EFTN model for the CAVE. Then, by using these models and design/CPN as the simulation tool, we conducted various simulations to study real-time behavior, network effects and performance (latencies and jitters) of NICE. Our simulation results are consistent with experimental data