Сети Петри в моделированиии и управлении - Лескин А.А. и др (Наука, 1989)