Stefan Korecko

Learn More
This paper deals with the parallel raytracing part of virtual-reality system PROLAND, developed at the home institution of authors. It describes an actual implementation of the raytracing part and introduces a Coloured Petri Nets model of the implementation. The model is used for an evaluation of the implementation by means of simulation-based performance(More)
SUMMARY This paper describes the PNtool-a tool for a design, analysis and development of concurrent and time-critical systems based on the Petri nets (PN) formalism. The PNtool supports four Petri nets dialects, which are also described in the paper: Generalized Petri nets, Time-basic nets, Evaluative and Coloured Petri nets. The Generalized PN are the(More)
Ray tracing is one of computer graphics methods for achieving the most realistic outputs. Its main disadvantage is high computation demands. Removal of this disadvantage is possible using parallelization due to the fact that the ray tracing method is inherently parallel. Solution presented in this article uses GPGPU (general-purpose computing on graphics(More)
The paper deals with an issue of a design, development and implementation of a fully immersive virtual reality (VR) system and corresponding virtual worlds, specified in an object-oriented fashion. A virtual world object structure, reflecting a division of VR system into subsystems with respect to affected senses, is introduced. It also discusses virtual(More)