Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 5, 2000, Pages 737-756

  Zhou, Yi ^a,b   Murata, Tadao ^a,b   DeFanti, Thomas A ^b  

^a IEEE   (United States)

^b University of Illinois at Chicago   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXTENDED FUZZY TIMING PETRI NET; NARRATIVE IMMERSIVE COLLABORATIVE ENVIRONMENT; NETWORKED VIRTUAL ENVIRONMENT; QUALITY OF SERVICE REQUIREMENTS; TRANSMISSION CONTROL PROTOCOL;

COMPUTER NETWORKS; COMPUTER SIMULATION; FUZZY SETS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PETRI NETS; REAL TIME SYSTEMS; SYSTEMS ANALYSIS;

VIRTUAL REALITY;

EID: 0034297663     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.875449     Document Type: Article

References (40)

1. S. Singhal and M. Zyda, Networked Virtual Environments: Design and Implementation. Reading, MA: Addison-Wesley, July 1999.
2. E. J. Berglund and D. R. Cheriton, "Amaze: A multiplayer computer game," IEEE Softw., vol. 2, pp. 30-39, May 1985.
3. D. Miller and J. A. Thorpe, "SIMNET: The advent of simulator networking," Proc. IEEE, vol. 83, pp. 1114-1123, Aug. 1995.
4. A. Johnson, T. Moher, J. Leigh, and Y. Lin, "QuickWorlds: Teacher driven VR worlds in an elementary school curriculum," presented at the Proc. SIGGRAPH 2000-Educators Program, New Orleans, LA, July 23-28, 2000.
5. C. Carlsson and O. Hagsand, "DIVE-A multi-user virtual reality system," in Proc. IEEE Virtual Reality Ann. Int. Symp., Seattle, WA, Sept. 1993, pp. 394-400.
6. G. Singh, L. Serra, and W. Prg et al., "BrickNet: A software toolkit for network-based virtual environment," Presence: Teleoperators and Virtual Environments, vol. 3, no. 1, pp. 19-34, Winter 1993.
7. C. Shaw, J. Liang, M. Green, and Y. Sun, "The decoupled simulation model for virtual reality systems," in Human Factors in Computing Systems CHI'92 Conf. Proc., Monterey, CA, May 1992, pp. 321-328.
8. P. Strauss and R. Carey, "An object-oriented 3D graphic toolkit," in Proc. ACM Computer Graphics Conf. (SIGGRAPH'92), 1992, pp. 341-349.
9. G. J. Kim, K. C. Kang, H. Kim, and J. Lee, "Software engineering of virtual worlds," in Proc. ACM Symp. Virtual Reality Software and Technology 1998, 1998, pp. 131-138.
10. D. Pape, CAVE User's Guide: Electronic Visualization Laboratory, Univ. Illinois at Chicago, Dec. 1996.
11. C. Cruz-Neira, D. J. Sandin, and T. A. DeFanti, "Virtual reality: The design and implementation of the CAVE," in Proc. SIGGRAPH'93 Computer Graphics Conf. ACM SIGGRAPH, Aug. 1993, pp. 135-142.
12. T. A. DeFanti, D. J. Sandin, and C. Cruz-Neira, "A 'room' with a 'view'," IEEE Spect., pp. 30-33, Oct. 1993.
13. M. Roussos, A. Johnson, T. Moher, J. Leigh, C. Vasilakis, and C. Barnes, "Learning and building together in an immersive virtual world," Presence, vol. 8, no. 3, pp. 247-263, June 1999.
14. A. Johnson, M. Roussos, J. Leigh, C. Barnes, C. Vasilakis, and T. Moher, "The NICE project: Learning together in a virtual world," in Proc. VRAIS'98, Atlanta, GA, Mar. 14-18, 1998, pp. 176-183.
15. T. Murata, "Temporal uncertainty and fuzzy-timing high-level Petri nets," in Application and Theory of Petri Nets, Lecture Notes in Computer Science. New York: Springer-Verlag, June 1996, vol. 1091, pp. 11-28.
16. Y. Zhou and T. Murata, "Petri net model with fuzzy-timing and fuzzy-metric," Special Issue on Fuzzy Petri Nets, Int. J. Intell. Syst., vol. 14, no. 8, pp. 719-746, Aug. 1999.
17. P. Merlin, "A Study of the Recoverability of Computer Systems," Ph.D. dissertation, Computer Science Dept., Univ. California, Irvine, CA, 1974.
18. R. Mascarenhas, D. Karumuri, U. Buy, and R. Kenyon, "Modeling and analysis of a virtual reality system with time Petri nets," in Proc. 19th Int. Conf. Software Engineering, Kyoto, Japan, Apr. 1998, pp. 33-42.
19. E. Juan, J. P. Tsai, T. Murata, and Y. Zhou, Reduction methods for real-time systems using delay time Petri nets, in IEEE Trans. Softw. Eng., to be published.
20. Y. Zhou, T. Murata, and J. Tsai, "Reduction Methods for Real-Time Systems Using Fuzzy Timing Petri Nets," EECS Dept., Univ. Ilinois, Chicago, Tech. Rep., 2000.
21. K. Jensen. Design/CPN Online. Dept. Computer Science, Univ. Aarhus, Denmark. [Online]. Available: http://www.daimi.au.dk/designCPN/
22. K. Park and R. Kenyon, "Effects of network characteristics on human performance in a collaborative virtual environment," presented at the Proc. IEEE VR'99, Houston, TX, Mar. 13-17, 1999.
23. R. Johnsonbaugh and T. Murata, "Additional methods for reduction and expansion of marked graphs," IEEE Trans. Circuits Syst., vol. CAS-28, pp. 1009-1024, Oct. 1981.
24. T. Murata and J. Y. Koh, "Reduction and expansion of live and safe marked graphs," IEEE Trans. Circuits Syst., vol. CAS-27, pp. 68-70, Jan. 1980.
25. H. Lee-Kwang and J. Favrel, "Hierarchical reduction methods for analysis and decomposition of Petri nets," IEEE Trans. Syst., Man, Cybern., vol. SMC-15, pp. 272-280, Mar. 1985.
26. H. Lee-Kwang, J. Favrel, and P. Baptiste, "Generalized Petri net reduction method," IEEE Trans. Syst., Man, Cybern., vol. SMC-17, pp. 297-303, Apr. 1987.
27. G. Berthelot, "Checking properties of nets using transformation," in Advance in Petri Nets 1985. New York: Springer-Verlag, 1987, vol. 222, pp. 19-40. LNCS.
28. S. Haddad, "A reduction theory for colored Petri nets," in Advances in Petri Nets. New York: Springer-Verlag, 1990, vol. 424, pp. 209-235.
29. S. Duri, U. Buy, R. Devarapalli, and S. M. Shatz, "Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada," ACM Trans. Softw. Eng. Method., vol. 3, no. 4, pp. 340-380, Oct. 1994.
30. S. M. Shatz, S. Tu, T. Murata, and S. Duri, "An application of Petri net reduction for Ada tasking deadlock analysis," IEEE Trans. Parallel Distrib. Syst., vol. 7, pp. 1307-1322, Dec. 1996.
31. R. H. Sloan and U. Buy, "Reduction rules for time Petri nets," Acta Inform., vol. 33, pp. 687-706, Oct. 1996.
32. R. Valette, J. Cardoso, and D. Dubois, "Monitoring manufacturing systems by means of Petri nets with imprecise markings," in IEEE Int. Symp. Intell. Control 1989, Albany, NY, Sept., 25-26, pp. 233-238.
33. D. Dubios and H. Prade, "Processing fuzzy temporal knowledge," IEEE Trans. Syst., Man, Cybern., vol. 19, no. 4, pp. 729-744, 1989.
34. S. Chanas and M. Nowakski, "Single value simulation of fuzzy variable," Fuzzy Sets Syst., no. 25, pp. 43-57.
35. Y. Zhou, "Performance modeling and analysis by using extended fuzzy-timing Petri nets," Ph.D. dissertation, EECS Dept., Univ. Ilinois, Chicago, 2000.
36. P. Senac and M. Diaz, "The HTSPIX model and applications," in Proc. Workshop on Multimedia and Concurrency (held with the 1997 Int. Conf. Application and Theory of Petri Nets), Toulouse, France, June 1997.
37. M. Diaz and P. Senac, "Time stream Petri nets: A model for multimedia streams synchronization," in Proc. 1st Int. Conf. Multi-Media Modeling, Singapore, Nov. 1993, pp. 257-273.
38. T. Little and A. Ghafoor, "Synchronization and storage models for multimedia objects," IEEE J. Select. Areas Commun., vol. 8, pp. 413-427, Apr. 1990.
39. R. Koymans, "Specifying Message Passing and Timed-Critical Systems with Temporal Logic," Ph.D. dissertation, Eindhoven Univ. Technol., Eindhoven, The Netherlands, 1989.
40. R. Alur and T. A. Henzinger, "A really temporal logic," in Proc. 30th Ann. Symp. Foundations of Computer Science, 1989, pp. 164-169.