Языки имитационного моделирования здесь описаны классно. Обычно ограничиваются перечислением наиболее частотных и все. В этом материале языки распределены по отраслям, на которые ориентированы их возможности. Так, отдельно отмечены языки для событий, процессов, активности. Среди названных и коротко описанных - ASPOL , GASP , SOL и другие. Коротко, но для экзамена вполне хватит.