Сети Петри

Coloured Petri Nets - Modeling and validation of concurrent systems

Альфа и Омега любого исследователя, использующего цветные (окрашенные) сети Петри. Большой труд основателя этой концепции Курта Йенсена (Kurt Jensen). Хорошее, современное издание (2009-го года), где он обобщил почти 30-летний опыт разработки, теории и практики цветных сетей Петри. Книга значительно отличается от ранних работ в сторону точности и проработанности концепции.