Сам я не пользовался им, но так просмотрел, вроде неплохой: тем много, каждая тема описывается кратко, но понятно, присутствуют примеры и доказательства, ну вообщем советую посмотреть....
AnyLogic - программное обеспечение для имитационного моделирования сложных систем и процессов, разработанное российской компанией «Экс Джей Текнолоджис» ( XJ Technologies). Программа обладает графической средой пользователя и использует язык Java для разработки моделей.