{"id":398,"date":"2019-06-05T14:15:50","date_gmt":"2019-06-05T13:15:50","guid":{"rendered":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/?p=398"},"modified":"2019-06-05T14:19:02","modified_gmt":"2019-06-05T13:19:02","slug":"my-lecture-on-asynchronous-computation-at-the-1st-school-on-reaction-systems","status":"publish","type":"post","link":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/2019\/06\/05\/my-lecture-on-asynchronous-computation-at-the-1st-school-on-reaction-systems\/","title":{"rendered":"My lecture on Asynchronous Computation at the 1st School on Reaction Systems"},"content":{"rendered":"<p>The 1st <a href=\"http:\/\/wors2019.mat.umk.pl\/\/school\/\">School on Reaction Systems<\/a> has taken place in historical Toru\u0144, Poland.<\/p>\n<p>Organised by Dr Lukasz Mikulski and Prof Grzegorz Rozenberg at the Nicolaus Copernicus University.<\/p>\n<p>I managed to attend a number of lectures and gave my own lecture on Asynchronous Computation (from the perspective of electronic designer).<\/p>\n<p>Here are the slides:<\/p>\n<p><a href=\"https:\/\/www.staff.ncl.ac.uk\/alex.yakovlev\/home.formal\/talks\/Torun-Yakovlev-lecture-final.pdf\">https:\/\/www.staff.ncl.ac.uk\/alex.yakovlev\/home.formal\/talks\/Torun-Yakovlev-lecture-final.pdf<\/a><\/p>\n<p><strong>Ideas picked up at the 1<sup>st<\/sup> School on Reaction Systems in Torun, Poland<\/strong><\/p>\n<p>Grzegorz Rozenberg\u2019s lecture on Modularity and looking inside the reaction system states.<\/p>\n<ul>\n<li>Some subsets of reactants will be physical \u2013 they form modules.<\/li>\n<li>Stability implies lattice: a state transition is locally stable if the subsets (modules) in the states are isomorphic. These subset structures form partial order, so we have an isomorphism between partial orders. So, structurally, nothing really changes during those transitions \u2013 nothing new!<\/li>\n<li>Biologists call this \u201cadulthood\u201d. It would be nice to have completion detection for that class of equivalence!<\/li>\n<\/ul>\n<p>Paolo Milazzo\u2019s talk (via Skype) on Genetic Regulatory Networks.<\/p>\n<ul>\n<li>Some methods exist in gene regulation for saving energy \u2013 say by using lactose (as some sort of inhibitor)<\/li>\n<li>He talked about sync\/async Boolean networks of regulatory gene networks.<\/li>\n<\/ul>\n<p>Paolo Bottoni on Networks of Reaction Systems.<\/p>\n<ul>\n<li>Basic model \u2013 Environment influences the reaction systems<\/li>\n<li>Here we consider reaction systems influences the environment<\/li>\n<\/ul>\n<p>Robert Brijder on Chemical Reaction Networks.<\/p>\n<p>Hans-Joerg Kreowski on Reaction Systems on Graphs.<\/p>\n<ul>\n<li>Interesting graph transformations as reaction systems.<\/li>\n<li>Examples involved some graph growth (e.g. fractal such as Serpinski graphs)<\/li>\n<\/ul>\n<p>Grzegorz Rozenberg on Zoom Structures.<\/p>\n<ul>\n<li>Interesting way of formalizing the process of knowledge management and acquistioon.<\/li>\n<li>Could be used by people from say drug discovery and other data analytics<\/li>\n<\/ul>\n<p>Alberto Leporati on membrane Computing and P-systems.<\/p>\n<ul>\n<li>Result of action in a membrane is produced to the outside world only whne computation halts.<\/li>\n<li>Question: what if the system is so distributed that we have no ability to guarantee the whole system halts? Can we have partial halts?<\/li>\n<li>Catalysts can limit parallelism \u2013 sounds a bit like some sort of energy or power tokens<\/li>\n<\/ul>\n<p>Maciej Koutny on Petri nets and Reaction Systems<\/p>\n<ul>\n<li>We need not only prevent consumption (use of read arcs) but also prevent (inhibit!) production \u2013 something like \u201cjoint OR causality\u201d or opportunistic merge can help.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The 1st School on Reaction Systems has taken place in historical Toru\u0144, Poland. Organised by Dr Lukasz Mikulski and Prof Grzegorz Rozenberg at the Nicolaus Copernicus University. I managed to attend a number of lectures and gave my own lecture &hellip; <a href=\"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/2019\/06\/05\/my-lecture-on-asynchronous-computation-at-the-1st-school-on-reaction-systems\/\">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":[19,20,1],"tags":[],"class_list":["post-398","post","type-post","status-publish","format-standard","hentry","category-petri-nets","category-reaction-systems","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/398","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=398"}],"version-history":[{"count":6,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/398\/revisions"}],"predecessor-version":[{"id":405,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/posts\/398\/revisions\/405"}],"wp:attachment":[{"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/media?parent=398"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/categories?post=398"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/alexyakovlev\/wp-json\/wp\/v2\/tags?post=398"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}