Сети Петри

Coloured Petri Nets - Modeling and validation of concurrent systems

2016-08-12T17:58:50+03:00 Альфа и Омега любого исследователя, использующего цветные (окрашенные) сети Петри. Большой труд основателя этой концепции Курта Йенсена (Kurt Jensen). Хорошее, современное издание (2009-го года), где он обобщил почти 30-летний опыт разработки, теории и практики цветных сетей Петри. Книга значительно отличается от ранних работ в сторону точности и проработанности концепции. Coloured Petri Nets - Modeling and validation of concurrent systems
Иван Артамонов

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