and any combination of these approaches within a single model. The tool was named AnyLogic, because it supported all three well-known modeling approaches: system dynamics, discrete event simulation, Agent-based modeling.
#Anylogic car library change lane software
The resulting software was released in 2000 and featured the latest information technologies: an object-oriented approach, elements of the UML standard, the use of Java, and a modern GUI. Development emphasis was placed on applied methods: simulation, performance analysis, behavior of stochastic systems, optimization and visualization. In 1998 the success of this research inspired the DCN laboratory to organize a company with the mission of developing a new generation of simulation software. The tool was developed with the help of a research grant from Hewlett-Packard.
This system allowed graphical modeling notation to be used for describing system structure and behavior.
#Anylogic car library change lane verification
The Distributed Computer Network (DCN) research group at Saint Petersburg Polytechnic University developed a software system for the analysis of program correctness the new tool was named COVERS (Concurrent Verification and Simulation). This approach may be applied to the analysis of correctness of parallel and distributed programs.