Е. Л. Веретельникова. Теоретическая информатика. Теория сетей Петри и моделирование систем. М.:Новосибирский государственный технический университет, 2018