Entry last updated: 2016/10/14
Entry last validated: 2016/10/14

Tool homepage:

Tool availability:

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description

WINSIM implements a class of extended high-level Petri nets with time, attributed tokens, data processing and control capabilities for simulation of all kinds of information systems. It supports related Model Description Language (MDL) with imbedded functions for generation of random numbers and random variates and Modeling Control Language (MCL). The system consists of two subsystems creative and executive ones. The creative subsystem is used for preparation and editing of source texts of models in MDL, their compilation with MDL compiler and creation of executable model that becomes part of the system. The executive subsystem is used for parameterization of the created model with MCL , its running and outputting of simulation results. The system can work in all types of Windows OS without the necessity of an installation process. It has a standard GUI and provides fast simulation requiring a few seconds to run sufficiently large and complex models. WINSIM has been used in a number of research projects, MS and PhD theses. The system software and its detailed manual are available on the attached CD in the book of A. Kostin and L. Ilushechkina, Modeling and Simulation of Distributed Systems, World Scientific, 2010.

Contact Information

Girne American University 
via Mersin 10,

Phone:  0090 392 650 2000/1363

Other Remarks

Extended Petri nets, implemented in WINSIM, represent a complete algorithmic system. It means formally that any Turing machine can be described in terms of extended Petri nets. Functionally complete building block of these nets is an elementary net consisting of a transition and incident places. Elementary net implements four fundamental system activities movement of tokens when transition fires, delay, token transformation and control. There are only four types of elementary nets that are proven to be sufficient for modeling of arbitrary centralized and distributed information systems. These are types T, X, Y and I. Detailed description of these nets is given in the book of A. Kostin and L. Ilushechkina, Modeling and Simulation of Distributed Systems, World Scientific, 2010. The book contains numerous examples of carefully commented and solved models of information systems. Among them are models of distributed load balancing, ad hoc wireless mobile network, di stributed mutual exclusion, multicast-based anycast protocol, distributed leader election and model of a distributed logistic system. An example of using Extended Petri nets is given in A. E. Kostin, Y. Fanaeian and H. Al-Wattar, Anycast tree-based routing in mobile wireless sensor networks with multiple sinks, Wireless Networks, Volume 22, Number 2, 2016
[PN Home][*]
The maintainers of this page