High Quality Content by WIKIPEDIA articles! AnyLogic is a multi-method simulation modeling tool developed by XJ Technologies. In the beginning of 1990s there was a big interest in the mathematical approach to modeling and simulation of parallel processes. This approach may be applied to the analysis of correctness of parallel and distributed programs. The Distributed Computer Network (DCN) research group at Saint Petersburg Technical University developed such a software system for the analysis of program correctness; the new tool was named COVERS (Concurrent Verification and Simulation). This system allowed graphical modeling notation for system structure and behavior. The tool was applied for the research granted by Hewlett Packard .

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.