{"id":174,"date":"2014-07-21T18:16:10","date_gmt":"2014-07-21T17:16:10","guid":{"rendered":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/?p=174"},"modified":"2014-07-21T18:16:10","modified_gmt":"2014-07-21T17:16:10","slug":"new-book-on-modelling-concurrent-systems-using-petri-nets","status":"publish","type":"post","link":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/2014\/07\/21\/new-book-on-modelling-concurrent-systems-using-petri-nets\/","title":{"rendered":"New Book on Modelling Concurrent Systems using Petri nets"},"content":{"rendered":"<p>New book has been published in Saint Petersburg, by\u00a0Professional Literature.<\/p>\n<p id=\"publication:199747\">Marakhovsky VB, Rozenblyum LYa, Yakovlev AV.\u00a0<em><a title=\"view complete information on this publication\" href=\"http:\/\/www.ncl.ac.uk\/eee\/research\/publication\/199747\"><strong>\u041c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u044b\u0445 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432. \u0421\u0435\u0442\u0438 \u041f\u0435\u0442\u0440\u0438. (The book is in Russian language)<\/strong><strong>(Modelling Concurrent Processes. Petri nets)\u00a0<\/strong><\/a>.<\/em>\u00a0Saint Petersburg: \u0421\u041f\u0431: \u041f\u0440\u043e\u0444\u0435\u0441\u0441\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0430, \u0410\u0439\u0422\u0438-\u041f\u043e\u0434\u0433\u043e\u0442\u043e\u0432\u043a\u0430 (Professional Literature, www.profliteratura.ru), 2014.<\/p>\n<p><a href=\"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/files\/2014\/07\/marahovsky2014.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-full wp-image-176\" alt=\"marahovsky2014\" src=\"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/files\/2014\/07\/marahovsky2014.png\" width=\"100\" height=\"149\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>The book is in the Series of Selected Titles in Computer Science. It\u00a0presents a\u00a0course for Systems Architects and Programmers, Systems Analysts and Designers of Complex Control Systems.<\/p>\n<p>Practically any more or less complex information or control system has components that operate concurrently, in other words in parallel. This book presents methods for formal dynamical modelling of parallel\u00a0asynchronous processes. Such processes can be found in various application areas, such as computations, control, interfaces, programming, robotics or artificial intelligence.<\/p>\n<p>It is emphasized in this book that there is an important relationship between a structural model, which reflects static properties of the modelled system, and its dynamic (behavioural) model. This two-pronged fundamental approach is suitable at all stages of system design &#8211; specification, analysis, implementation and verification.<\/p>\n<p>The book has numerous examples and exercises, which makes it a good supporting text for courses in various syllabi involving modelling information and control systems.<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>New book has been published in Saint Petersburg, by\u00a0Professional Literature. Marakhovsky VB, Rozenblyum LYa, Yakovlev AV.\u00a0\u041c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u044b\u0445 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432. \u0421\u0435\u0442\u0438 \u041f\u0435\u0442\u0440\u0438. (The book is in Russian language)(Modelling Concurrent Processes. Petri nets)\u00a0.\u00a0Saint Petersburg: \u0421\u041f\u0431: \u041f\u0440\u043e\u0444\u0435\u0441\u0441\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u0430\u044f \u043b\u0438\u0442\u0435\u0440\u0430\u0442\u0443\u0440\u0430, \u0410\u0439\u0422\u0438-\u041f\u043e\u0434\u0433\u043e\u0442\u043e\u0432\u043a\u0430 (Professional Literature, www.profliteratura.ru), 2014. &nbsp; &hellip; <a href=\"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/2014\/07\/21\/new-book-on-modelling-concurrent-systems-using-petri-nets\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":4763,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12,3,1],"tags":[],"class_list":["post-174","post","type-post","status-publish","format-standard","hentry","category-electromagnetism","category-energetic-computing","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/174","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/users\/4763"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/comments?post=174"}],"version-history":[{"count":2,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/174\/revisions"}],"predecessor-version":[{"id":177,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/174\/revisions\/177"}],"wp:attachment":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/media?parent=174"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/categories?post=174"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/tags?post=174"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}