In: Tatyana Yakhno (Ed.): Lecture Notes in Computer Science, Vol. 3261: Advances in Information Systems: Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004, pages 312-321. Springer-Verlag, 2004.
Abstract: A simulation system Winsim for modeling of parallel and distributed systems is presented. Winsim is based on a class of extended Petri nets, has a simple graphical user interface, high level programming language possibilities for complex data processing, enables simulation of systems consisting of a large number of processes, and provides fast simulation. The paper considers the basic features of the system, outlines its architecture, and gives an example of a simulation model of a distributed mutual exclusion algorithm developed and implemented in Winsim.