{"id":366559,"date":"2024-05-21T03:02:35","date_gmt":"2024-05-21T03:02:35","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=366559"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=366559","title":{"rendered":"<span>\u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f WF2M \u0441\u0435\u0442\u0438 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u041a\u043e\u0444\u0435-\u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0434\u0432\u0430 \u0443\u0447\u0435\u043d\u044b\u0445<\/span>"},"content":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/487\/9b2\/08a\/4879b208a3da739b2fca37eed61058ab.png\" width=\"553\" height=\"290\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/487\/9b2\/08a\/4879b208a3da739b2fca37eed61058ab.png\"\/><\/figure>\n<p>\u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f WF2M \u0441\u0435\u0442\u044c (From workflow\u00a0to mathematic) \u0441 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u043c, \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0432\u0430\u044e\u0449\u0438\u043c \u0440\u0430\u0441\u0447\u0435\u0442 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u043f\u043e \u0441\u0435\u0442\u0438 workflow [WF2M23]. WF2M \u0441\u0435\u0442\u044c \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0430 \u043d\u0430 \u0415\u0420\u0421 (Event-Driven Process Chain) \u2013 \u0441\u043e\u0431\u044b\u0442\u0438\u0439\u043d\u0430\u044f \u0446\u0435\u043f\u043e\u0447\u043a\u0430 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432: \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439, \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u043c\u044b\u0445 \u0441\u043e\u0431\u044b\u0442\u0438\u044f\u043c\u0438.<\/p>\n<p>\u0420\u0430\u043d\u0435\u0435 [CCSWF24] \u0431\u044b\u043b \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u00ab\u043a\u043e\u0444\u0435-\u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0443\u0447\u0435\u043d\u044b\u0439\u00bb &#8212; \u043a\u0430\u043a \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430 \u0430\u043b\u0433\u0435\u0431\u0440\u044b \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 CCS. \u0422\u0435\u043a\u0443\u0449\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 WF2M \u0441\u0435\u0442\u0438 \u0434\u043e\u043f\u043e\u043b\u043d\u0435\u043d \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435\u043c \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u0443\u0447\u0451\u043d\u043e\u0433\u043e, \u0442.\u0435. \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u0431\u043e\u043b\u0435\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0439 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439: \u041a\u043e\u0444\u0435-\u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0434\u0432\u0430 \u0443\u0447\u0435\u043d\u044b\u0445. \u041d\u0430\u0441\u0442\u043e\u044f\u0449\u0443\u044e \u0441\u0442\u0430\u0442\u044c\u044e \u043c\u043e\u0436\u043d\u043e \u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u043a\u0430\u043a \u0430\u043f\u0440\u043e\u0431\u0430\u0446\u0438\u044e [WF2M23] \u043d\u0430 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0438 [CCSWF24].<\/p>\n<p>\u0421\u0435\u0442\u044c WF2M \u0434\u043e\u043b\u0436\u043d\u0430 \u0440\u0435\u0448\u0430\u0442\u044c \u0437\u0430\u0434\u0430\u0447\u0443, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043f\u044b\u0442\u0430\u043b\u0430\u0441\u044c \u0440\u0435\u0448\u0438\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430 (\u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 \/ \u0442\u0435\u043e\u0440\u0438\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432): \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u0432 workflow, \u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u044b\u0445 \u0438 \u0441 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0446\u0438\u0435\u0439 \u0437\u0430 \u0440\u0435\u0441\u0443\u0440\u0441 (\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044f, \u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0435, \u0440\u0435\u0430\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0438 \u0442.\u043f.). \u041f\u043e\u043a\u0430\u0437\u0430\u043d \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 WF2M \u0441\u0435\u0442\u0438<strong> <\/strong>\u0447\u0435\u0440\u0435\u0437 \u00ab\u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u00bb \u2013 \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043f\u043e \u0432\u043d\u0435\u0448\u043d\u0435\u043c\u0443 \u0441\u0438\u0433\u043d\u0430\u043b\u0443 (\u043f\u043e\u0433\u043b\u043e\u0449\u0435\u043d\u0438\u0435 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u043e\u043c). \u0421\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u044b, \u0432\u043a\u043b. or\\ and &#8212; join \u0431\u044b\u043b\u0438 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u044b \u0432 [WF2M23] <a href=\"https:\/\/habr.com\/ru\/articles\/781124\/\" rel=\"noopener noreferrer nofollow\"><strong>WF2M \u0441\u0435\u0442\u044c. \u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c \u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 workflow<\/strong><\/a><\/p>\n<p>\u041e\u0434\u0438\u043d \u0438\u0437 \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0445 \u043f\u043e\u0434\u0445\u043e\u0434\u043e\u0432 \u0432 WF2M \u0441\u0435\u0442\u0438 \u2013 \u044d\u0442\u043e<strong> <\/strong>\u0443\u043f\u0440\u043e\u0449\u0435\u043d\u0438\u0435 \u043b\u043e\u0433\u0438\u043a\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0432\u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435 \u043e\u0442\u043a\u0430\u0437\u0430 \u043e\u0442 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0448\u043b\u044e\u0437\u043e\u0432 (Exclusive, Inclusive, Parallel Gateway) \u0432 \u043f\u043e\u043b\u044c\u0437\u0443 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u0439 (\u0441\u043e\u0431\u044b\u0442\u0438\u0439) \u0432 \u0432\u0435\u0442\u0432\u044f\u0445 (\u0434\u0443\u0433\u0430\u0445 \u0433\u0440\u0430\u0444\u0430), \u0442.\u0435. \u00ab\u043f\u0440\u043e\u0441\u0442\u0430\u044f \u0440\u0430\u0437\u0432\u0438\u043b\u043a\u0430 \u043d\u0430 \u0434\u0443\u0433\u0438\u00bb + \u00ab\u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \\ \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0432 \u043a\u0430\u0436\u0434\u043e\u0439 \u0434\u0443\u0433\u0435\u00bb (\u0444\u0438\u043b\u044c\u0442\u0440 \u0441 \u043e\u0434\u043d\u0438\u043c \u0432\u0445\u043e\u0434\u043e\u043c \u0438 \u0432\u044b\u0445\u043e\u0434\u043e\u043c) \u0432\u043c\u0435\u0441\u0442\u043e \u043e\u0434\u043d\u043e\u0433\u043e \u0441\u043b\u043e\u0436\u043d\u043e\u0433\u043e \u0448\u043b\u044e\u0437\u0430 (\u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0432\u0445\u043e\u0434\u043e\u0432 \\ \u0432\u044b\u0445\u043e\u0434\u043e\u0432 \u043f\u043b\u044e\u0441 \u0441\u043b\u043e\u0436\u043d\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0443\u0435\u043c\u0430\u044f \u043b\u043e\u0433\u0438\u043a\u0430 \u0438\u0445 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432). <\/p>\n<h3>1. \u041c\u0430\u0442\u0440\u0438\u0446\u0430 \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438 WF2M<\/h3>\n<p>\u041f\u0440\u043e\u0441\u0442\u044b\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b (\u043c\u043e\u0434\u0435\u043b\u0438) \u043c\u043e\u0436\u043d\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u043e\u0439, \u0432\u043a\u043b\u044e\u0447\u0430\u044f \u0433\u0440\u0430\u0444\u044b \u0438 \u0438\u0445 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438\\\u0438\u043d\u0446\u0438\u0434\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438\\\u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u043e\u0441\u0442\u0438 (\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432). \u0414\u043b\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c &#8212; workflow, \u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u0442\u0440\u0435\u0431\u0443\u044e\u0449\u0438\u0445 \u043b\u043e\u0433\u0438\u043a\u0443 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u043f\u043e\u0442\u043e\u043a\u043e\u0432, \u0432\u043a\u043b\u044e\u0447\u0430\u044f or- join, and-join, \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u043d\u0430\u0434\u0441\u0442\u0440\u043e\u0439\u043a\u0430 \u0432 \u0432\u0438\u0434\u0435 \u0430\u043b\u0433\u0435\u0431\u0440 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432, \u0441\u0435\u0442\u0435\u0439 \u041f\u0435\u0442\u0440\u0438, WF2M \u0438 \u0434\u0440. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0434\u043b\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 workflow \u0441\u0438\u0441\u0442\u0435\u043c (\u0437\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0438\u0445) \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043d\u0438 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0433\u043e \u043c\u0430\u0442\u0440\u0438\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0433\u0440\u0430\u0444\u043e\u0432, \u043d\u0438 \u0431\u0443\u043b\u0435\u0432\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b, \u043d\u0438 \u0438\u043d\u044b\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438.\u00a0 <\/p>\n<h4>1.1 \u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435<\/h4>\n<p><strong>\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0433\u0440\u0430\u0444\u043e\u0432 <\/strong>[XOM09].<strong> <\/strong>\u041e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0433\u0440\u0430\u0444 (\u043e\u0440\u0433\u0440\u0430\u0444) \u0438\u0437 N \u0443\u0437\u043b\u043e\u0432 (i = 1, \u2026 N) \u0438 M \u0440\u0435\u0431\u0435\u0440 (j = 1, \u2026 M). \u0420\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0433\u0440\u0430\u0444\u044b \u0431\u0435\u0437 \u043a\u0440\u0430\u0442\u043d\u044b\u0445 \u0440\u0435\u0431\u0435\u0440. <\/p>\n<p><strong>\u041c\u0430\u0442\u0440\u0438\u0446\u0430 \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438<\/strong>: \u043c\u0430\u0442\u0440\u0438\u0446\u0430 NxN, \u0433\u0434\u0435<\/p>\n<p>a(i,j) = 1, \u0435\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043e\u0442 i-\u0433\u043e \u0443\u0437\u043b\u0430 (\u0441\u0442\u0440\u043e\u043a\u0430 \u043c\u0430\u0442\u0440\u0438\u0446\u044b) \u043a j-\u0442\u043e\u043c\u0443 (\u0441\u0442\u043e\u043b\u0431\u0435\u0446 \u043c\u0430\u0442\u0440\u0438\u0446\u044b), \u0442.\u0435. \u0438\u0441\u0445\u043e\u0434\u044f\u0449\u0438\u0435 \u043e\u0442 i-\u0433\u043e \u0443\u0437\u043b\u0430 \u0441\u0432\u044f\u0437\u0438; <\/p>\n<p>a(i,j) = 0, \u0435\u0441\u043b\u0438 i-\u044b\u0439 (\u0441\u0442\u0440\u043e\u043a\u0430) \u0443\u0437\u0435\u043b \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d \u0441 j-\u044b\u043c (\u0441\u0442\u043e\u043b\u0431\u0435\u0446).<\/p>\n<p>\u041e\u0431\u0449\u0435\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0440\u0430\u0441\u0447\u0435\u0442\u0430 \u0448\u0430\u0433\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 (\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f). \u0421\u043c\u043e\u0442\u0440\u0438\u043c \u0442\u0435\u043a\u0443\u0449\u0443\u044e \u043c\u0430\u0440\u043a\u0438\u0440\u043e\u0432\u043a\u0443, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u0443\u044e, \u0441\u043c. \u0440\u0438\u0441. 2.1. \u041f\u0435\u0440\u0432\u0430\u044f \u0435\u0434\u0438\u043d\u0438\u0446\u0430 {<strong>1<\/strong>,0,0 \u2026} \u0433\u043e\u0432\u043e\u0440\u0438\u0442, \u0447\u0442\u043e \u043c\u0430\u0440\u043a\u0435\u0440 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0443\u0437\u043b\u0435. \u041d\u0430\u0445\u043e\u0434\u0438\u043c \u0432 \u043c\u0430\u0442\u0440\u0438\u0446\u0435 \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438 \u0441\u0442\u0440\u043e\u043a\u0443, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0443\u044e \u044d\u0442\u043e\u043c\u0443 \u0443\u0437\u043b\u0443 (\u043f\u0435\u0440\u0432\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u043c\u0430\u0442\u0440\u0438\u0446\u044b). \u0421\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0441\u0442\u0440\u043e\u043a\u0438 \u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c, \u0447\u0442\u043e \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0448\u0430\u0433\u0435 \u043c\u0430\u0440\u043a\u0435\u0440 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0437\u043c\u043d\u043e\u0436\u0435\u043d \u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d \u0432 \u0443\u0437\u043b\u044b \u04401 \u0438 \u04401&#8242;.<\/p>\n<h4>1.2 &#171;WF2M &#8212; \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435&#187; \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438<\/h4>\n<p><strong>\u0421\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440.<\/strong> a(i,j) \u043c\u043e\u0436\u0435\u0442 \u0438\u043c\u0435\u0442\u044c \u0434\u0440\u043e\u0431\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0449\u0435\u0435 \u00ab\u0432\u0435\u0441 \u043c\u0430\u0440\u043a\u0435\u0440\u0430\u00bb, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0443 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 and \u2013 join \u0434\u043b\u044f \u0434\u0432\u0443\u0445 \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0445 \u0432\u0435\u0442\u0432\u0435\u0439 \u043a\u0430\u0436\u0434\u0430\u044f \u0432\u0445\u043e\u0434\u044f\u0449\u0430\u044f \u0434\u0443\u0433\u0430 \u0431\u0443\u0434\u0435\u0442 \u0438\u043c\u0435\u0442\u044c \u0432\u0435\u0441 1\/2. \u041f\u0440\u0438 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u0438 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0443\u0437\u043b\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 and \u2013 join \u0432\u0435\u0441\u0430 \u0443\u0437\u043b\u0430 (\u0442\u0435\u043a\u0443\u0449\u0435\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430) \u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0434\u0443\u0433\u0438 \u0441\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u044e\u0442\u0441\u044f, \u043f\u0440\u0438 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u0438 \u043f\u043e\u0441\u043b\u0435 \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u00ab1\u00bb \u043c\u0430\u0440\u043a\u0435\u0440 (\u00ab\u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u044b\u0439\u00bb) \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u0432 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440 (\u0443\u0437\u0435\u043b and \u2013 join).<\/p>\n<p><strong>\u0410\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440.<\/strong> a(i,j) \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u041e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u00ab-1\u00bb \u043f\u043e\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u043c\u0443\u044e \u044f\u0447\u0435\u0439\u043a\u0443. \u0415\u0441\u043b\u0438 \u0432 \u044f\u0447\u0435\u0439\u043a\u0435 \u0431\u044b\u043b\u0430 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u0430 \u00ab1\u00bb (\u043c\u0430\u0440\u043a\u0435\u0440 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0443\u0437\u043b\u0435), \u0442\u043e 1 + (-1) = 0, \u0442.\u0435. \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u043f\u043e\u0433\u043b\u043e\u0449\u0435\u043d\u0438\u0435 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u043e\u043c (\u0430\u043d\u0442\u0438-\u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043f\u0440\u0438 \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0438 \u0441 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u043c \u0434\u0430\u0435\u0442 0). \u0421\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u0441 \u0442\u0438\u043f\u043e\u0432\u043e\u0439 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0435\u0439: \u0432 \u0443\u0437\u043b\u0435 \u043d\u0435\u0442 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 (\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 0) \u0438 \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0448\u0430\u0433\u0435 \u0432 \u0443\u0437\u0435\u043b \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u043c\u0430\u0440\u043a\u0435\u0440 (0 + 1 = 1).   <\/p>\n<h4>1.3 \u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0432 \u0434\u0443\u0433\u0435<\/h4>\n<p>\u0414\u043b\u044f \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u043e\u0442 \u0443\u0437\u043b\u0430 \u043a \u0443\u0437\u043b\u0443 \u043e\u043d \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0435\u0442 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u0447\u0435\u0440\u0435\u0437 \u0434\u0443\u0433\u0443. \u0414\u0443\u0433\u0430 \u043c\u043e\u0436\u0435\u0442 \u0438\u043c\u0435\u0442\u044c \u0443\u0441\u043b\u043e\u0432\u0438\u0435 (\u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439 \u043f\u0435\u0440\u0435\u0445\u043e\u0434), \u0430 \u043c\u043e\u0436\u0435\u0442 \u043d\u0435 \u0438\u043c\u0435\u0442\u044c (\u0431\u0435\u0437\u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439). \u041f\u0440\u0438 \u0431\u0435\u0437\u0443\u0441\u043b\u043e\u0432\u043d\u043e\u043c \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 s \u0440\u0430\u0432\u043d\u043e \u00ab1\u00bb. \u041f\u0440\u0438 \u0443\u0441\u043b\u043e\u0432\u043d\u043e\u043c \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435, \u0435\u0441\u043b\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 s \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f, \u0442\u043e s=1 (\u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u0442\u0441\u044f), \u0435\u0441\u043b\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 s \u043d\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f, \u0442\u043e s=0 \u0438 \u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u043e\u0433\u043b\u043e\u0449\u0430\u0435\u0442\u0441\u044f, \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u0441\u043c. [WF2M23]. <\/p>\n<h3>2. \u0421\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u0411\u0435\u0437 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 \u043d\u0430 \u0440\u0435\u0441\u0443\u0440\u0441<\/h3>\n<h4>2.1 \u0426\u0438\u043a\u043b\u0438\u0447\u043d\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1<\/h4>\n<p>\u0421\u043e\u0441\u0442\u0430\u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u044b: \u043e\u0434\u043d\u0430 \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0434\u0432\u0430 \u0443\u0447\u0435\u043d\u044b\u0445. \u0423\u0447\u0435\u043d\u044b\u0435 \u0431\u0440\u043e\u0441\u0430\u044e\u0442 \u043c\u043e\u043d\u0435\u0442\u044b \u043d\u0435 \u043f\u043e \u043e\u0447\u0435\u0440\u0435\u0434\u0438, \u0430 \u043d\u0430 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u0439 \u043e\u0441\u043d\u043e\u0432\u0435 (\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e). \u0423\u0447\u0435\u043d\u044b\u0435 \u043d\u0435 \u043c\u043e\u0433\u0443\u0442 \u0431\u0440\u043e\u0441\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e, \u0442.\u043a. \u043a\u0442\u043e-\u0442\u043e \u0438\u0437 \u043d\u0438\u0445 \u043d\u0430 \u043c\u0433\u043d\u043e\u0432\u0435\u043d\u0438\u0435 \u0431\u0443\u0434\u0435\u0442 \u043f\u0435\u0440\u0432\u044b\u043c, \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u00ab\u043e\u0434\u043d\u043e\u043c\u043e\u043c\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438\u00bb \u0440\u0435\u0448\u0430\u0435\u0442\u0441\u044f \u0443\u043c\u0435\u043d\u044c\u0448\u0435\u043d\u0438\u0435\u043c \u0448\u0430\u0433\u0430 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u0438\u0437\u0430\u0446\u0438\u0438. <\/p>\n<p>\u041a\u043e\u0433\u0434\u0430 \u043e\u0434\u0438\u043d \u0438\u0437 \u043d\u0438\u0445 \u0431\u0440\u043e\u0441\u0438\u043b (\u043e\u043f\u0443\u0441\u0442\u0438\u043b) \u043c\u043e\u043d\u0435\u0442\u0443, \u043c\u0430\u0448\u0438\u043d\u0430 \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442 \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u044c \u043a\u043e\u0444\u0435, \u043f\u043e\u0441\u043b\u0435 \u0447\u0435\u0433\u043e \u0443\u0447\u0435\u043d\u044b\u0439, \u043e\u043f\u043b\u0430\u0442\u0438\u0432\u0448\u0438\u0439 \u043a\u043e\u0444\u0435, \u0437\u0430\u0431\u0438\u0440\u0430\u0435\u0442 \u0435\u0433\u043e. \u0423\u0447\u0435\u043d\u044b\u0439 \u043f\u044c\u0435\u0442 \u043a\u043e\u0444\u0435 \u043f\u0443\u0431\u043b\u0438\u043a\u0443\u0435\u0442 \u0442\u0435\u043e\u0440\u0435\u043c\u0443 \u0438 \u0441\u043d\u043e\u0432\u0430 \u0438\u0434\u0435\u0442 \u0437\u0430 \u043a\u043e\u0444\u0435 (\u0431\u0440\u043e\u0441\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u0443), \u0442.\u0435. \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u043c\u043e\u043d\u0435\u0442\u0443 \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u044f\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0443\u0447\u0435\u043d\u044b\u0439 \u0437\u0430\u0431\u0435\u0440\u0435\u0442 \u043e\u043f\u043b\u0430\u0447\u0435\u043d\u043d\u043e\u0435 \u043a\u043e\u0444\u0435. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432\u0442\u043e\u0440\u043e\u0439 \u0443\u0447\u0435\u043d\u044b\u0439 \u043c\u043e\u0436\u0435\u0442 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e \u043e\u043f\u0443\u0441\u043a\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443: \u043c\u0430\u0448\u0438\u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440 \u043c\u043e\u043d\u0435\u0442\u0443 \u0438 \u043d\u0430\u0447\u043d\u0435\u0442 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u044c \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u0440\u0446\u0438\u044e, \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u0432 \u044d\u0442\u043e \u0432\u0440\u0435\u043c\u044f \u0433\u043e\u0442\u043e\u0432\u0438\u0442 \u043a\u043e\u0444\u0435 \u043f\u0435\u0440\u0432\u043e\u043c\u0443 \u0443\u0447\u0435\u043d\u043e\u043c\u0443. \u042d\u0442\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0435\u043d\u043e \u043a\u0430\u043a \u00ab\u0411\u0435\u0437 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 \u043d\u0430 \u0440\u0435\u0441\u0443\u0440\u0441\u00bb, \u0442.\u0435. \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u044c \u0434\u0432\u0435 \u043f\u043e\u0440\u0446\u0438\u0438 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e.\u00a0 <\/p>\n<p>\u041d\u0430 \u0440\u0438\u0441. 2.1 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u043d\u044b\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442, \u043a\u043e\u0433\u0434\u0430 \u043e\u0431\u0430 \u0443\u0447\u0435\u043d\u044b\u0445 \u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u043c\u0430\u0448\u0438\u043d\u043e\u0439, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u044b, \u0434\u0430\u0436\u0435 \u043a\u043e\u0433\u0434\u0430 \u0433\u043e\u0442\u043e\u0432\u0438\u0442 \u043a\u043e\u0444\u0435, \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043d\u0435\u0442 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0446\u0438\u0438 \u043d\u0430 \u043e\u043f\u0443\u0441\u043a\u0430\u043d\u0438\u0435 \u043c\u043e\u043d\u0435\u0442\u044b \u0438 \u0432\u0437\u044f\u0442\u0438\u0435 \u0447\u0430\u0448\u043a\u0438 \u043a\u043e\u0444\u0435 (\u043a\u0442\u043e \u043e\u043f\u043b\u0430\u0442\u0438\u043b, \u0442\u043e\u0442 \u0438 \u0431\u0435\u0440\u0435\u0442 \u043e\u043f\u043b\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u043a\u043e\u0444\u0435). <\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/00b\/a38\/1cb\/00ba381cbc08c3b1e07135e86226a510.png\" alt=\"\u0420\u0438\u0441. 2.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1\" title=\"\u0420\u0438\u0441. 2.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1\" width=\"1056\" height=\"429\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/00b\/a38\/1cb\/00ba381cbc08c3b1e07135e86226a510.png\"\/><\/p>\n<div><figcaption><strong>\u0420\u0438\u0441. 2.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1<\/strong><\/figcaption><\/div>\n<\/figure>\n<p>\u041d\u0430 \u0440\u0438\u0441. 2.1 \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043f\u0435\u0440\u0432\u044b\u0445 \u0442\u0440\u0435\u0445 \u0448\u0430\u0433\u043e\u0432: t = 0-3. \u0424\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043d\u0430 \u0441\u0445\u0435\u043c\u0435 \u0447\u0435\u0440\u0435\u0437 \u0434\u0432\u0430 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 EPC \u00abevent\u00bb \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u043f\u0430\u0440\u043d\u044b\u0439 XOR, \u043e\u0434\u043d\u0430\u043a\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u043d\u0430 \u0441\u0445\u0435\u043c\u0435 \u043f\u0440\u043e \u043d\u0435\u0433\u043e \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043d\u0438\u0439 \u043d\u0435\u0442, \u0442.\u0435. \u044d\u0442\u043e \u043c\u043e\u0433 \u0431\u044b\u0442\u044c \u0438 OR. \u041b\u043e\u0433\u0438\u043a\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u043e\u0442\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0447\u0435\u0440\u0435\u0437 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u0435 \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u0441\u043e\u0431\u044b\u0442\u0438\u0438 [WF2M23]. \u041f\u0440\u0438 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0432\u0435\u0442\u0432\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u0438 \u044f\u0447\u0435\u0439\u043a\u0438 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0441\u043d\u0430\u0431\u0436\u0435\u043d\u044b \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0435\u043c \u00abXOR\u00bb, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u043e\u0436\u0435\u0442 \u0434\u0430\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u043d\u0438\u0435: \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044c, \u0447\u0442\u043e \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0435 \u0441\u043e\u0431\u044b\u0442\u0438\u044f \u0432\u0437\u0430\u0438\u043c\u043d\u043e \u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u0435\u0441\u044f \u0438\u043b\u0438 \u0443\u0431\u0435\u0434\u0438\u0441\u044c, \u0447\u0442\u043e \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u0438\u043d \u0444\u0438\u043b\u044c\u0442\u0440 (\u0438\u043b\u0438 \u043d\u0435 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b \u043d\u0438\u043a\u0430\u043a\u043e\u0439).\u00a0\u00a0\u00a0<\/p>\n<p>\u0418\u043d\u044b\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438, \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d \u0441 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0435\u043c, \u043d\u043e \u043f\u0440\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0435 \\ \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u0441\u0435\u0442\u0438 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0435 XOR \u0441\u043e\u0431\u044b\u0442\u0438\u044f \u043d\u0430 \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u0438\u0445 \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u0438 (\u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \\ \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e) \u0438\u043b\u0438 \u0441\u043e\u0431\u044b\u0442\u0438\u044f (EPC event) \u043e\u0431\u0440\u0430\u0437\u0443\u044e \u00ab\u043f\u043e\u043b\u043d\u0443\u044e \u0433\u0440\u0443\u043f\u043f\u0443 \u0441\u043e\u0431\u044b\u0442\u0438\u0439\u00bb (\u043f\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438 \u0438\u0437 \u0442\u0435\u043e\u0440\u0438\u0438 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u0438, \u0444\u043e\u0440\u043c\u0443\u043b\u0430 \u043f\u043e\u043b\u043d\u043e\u0439 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u0438), \u0442.\u0435. \u043d\u0435\u043f\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0434\u0435\u0442 \u043e\u0434\u043d\u043e \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u043e \u0438\u0437 \u043d\u0438\u0445 (\u0447\u0438\u0441\u043b\u043e \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \\ \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \\ \u043d\u043e\u043b\u044c).<\/p>\n<h4>2.2 \u0420\u0430\u0437\u043e\u0432\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2<\/h4>\n<p>\u0427\u0442\u043e\u0431\u044b \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u00ab\u0441 \u0444\u0438\u043d\u0430\u043b\u043e\u043c\u00bb (\u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0430\u044f WF-net) \u0432\u0432\u0435\u0434\u0435\u043c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435: \u043a\u043e\u0433\u0434\u0430 \u043e\u0431\u0430 \u0443\u0447\u0435\u043d\u044b\u0445 \u0432\u044b\u043f\u0438\u043b\u0438 \u043f\u043e \u0447\u0430\u0448\u043a\u0435 \u043a\u043e\u0444\u0435 (\u0442.\u0435. \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043b\u0438 \u043f\u043e \u0442\u0435\u043e\u0440\u0435\u043c\u0435) \u043e\u043d\u0438 \u043d\u0430\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043e\u0431\u0441\u0443\u0436\u0434\u0430\u0442\u044c \u044d\u0442\u0438 \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0442\u0435\u043e\u0440\u0435\u043c\u044b \u0438 \u043d\u0430 \u044d\u0442\u043e\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f (\u0441\u043e\u0431\u044b\u0442\u0438\u0435 sEnd). \u0422\u0430\u043a\u0436\u0435 \u0432 \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u0435 2 \u043f\u0440\u043e\u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0430 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430 and-join: \u0432 \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u044c \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043e\u0431\u0449\u0435\u0435 \u0447\u0438\u0441\u043b\u043e \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0445 \u0434\u0443\u0433, \u0442\u0440\u0435\u0431\u0443\u044e\u0449\u0438\u0445 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044e, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0435\u0441\u043b\u0438 \u0432 \u0443\u0437\u0435\u043b \u00ab&amp;\u00bb \u0432\u0445\u043e\u0434\u0438\u0442 \u0442\u0440\u0438 \u0434\u0443\u0433\u0438, \u0442\u043e \u0432 \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u0435 \u0431\u0443\u0434\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 3, \u0430 \u0432\u0435\u0441 \u0432\u0445\u043e\u0434\u044f\u0449\u0435\u0439 \u0434\u0443\u0433\u0438: \u00ab&amp;\u00bb=1\/3. \u0427\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u00ab\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u00bb and-join \u0441\u0443\u043c\u043c\u0438\u0440\u0443\u0435\u0442 \u0447\u0438\u0441\u043b\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0432 \u0443\u0437\u0435\u043b \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0438 \u043f\u0440\u0438 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f 1 \u043f\u0435\u0440\u0435\u0432\u043e\u0434\u0438\u0442 \u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0433\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 (\u0434\u0443\u0433\u0438) \u0432 \u0443\u0437\u0435\u043b \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438. \u0423\u0432\u0435\u043b\u0438\u0447\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0433\u043e \u0438\u043b\u0438 \u0434\u0440\u043e\u0431\u043d\u043e\u0433\u043e (\u0435\u0441\u043b\u0438 \u0445\u043e\u0442\u044c \u043e\u0434\u043d\u0430 \u0432\u0435\u0442\u0432\u044c \u0443\u0436\u0435 \u0431\u044b\u043b\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u0430) \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430 \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0432\u0435\u0441\u0430 \u0432\u043d\u043e\u0432\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0432\u0435\u0442\u0432\u0438. <\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/443\/079\/a7e\/443079a7e07ae8d98c726231dd1ff5c3.png\" alt=\"\u0420\u0438\u0441. 2.2 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2\" title=\"\u0420\u0438\u0441. 2.2 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2\" width=\"716\" height=\"508\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/443\/079\/a7e\/443079a7e07ae8d98c726231dd1ff5c3.png\"\/><\/p>\n<div><figcaption><strong>\u0420\u0438\u0441. 2.2 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2<\/strong><\/figcaption><\/div>\n<\/figure>\n<p>\u041d\u0430 \u0440\u0438\u0441. \u0441 \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u043c 2 \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u0440\u0430\u0441\u0447\u0435\u0442 \u043c\u0430\u0440\u043a\u0438\u0440\u043e\u0432\u043a\u0438 \u0441\u0435\u0442\u0438 &#8212; \u043a\u0430\u043a \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0435\u043d\u0438\u0435 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u044f \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u0430 1, \u043d\u0430\u0447\u0438\u043d\u0430\u044f \u0441 \u0448\u0430\u0433\u0430 4, t=4. <\/p>\n<p>\u041f\u0440\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430 \u0442\u0438\u043f\u0430 or-join \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u044f \u0434\u0440\u043e\u0431\u0438 \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0441\u043e\u0431\u044b\u0442\u0438\u0439, \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0445 or-split [WF2M23]. \u00a0<\/p>\n<h4>2.3 \u041e\u0442 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 workflow<\/h4>\n<p>\u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f workflow \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 (\u043d\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438) \u043c\u0435\u0442\u043e\u0434\u0430\u043c\u0438 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u043d\u0430 \u0431\u0430\u0437\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 (\u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439) \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. <\/p>\n<p>\u0422\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 (\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u0430\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f workflow) \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0440\u0438\u0441. 2.1 \u0438 2.2 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442: \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u0430 1, \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2 (sEnd) \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043f\u0443\u0441\u0442\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443 \u2013 \u0437\u043d\u0430\u0447\u0438\u0442 \u0438\u043c\u0435\u0435\u0442\u0441\u044f \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435 (\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u0442\u0438\u043f\u0430 \u00abend\u00bb) \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435. \u0414\u0432\u0435 \u043f\u0443\u0441\u0442\u044b\u0435 \u0441\u0442\u0440\u043e\u043a\u0438 \u0433\u043e\u0432\u043e\u0440\u044f\u0442 \u043e \u0434\u0432\u0443\u0445 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u0445, \u0435\u0441\u043b\u0438 \u0443\u0437\u0435\u043b \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043f\u0443\u0441\u0442\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u043e\u0439 \u0438 \u043f\u0443\u0441\u0442\u044b\u043c \u0441\u0442\u043e\u043b\u0431\u0446\u043e\u043c, \u0442\u043e \u043e\u043d \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0441\u0432\u044f\u0437\u043d\u043e\u0441\u0442\u0438 (\u0432 \u043d\u0435\u0433\u043e \u043d\u0438\u0447\u0442\u043e \u043d\u0435 \u0432\u0445\u043e\u0434\u0438\u0442 \u0438 \u043d\u0435 \u0432\u044b\u0445\u043e\u0434\u0438\u0442). <\/p>\n<p>\u041a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0434\u043b\u044f workflow \u0445\u043e\u0440\u043e\u0448\u043e \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u0430 \u043d\u0430 <strong>\u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441\u0435\u0442\u0435\u0439 \u041f\u0435\u0442\u0440\u0438<\/strong> (WF-\u0441\u0435\u0442\u0435\u0439): \u0437\u0430\u0446\u0438\u043a\u043b\u0438\u0432\u0430\u043d\u0438\u044f, \u043c\u0435\u0440\u0442\u0432\u044b\u0435 \u0442\u043e\u0447\u043a\u0438, \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0441\u0435\u0442\u0438, \u0435\u0435 \u0436\u0438\u0432\u0443\u0447\u0435\u0441\u0442\u0438 (live), \u0431\u0435\u0437\u0434\u0435\u0444\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 (soundness) \u0438 \u0442.\u043f., \u0441\u043c. [Aal97], [Aal10], [BASH13], [BASH09], [Lomaz21], [Deadlock]. <\/p>\n<p>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043e \u043c\u0435\u0440\u0442\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u0435 [Fedor13]:<\/p>\n<blockquote>\n<p>\u041c\u0435\u0440\u0442\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u0431\u0443\u0434\u0435\u043c \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u043d\u0438 \u043f\u0440\u0438 \u043a\u0430\u043a\u0438\u0445 \u0441\u043e\u0447\u0435\u0442\u0430\u043d\u0438\u044f\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e. \u0415\u0441\u043b\u0438 \u043f\u043e\u0442\u043e\u043a \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0434\u043e\u0441\u0442\u0438\u0433\u043d\u0435\u0442 \u043c\u0435\u0440\u0442\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u0438, \u043e\u043d \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0438 \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u043e\u0434\u0432\u0438\u043d\u0443\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435.<\/p>\n<\/blockquote>\n<p>\u0411\u0435\u0437\u0434\u0435\u0444\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0441\u0435\u0442\u0438 [BASH14]:<\/p>\n<blockquote>\n<p>\u041f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u0440\u0438\u0442\u0435\u0440\u0438\u0439 \u0431\u0435\u0437\u0434\u0435\u0444\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 \u2014 \u0433\u043e\u0432\u043e\u0440\u044f\u0442, \u0447\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e, \u0435\u0441\u043b\u0438 \u043e\u0442 \u043b\u044e\u0431\u043e\u0439 \u0440\u0430\u0437\u043c\u0435\u0442\u043a\u0438, \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u043e\u0439 \u043e\u0442 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0439 (\u043e\u0434\u043d\u0430 \u0444\u0438\u0448\u043a\u0430 \u0432 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438), \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u0430 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u0430\u044f (\u043e\u0434\u043d\u0430 \u0444\u0438\u0448\u043a\u0430 \u0432 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438), \u0438 \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432 \u0441\u0435\u0442\u0438 \u043f\u043e \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0438 \u0440\u0430\u0431\u043e\u0442\u044b \u043d\u0435 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u043b\u0438\u0448\u043d\u0438\u0445 \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0449\u0438\u0445 \u0444\u0438\u0448\u0435\u043a.<\/p>\n<\/blockquote>\n<p>\u0421\u0441\u044b\u043b\u043a\u0438 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u044b \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043a \u0441\u0435\u0442\u044f\u043c \u041f\u0435\u0442\u0440\u0438, \u043d\u043e \u0441\u043c\u044b\u0441\u043b \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 workflow \u0432 WF2M \u0442\u043e\u0442 \u0436\u0435: \u00ab\u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u0435\u0444\u0435\u043a\u0442\u043e\u0432 \u043b\u043e\u0433\u0438\u043a\u0438 \u0441\u0435\u0442\u0438\u00bb, \u0430 \u0441\u0430\u043c\u0430 \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044f \u0442\u0430\u043a\u0438\u0445 \u00ab\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0445 \u0441\u0435\u0442\u0435\u0439\u00bb \u0438\u043c\u0435\u0435\u0442 \u0434\u043b\u0438\u043d\u043d\u0443\u044e \u0438\u0441\u0442\u043e\u0440\u0438\u044e [Oley82].<\/p>\n<h3>3. \u0421\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u0441 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435\u043c \u043d\u0430 \u0440\u0435\u0441\u0443\u0440\u0441<\/h3>\n<h4>3.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 3 (\u0431\u0435\u0437 \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u0430)<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0434\u0438\u043d \u0443\u0447\u0435\u043d\u044b\u0439 \u0431\u0440\u043e\u0441\u0438\u043b \u043c\u043e\u043d\u0435\u0442\u0443, \u0442\u043e \u043d\u0438 \u043e\u043d \u043d\u0438 \u0432\u0442\u043e\u0440\u043e\u0439 \u043d\u0435 \u0441\u043c\u043e\u0433\u0443\u0442 \u0431\u0440\u043e\u0441\u0438\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e, \u043f\u043e\u043a\u0430 \u043c\u0430\u0448\u0438\u043d\u0430 \u043a\u043e\u0444\u0435 \u043d\u0435 \u0441\u0442\u0430\u043d\u0435\u0442 \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430 (\u043d\u0435 \u0440\u0430\u0437\u0431\u043b\u043e\u043a\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u043c\u043e\u043d\u0435\u0442\u043e\u043f\u0440\u0438\u0435\u043c\u043d\u0438\u043a \u043f\u043e\u0441\u043b\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u044f \u043f\u0440\u0438\u0433\u043e\u0442\u043e\u0432\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0444\u0435), \u0442.\u0435. \u0441\u043d\u043e\u0432\u0430 \u043d\u0435 \u0432\u043e\u0439\u0434\u0435\u0442 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0421\u041c.ready. <\/p>\n<p>\u041d\u0430 \u0440\u0438\u0441. 3.1\u0430 \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0441 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0446\u0438\u0435\u0439 \u0437\u0430 \u0431\u0440\u043e\u0441\u043e\u043a \u043c\u043e\u043d\u0435\u0442\u044b \u0438 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438 \u043c\u043e\u043d\u0435\u0442\u043e\u043f\u0440\u0438\u0435\u043c\u043d\u0438\u043a\u0430 \u043c\u0430\u0448\u0438\u043d\u044b \u043d\u0430 \u0432\u0440\u0435\u043c\u044f \u043f\u0440\u0438\u0433\u043e\u0442\u043e\u0432\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0444\u0435: \u043f\u043e\u043a\u0430 \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u0441\u044f \u043a\u043e\u0444\u0435 \u0431\u0440\u043e\u0441\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443 \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0442.\u0435. \u043c\u0430\u0448\u0438\u043d\u0430 \u043d\u0435 \u0434\u0430\u0441\u0442 \u0441\u0438\u0433\u043d\u0430\u043b \u00ab\u0433\u043e\u0442\u043e\u0432\u00bb, \u043f\u043e\u043a\u0430 \u043d\u0435 \u0432\u044b\u0434\u0430\u0441\u0442 \u0447\u0430\u0448\u043a\u0443 \u0441 \u043a\u043e\u0444\u0435. \u041a\u0430\u043a \u0438 \u0432 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445 \u0440\u0430\u043d\u0435\u0435: \u0443\u0447\u0435\u043d\u043e\u043c\u0443 \u043d\u0435\u043b\u044c\u0437\u044f \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u0431\u0440\u043e\u0441\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443 \u0438 \u043f\u0438\u0442\u044c \u043a\u043e\u0444\u0435 (\u0440\u0443\u043a\u0430 \u0437\u0430\u043d\u044f\u0442\u0430), \u043a\u043e\u0433\u0434\u0430 \u0443\u0447\u0435\u043d\u044b\u0439 \u00ab\u0434\u043e\u043f\u0438\u043b \u043a\u043e\u0444\u0435\u00bb (\u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043b \u0442\u0435\u043e\u0440\u0435\u043c\u0443 \\ pub), \u0442\u043e \u0435\u0441\u043b\u0438 \u0430\u043a\u0442\u0438\u0432\u0435\u043d \u0441\u0438\u0433\u043d\u0430\u043b (\u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435) \u043c\u0430\u0448\u0438\u043d\u044b \u00ab\u0433\u043e\u0442\u043e\u0432\u00bb, \u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0441\u043d\u043e\u0432\u0430 \u0431\u0440\u043e\u0441\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443.\u00a0 <\/p>\n<p>\u0412\u0430\u0440\u0438\u0430\u043d\u0442 3: \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0431\u0440\u043e\u0441\u043a\u0430 \u043c\u043e\u043d\u0435\u0442\u044b (p1, p1\u2019) \u0432\u043a\u043b\u044e\u0447\u0435\u043d \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044f \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0432\u043d\u0435\u0448\u043d\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c (\u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0421\u041c, \u0442.\u0435. \u0421\u041c.ready), \u0432\u043a\u043b. \u043f\u0440\u0438\u0435\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0445 \u0441\u0438\u0433\u043d\u0430\u043b\u043e\u0432 \u043e\u0442 \u043d\u0438\u0445, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441\u0430\u043c\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0432\u043d\u0435\u0448\u043d\u0438\u0445 \u0444\u0430\u043a\u0442\u043e\u0440\u043e\u0432 \u0444\u043e\u0440\u043c\u0438\u0440\u0443\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0438\u0435 \u0441\u043e\u0431\u044b\u0442\u0438\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0438\u0440\u0443\u0435\u043c\u044b\u0435 \u0441 \u0432\u043d\u0435\u0448\u043d\u0438\u043c\u0438 \u0444\u0430\u043a\u0442\u043e\u0440\u0430\u043c\u0438 (\u0432\u043d\u0435\u0448\u043d\u0438\u043c\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u043c\u0438). \u041c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u044b \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u044b \u0432\u043d\u0443\u0442\u0440\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 p1 \u0438 p1\u2019, \u0442.\u0435. \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043d\u0435\u044f\u0432\u043d\u043e. \u042d\u0442\u043e \u043e\u0434\u0438\u043d \u0438\u0437 \u043f\u043e\u0434\u0445\u043e\u0434\u043e\u0432 (\u0443\u043f\u0440\u043e\u0449\u0435\u043d\u0438\u0439, \u0442.\u0435. \u0441\u0440\u0430\u0432\u043d\u0438 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 3 \u0438 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 4) \u0432 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432, \u043a\u043e\u0433\u0434\u0430 \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u044b \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u00ab\u043f\u043e\u0434\u0440\u0430\u0437\u0443\u043c\u0435\u0432\u0430\u044e\u0442\u0441\u044f\u00bb \u0432\u043d\u0443\u0442\u0440\u0438 \u00ab\u0447\u0435\u0440\u043d\u043e\u0433\u043e \u044f\u0449\u0438\u043a\u0430\u00bb \u043f\u043e\u0434 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435\u043c \u00ab\u0444\u0443\u043d\u043a\u0446\u0438\u044f\u00bb, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441\u043a\u0440\u044b\u0442\u044b \u043e\u0442 \u0430\u043d\u0430\u043b\u0438\u0437\u0430.<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/dd9\/caa\/dc3\/dd9caadc32300da7e52211ea7c5611ca.png\" alt=\"\u0420\u0438\u0441. 3.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 3 (\u0430) \u0438 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 4 (\u0431)   \" title=\"\u0420\u0438\u0441. 3.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 3 (\u0430) \u0438 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 4 (\u0431)   \" width=\"796\" height=\"745\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/dd9\/caa\/dc3\/dd9caadc32300da7e52211ea7c5611ca.png\"\/><\/p>\n<div><figcaption><strong>\u0420\u0438\u0441. 3.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 3 (\u0430) \u0438 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 4 (\u0431)<\/strong>   <\/figcaption><\/div>\n<\/figure>\n<h4>3.2 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 4 (\u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440)<\/h4>\n<p>\u0412 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435 4 \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u043e \u043a\u0430\u043a \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440 \u044f\u0432\u043d\u043e. \u0415\u0441\u043b\u0438 \u0443\u0431\u0440\u0430\u0442\u044c \u0434\u0443\u0433\u0438 \u00abcancel\u00bb, \u0442\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439, \u043a\u043e\u0433\u0434\u0430 \u0443\u0447\u0435\u043d\u044b\u0439 \u0431\u0440\u043e\u0441\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u0443, \u043d\u0435 \u0433\u043b\u044f\u0434\u044f \u043d\u0430 \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440 \u00ab\u0433\u043e\u0442\u043e\u0432\u00bb, \u043e\u0434\u043d\u0430\u043a\u043e \u043c\u043e\u043d\u0435\u0442\u0430 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u0430 \u0442\u043e\u043b\u044c\u043a\u043e \u043a\u043e\u0433\u0434\u0430 \u043c\u0430\u0448\u0438\u043d\u0430 \u0431\u0443\u0434\u0435\u0442 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 \u00ab\u0421\u041c \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430\u00bb. \u0414\u0443\u0433\u0438 \u00abcancel\u00bb \u0432\u044b\u0432\u043e\u0434\u044f\u0442 \u0443\u0447\u0435\u043d\u043e\u0433\u043e \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0431\u0440\u043e\u0441\u043a\u0430, \u0442.\u0435. \u0433\u043e\u0432\u043e\u0440\u044f\u0442, \u0447\u0442\u043e \u043f\u043e\u043a\u0430 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u0441\u0438\u0433\u043d\u0430\u043b \u00ab\u0433\u043e\u0442\u043e\u0432\u00bb \u0431\u0440\u043e\u0441\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443 \u043d\u0435 \u043d\u0443\u0436\u043d\u043e.<\/p>\n<h3>\u0410\u043d\u0442\u0438-\u043c\u0430\u0440\u043a\u0435\u0440<\/h3>\n<p>\u0420\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c\u043e\u0432 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \\ \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u0438\u0437\u043c\u0430 \u043a\u0440\u043e\u043c\u0435 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u044b\u0445 \u0440\u0430\u0437\u0432\u0438\u043b\u043e\u043a split (fork) \u0438 \u0441\u043b\u0438\u044f\u043d\u0438\u0439 join (merge) [WF2M23] \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0430 \u0443\u0436\u0435 \u0438\u0441\u043f\u043e\u043b\u043d\u044f\u0435\u043c\u044b\u0445 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u043c\u0430\u0440\u043a\u0435\u0440 \u00ab\u0430\u043d\u0442\u0438-\u043c\u0430\u0440\u043a\u0435\u0440\u00bb (cancel), \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435 \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043f\u043e\u0433\u043b\u043e\u0449\u0430\u0435\u0442 \u0438\u043c\u0435\u044e\u0449\u0438\u0439\u0441\u044f \u0432 \u043d\u0435\u0439 \u043c\u0430\u0440\u043a\u0435\u0440 \u0432 \u0441\u043e\u0441\u0442\u0430\u0432\u0435 \u0442\u043e\u0433\u043e \u0436\u0435 \u0445\u043e\u0434\u0430 (\u0440\u0430\u0441\u0447\u0435\u0442\u0430 \u0441\u0435\u0442\u0438 \u043d\u0430 \u0442\u0435\u043a\u0443\u0449\u0435\u043c \u0448\u0430\u0433\u0435 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u0438\u0437\u0430\u0446\u0438\u0438). \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432\u043c\u0435\u0441\u0442\u043e \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0433\u043e \u0441\u043e\u0431\u044b\u0442\u0438\u044f \u00abp.out\u00bb \u0444\u043e\u0440\u043c\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u00abp.outAnti\u00bb:<\/p>\n<p>&#8212; \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 (\u0434\u043b\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f), \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u0440\u0435\u043c\u044f \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043a\u0430\u043a \u0440\u0430\u0437\u043d\u0438\u0446\u0430 \u043e\u0442 \u043c\u043e\u043c\u0435\u043d\u0442\u0430 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u044f \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0434\u043e \u0441\u0442\u0430\u0440\u0442\u0430 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 (\u0440.start);<\/p>\n<p>&#8212; \u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u043e\u0433\u043b\u043e\u0449\u0430\u0435\u0442\u0441\u044f (\u0443\u0434\u0430\u043b\u0435\u043d \u0434\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u0430 \u043a \u0432\u044b\u0445\u043e\u0434\u0443 \u0438\u0437 \u0443\u0437\u043b\u0430, \u0442.\u0435. \u043d\u0435 \u043f\u043e\u043f\u0430\u0434\u0430\u0435\u0442 \u0432 \u0438\u0441\u0445\u043e\u0434\u044f\u0449\u0443\u044e \u0434\u0443\u0433\u0443, \u043a\u0430\u043a \u043f\u0440\u0438 \u0441\u043e\u0431\u044b\u0442\u0438\u0438 \u00abp.out\u00bb).<\/p>\n<p>\u0412 \u0442\u0430\u0431\u043b\u0438\u0446\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u00ab\u0430\u043d\u0442\u0438-\u043c\u0430\u0440\u043a\u0435\u0440\u00bb \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442\u0441\u044f \u0437\u043d\u0430\u043a\u043e\u043c \u00ab\u043c\u0438\u043d\u0443\u0441\u00bb, \u0442.\u0435. \u043a\u0430\u043a \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u043e\u0433\u043b\u043e\u0442\u0438\u0442\u044c \u043c\u0430\u0440\u043a\u0435\u0440 (\u0432\u044b\u0447\u0435\u0441\u0442\u044c 1) \u0438\u0437 \u0443\u0437\u043b\u0430, \u0433\u0434\u0435 \u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 (=1). \u041d\u0430 \u0441\u0445\u0435\u043c\u0435 &#8212; \u0431\u043e\u043b\u0435\u0435 \u0442\u043e\u043d\u043a\u043e\u0439 \u043b\u0438\u043d\u0438\u0435\u0439 \u0438 \u043f\u043e\u0434\u043f\u0438\u0441\u044c\u044e \u00abCancel\u00bb. \u0412 BPMN \u043f\u043e \u0441\u043c\u044b\u0441\u043b\u0443 \u0441\u0445\u043e\u0436 \u0441 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u043e\u043c \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u044e\u0449\u0438\u0445 <a href=\"https:\/\/www.elma-bpm.ru\/bpmn2\/10_4_6.html\" rel=\"noopener noreferrer nofollow\">\u0421\u043e\u0431\u044b\u0442\u0438\u0439 \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0430\u0442\u0440\u0438\u0431\u0443\u0442\u0430 cancelActivity\u00a0= \u00abtrue\u00bb.<\/a><\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0438: \u041d\u0435 \u043d\u0443\u0436\u043d\u043e \u0434\u0430\u043b\u0435\u0435 \u0441\u043e\u0431\u0438\u0440\u0430\u0442\u044c \u0437\u0430\u043a\u0430\u0437 \u043a\u043b\u0438\u0435\u043d\u0442\u0430 (\u043d\u0443\u0436\u043d\u043e \u043f\u0440\u0435\u043a\u0440\u0430\u0442\u0438\u0442\u044c \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044e \u0441\u0431\u043e\u0440\u0430), \u0435\u0441\u043b\u0438 \u043a\u043b\u0438\u0435\u043d\u0442 \u043e\u0442\u043a\u0430\u0437\u0430\u043b\u0441\u044f \u043e\u0442 \u0437\u0430\u043a\u0430\u0437\u0430 (\u043f\u0440\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0438, \u0447\u0442\u043e \u0437\u0430\u043a\u0430\u0437 \u0443\u0436\u0435 \u043d\u0430\u0447\u0430\u043b\u0438 \u0441\u043e\u0431\u0438\u0440\u0430\u0442\u044c, \u0442.\u0435. \u0431\u044b\u043b \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d p.start).<\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043a Workflow Patterns \u044d\u0442\u043e \u0432\u0438\u0434\u0438\u043c\u043e: <a href=\"http:\/\/www.workflowpatterns.com\/patterns\/control\/cancellation\/wcp19.php\" rel=\"noopener noreferrer nofollow\"><strong>\u0428\u0430\u0431\u043b\u043e\u043d 19 \u00ab\u041e\u0442\u043c\u0435\u043d\u0430 \u0437\u0430\u0434\u0430\u0447\u0438\u00bb <\/strong><\/a>(\u0432\u0430\u0440\u0438\u0430\u043d\u0442 2 \u043f\u0430\u0442\u0442\u0435\u0440\u043d\u0430). \u00ab\u0412\u0438\u0434\u0438\u043c\u043e\u00bb &#8212; \u0442.\u043a. \u0441\u0442\u0440\u0430\u043d\u043d\u0430\u044f \u0430\u043d\u0438\u043c\u0430\u0446\u0438\u044f \u043a \u044d\u0442\u043e\u043c\u0443 (wcp19) \u043f\u0430\u0442\u0442\u0435\u0440\u043d\u0443.<\/p>\n<p>\u0421\u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u043a\u0440\u043e\u043c\u0435 \u0448\u0442\u0430\u0442\u043d\u043e\u0433\u043e WF-\u043f\u043e\u0440\u0442\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 WF-\u0443\u0437\u0435\u043b \u0438\u043c\u0435\u0435\u0442 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u0440\u0442 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f (WFs), \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \\ \u0432\u044b\u0434\u0430\u0435\u0442 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u00ab\u0443\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0449\u0438\u0435\u00bb \u043c\u0430\u0440\u043a\u0435\u0440\u044b. \u0412 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435, \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0435 \u0432\u0430\u0440\u0438\u0430\u0446\u0438\u0438 \u0441\u043f\u0435\u0446-\u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u00ab\u043e\u0442\u043c\u0435\u043d\u044b\u00bb \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043a \u0431\u043b\u043e\u043a\u0443 \u00ab\u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f\u00bb (EPC function): <\/p>\n<ul>\n<li>\n<p>\u043f\u0440\u0435\u043a\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f: \u0441\u043f\u0435\u0446-\u043c\u0430\u0440\u043a\u0435\u0440 \u00ab\u0432\u044b\u0448\u0438\u0431\u0430\u0435\u0442\u00bb \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u043c\u0430\u0440\u043a\u0435\u0440 \u0432 \u00ab\u043a\u043e\u043d\u0435\u0446\u00bb (\u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0435) \u0444\u0443\u043d\u043a\u0446\u0438\u0438 (\u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438), \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u043c\u0430\u0440\u043a\u0435\u0440 (\u043e\u0431\u044b\u0447\u043d\u044b\u0439) \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u0447\u0435\u0440\u0435\u0437 \u0433\u0440\u0430\u043d\u0438\u0446\u0443 \u0443\u0437\u043b\u0430 \u0438 \u0444\u043e\u0440\u043c\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0441\u043e\u0431\u044b\u0442\u0438\u0435 \u00abp.out\u00bb, \u0442.\u0435. \u043c\u0430\u0440\u043a\u0435\u0440 \u0432\u044b\u0445\u043e\u0434\u0438\u0442 \u0438\u0437 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0447\u0435\u0440\u0435\u0437 \u00ab\u043f\u0430\u0440\u0430\u0434\u043d\u044b\u0439 \u0432\u044b\u0445\u043e\u0434\u00bb (\u0442.\u0435. \u0441 \u0448\u0442\u0430\u0442\u043d\u043e\u0439 \u0440\u0435\u0433\u0438\u0441\u0442\u0440\u0430\u0446\u0438\u0435\u0439 \u0442\u0430\u043a\u043e\u0433\u043e \u0432\u044b\u0445\u043e\u0434\u0430);<\/p>\n<\/li>\n<li>\n<p>\u0430\u043d\u0442\u0438-\u043c\u0430\u0440\u043a\u0435\u0440 \u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439: \u043f\u0440\u0438 \u043f\u043e\u043f\u0430\u0434\u0430\u043d\u0438\u0438 \u0432 \u0443\u0437\u0435\u043b \u043f\u0440\u0438 \u043d\u0430\u043b\u0438\u0447\u0438\u0438 \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0432 \u0443\u0437\u043b\u0435, \u0443\u0434\u0430\u043b\u044f\u0435\u0442 \u0435\u0433\u043e, \u0444\u043e\u0440\u043c\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0441\u043e\u0431\u044b\u0442\u0438\u0435 \u00abp.outAnti\u00bb, \u0442.\u0435. \u043c\u0430\u0440\u043a\u0435\u0440 \u0432\u044b\u0445\u043e\u0434\u0438\u0442 \u0438\u0437 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0447\u0435\u0440\u0435\u0437 \u00ab\u0447\u0435\u0440\u043d\u044b\u0439 \u0445\u043e\u0434\u00bb. \u0415\u0441\u043b\u0438 \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0432 \u0443\u0437\u043b\u0435 \u043d\u0435 \u043e\u043a\u0430\u0437\u0430\u043b\u043e\u0441\u044c (\u043d\u0435\u0447\u0435\u0433\u043e \u043f\u043e\u0433\u043b\u043e\u0449\u0430\u0442\u044c), \u0442\u043e \u0444\u043e\u0440\u043c\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 (\u043e\u0448\u0438\u0431\u043a\u0430, exception);<\/p>\n<\/li>\n<li>\n<p>\u0430\u043d\u0442\u0438-\u043c\u0430\u0440\u043a\u0435\u0440 \u0431\u0435\u0437\u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439: \u0434\u0435\u0439\u0441\u0442\u0432\u0443\u0435\u0442, \u043a\u0430\u043a \u0438 \u00ab\u0430\u043d\u0442\u0438-\u043c\u0430\u0440\u043a\u0435\u0440 \u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439\u00bb, \u043d\u043e \u043d\u0435 \u0444\u043e\u0440\u043c\u0438\u0440\u0443\u0435\u0442 \u0441\u0438\u0433\u043d\u0430\u043b \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f.<\/p>\n<\/li>\n<\/ul>\n<h3>\u0426\u0435\u043b\u0435\u0432\u044b\u0435 \u0438 \u0432\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f<\/h3>\n<p>\u041e\u0431\u044b\u0447\u043d\u043e \u0432 \u0441\u0445\u0435\u043c\u0430\u0445 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u00ab\u0446\u0435\u043b\u0435\u0432\u044b\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f\u00bb (\u043d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u0432\u0430\u0436\u043d\u044b\u0435), \u0430 \u00ab\u043d\u0435\u0432\u0430\u0436\u043d\u044b\u0435\u00bb \u0441\u043a\u0440\u044b\u0442\u044b. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 4 (\u0440\u0438\u0441. 3.1\u0431) \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0442\u0430\u043a\u043e\u0435 \u00ab\u043d\u0435\u0432\u0430\u0436\u043d\u043e\u0435\u00bb &#8212; \u043a\u0430\u043a \u0432\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 (\u0443\u0437\u0435\u043b \u0441 \u043f\u0443\u043d\u043a\u0442\u0438\u0440\u043d\u044b\u043c \u043a\u043e\u043d\u0442\u0443\u0440\u043e\u043c): \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044f \u0443\u0447\u0435\u043d\u044b\u0445 \u043f\u043e\u043a\u0430 \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u0441\u044f \u043a\u043e\u0444\u0435. <\/p>\n<p>\u0412 \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430\u0445 \u0432\u0430\u0436\u0435\u043d \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u0438\u043d\u043e\u0441\u044f\u0449\u0438\u0439 \u043f\u043e\u043b\u044c\u0437\u0443 \u0448\u0430\u0433 (value, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0438\u0434\u0435\u044f VAD-\u0434\u0438\u0430\u0433\u0440\u0430\u043c\u043c), \u0432 \u0442\u043e \u0432\u0440\u0435\u043c\u044f \u043a\u0430\u043a \u0432 \u0441\u0435\u0442\u044f\u0445 \u041f\u0435\u0442\u0440\u0438 \u043e\u0431\u044b\u0447\u043d\u043e \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u044e\u0442\u0441\u044f \u0432\u0441\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u0443\u0435\u043c\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u0442.\u043a. \u0431\u0435\u0437 \u044d\u0442\u043e\u0433\u043e \u043d\u0435 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044f (\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b), \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u043f\u0440\u0435\u0434\u0443\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044f. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u0441\u0435\u0442\u0438 \u041f\u0435\u0442\u0440\u0438, WF2M \u0441\u0435\u0442\u044c \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u00ab\u043f\u043e\u043b\u0435\u0437\u043d\u044b\u0435\u00bb (\u0432\u0430\u0436\u043d\u044b\u0435) \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044e \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u044b (\u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f), \u0430 \u043f\u0440\u0438 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u043d\u0438\u0437\u043a\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u0430\u044f \u043b\u043e\u0433\u0438\u043a\u0430 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u0430 \u0447\u0435\u0440\u0435\u0437 \u00ab\u0437\u0430\u0448\u0438\u0442\u044b\u0435\u00bb \u0432 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0445 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432, \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0445 \u0432 \u043c\u0430\u0442\u0440\u0438\u0446\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043d\u0438\u0437\u043a\u043e\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u0430\u044f \u043b\u043e\u0433\u0438\u043a\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0442\u0430\u043a\u0436\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u0430 (\u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u0430) \u043d\u0430 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u043c \u043f\u0440\u0435\u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u0438\u0438 \u0432 \u0441\u0435\u0442\u044c \u041f\u0435\u0442\u0440\u0438 [WF2M23]. \u0421\u043c\u044b\u0441\u043b \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u0447\u0430\u0441\u0442\u044c \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0430 \u0430\u043d\u0430\u043b\u0438\u0442\u0438\u043a\u043e\u043c \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u043d\u0430 \u0441\u0445\u0435\u043c\u0435 workflow. <\/p>\n<h3>\u0421\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438<\/h3>\n<p>\u0421\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u044b (\u0421\u041c, Coffee Machine): <\/p>\n<ul>\n<li>\n<p>\u0436\u0434\u0435\u0442 \u0438 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u0443 (coin), \u0421\u041c.ready (\u0433\u043e\u0442\u043e\u0432);<\/p>\n<\/li>\n<li>\n<p>\u0433\u043e\u0442\u043e\u0432\u0438\u0442 \u0438 \u0432\u044b\u0434\u0430\u0435\u0442 \u043a\u043e\u0444\u0435 (coffee), \u0421\u041c.busy (\u0437\u0430\u043d\u044f\u0442).<\/p>\n<\/li>\n<\/ul>\n<p>\u0421\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f, activity) \u0443\u0447\u0435\u043d\u043e\u0433\u043e (CS, Computer Scientist, \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a): <\/p>\n<ul>\n<li>\n<p>CS (CS\u2019) \u0431\u0440\u043e\u0441\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u0443 (\u0421\u041c \u0432\u0440\u043e\u0434\u0435 \u043e\u0441\u0432\u043e\u0431\u043e\u0434\u0438\u043b\u0430\u0441\u044c): \u041f\u043e\u043f\u044b\u0442\u043a\u0430 \u043e\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443 \u0432 \u043c\u0430\u0448\u0438\u043d\u0443; <\/p>\n<\/li>\n<li>\n<p>CS (CS\u2019) \u043f\u044c\u0435\u0442 \u043a\u043e\u0444\u0435 \u0438 \u043f\u0443\u0431\u043b\u0438\u043a\u0443\u0435\u0442: \u041f\u0440\u0438\u0435\u043c \u0447\u0430\u0448\u043a\u0438 \u043a\u043e\u0444\u0435 \u0438\u0437 \u043c\u0430\u0448\u0438\u043d\u044b \u0438 \u00ab\u041f\u0435\u0440\u0435\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u043a\u043e\u0444\u0435 \u0432 \u0442\u0435\u043e\u0440\u0435\u043c\u044b\u00bb (\u0432\u044b\u043f\u0438\u0442\u044c \u043a\u043e\u0444\u0435 \u0438 \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u0442\u044c);<\/p>\n<\/li>\n<li>\n<p>\u0412\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u043e\u0435: \u0435\u0441\u043b\u0438 \u043d\u0435 \u043f\u044c\u044e \u043a\u043e\u0444\u0435 (\u043d\u0435 \u043f\u0443\u0431\u043b\u0438\u043a\u0443\u044e) &#8212; \u043e\u0436\u0438\u0434\u0430\u0442\u044c \u0433\u043e\u0442\u043e\u0432\u043d\u043e\u0441\u0442\u044c \u043c\u0430\u0448\u0438\u043d\u044b (\u0421\u041c).\u00a0 <\/p>\n<\/li>\n<\/ul>\n<h4>3.3 \u0421\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u043e\u0441\u0442\u044c \u0438 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0441\u0442\u044c<\/h4>\n<p>\u0421\u043e\u0431\u044b\u0442\u0438\u0435 \\ \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u00ab\u0423\u0441\u043f\u0435\u0445. CS\u00bb (\u0440\u0438\u0441. 3.1, \u043e\u0431\u0430 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430) \u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u0443\u0447\u0435\u043d\u044b\u0439 CS \u0443\u0432\u0438\u0434\u0435\u043b \u043d\u0430 \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0435 \u0441\u0438\u0433\u043d\u0430\u043b \u00ab\u0433\u043e\u0442\u043e\u0432\u00bb \u0431\u0440\u043e\u0441\u0438\u043b \u043c\u043e\u043d\u0435\u0442\u0443 \u043f\u0435\u0440\u0432\u044b\u043c. \u042d\u0442\u043e\u0442 \u0443\u0441\u043f\u0435\u0448\u043d\u044b\u0439 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u0438\u0437 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f (\u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438) p1 (\u04401\u2019) \u0432 \u04402 \u043c\u043e\u0436\u043d\u043e \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u0430\u043a \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f s, \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u043d\u043e\u0433\u043e s1\/2:= p1.out and \u0421\u041c.ready, <\/p>\n<p>\u0447\u0442\u043e \u0432 \u043f\u0435\u0440\u0435\u0432\u043e\u0434\u0435: \u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u043e\u043a\u0438\u043d\u0443\u043b \u0443\u0437\u0435\u043b \u04401 (\u043c\u043e\u043d\u0435\u0442\u0430 \u0431\u0440\u043e\u0448\u0435\u043d\u0430 CS) \u0438 \u043c\u0430\u0448\u0438\u043d\u0430 \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430 (\u0433\u043e\u0442\u043e\u0432\u0430 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443), \u0442.\u0435. \u0432 \u043d\u0435\u0435 \u043d\u0435 \u043f\u043e\u043f\u0430\u043b\u0430 \u043c\u043e\u043d\u0435\u0442\u0430 \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u0443\u0447\u0435\u043d\u043e\u0433\u043e (\u0442\u043e\u0433\u0434\u0430 \u0431\u044b\u043b \u0431\u044b \u0441\u0442\u0430\u0442\u0443\u0441 \u0421\u041c.busy), \u0435\u0441\u043b\u0438 \u043e\u043d \u0442\u043e\u0436\u0435 \u0431\u0440\u043e\u0441\u0430\u043b \u043c\u043e\u043d\u0435\u0442\u0443. <\/p>\n<p>\u041d\u0430\u043f\u043e\u043c\u043d\u0438\u043c, \u0447\u0442\u043e \u044d\u0442\u043e \u0432 CCS (\u0434\u043b\u044f \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0443\u0447\u0435\u043d\u043e\u0433\u043e) [CCSWF24]:<\/p>\n<p>SC1:= <u>coin<\/u>.SC2 (\u0432\u044b\u0434\u0430\u0447\u0430 \u043c\u043e\u043d\u0435\u0442\u044b \u0443\u0447\u0435\u043d\u044b\u043c);<\/p>\n<p>\u0421\u041c0:= coin.CM1 (\u043f\u0440\u0438\u0435\u043c \u043c\u043e\u043d\u0435\u0442\u044b \u043c\u0430\u0448\u0438\u043d\u043e\u0439).<\/p>\n<p>\u0421\u043e\u0431\u044b\u0442\u0438\u0435 \u00about\u00bb \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u00ab\u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e\u00bb, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0435\u0433\u043e \u0432 \u0431\u043b\u043e\u043a (\u043d\u0430\u0434\u043f\u0438\u0441\u044c) \u00ab\u0441\u043e\u0431\u044b\u0442\u0438\u0435 \\ \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u00bb \u043d\u0435 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u043c. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0441\u043e\u0431\u044b\u0442\u0438\u0435 \\ \u0443\u0441\u043b\u043e\u0432\u0438\u0435 s1\/2 (s1\u2019\/2) \u0431\u0443\u0434\u0435\u0442 true \u043f\u0440\u0438 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u00abp1\u00bb (p1.out = true, \u0442.\u0435. \u043c\u0430\u0440\u043a\u0435\u0440 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434\u0435 \u0438\u0437 p1) \u0438 (\u043a\u0430\u043a \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u00ab\u0418\u00bb) \u0447\u0442\u043e \u043c\u0430\u0448\u0438\u043d\u0430 \u0421\u041c \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 ready, \u0442.\u0435. \u0421\u041c.ready = true.<\/p>\n<p>\u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043d\u0430 \u043d\u0438\u0437\u043a\u043e\u043c \u0443\u0440\u043e\u0432\u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u0430 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f XOR, \u0442.\u043a. \u043f\u0435\u0440\u0432\u044b\u0439 \u043c\u0430\u0440\u043a\u0435\u0440 (\u043c\u043e\u043d\u0435\u0442\u0430 \u0431\u0440\u043e\u0441\u0438\u0432\u0448\u0435\u0433\u043e \u043f\u0435\u0440\u0432\u044b\u043c \u0443\u0447\u0435\u043d\u043e\u0433\u043e), \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0438\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043c\u0430\u0448\u0438\u043d\u044b \u0421\u041c \u0438 \u0434\u043b\u044f \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u043c\u0430\u0440\u043a\u0435\u0440\u0430 (\u043c\u043e\u043d\u0435\u0442\u044b \u043e\u043f\u043e\u0437\u0434\u0430\u0432\u0448\u0435\u0433\u043e \u0443\u0447\u0435\u043d\u043e\u0433\u043e), \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c\u043e\u0433\u043e \u0432 \u0442\u043e\u043c \u0436\u0435 \u0442\u0430\u043a\u0442\u0435 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u0438\u0437\u0430\u0446\u0438\u0438, \u0431\u0443\u0434\u0435\u0442 \u0443\u0436\u0435 \u0421\u041c.ready = false, \u0442.\u0435. \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u043f\u0435\u0440\u0432\u044b\u0439 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 (s1\/2) \u0438 \u043c\u0430\u0440\u043a\u0435\u0440 \u0431\u0443\u0434\u0435\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u043d \u043d\u0430 \u0432\u0445\u043e\u0434 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u04402 \u00ab\u0420\u0430\u0431\u043e\u0442\u0430 \u0421\u041c\u00bb, \u0442.\u0435. \u0441\u0442\u0430\u043d\u0435\u0442 \u0421\u041c.busy = true.\u00a0 <\/p>\n<p>\u0424\u0438\u0437\u0438\u043a\u0443 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u0438\u0437\u043c\u0430 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c<br \/> \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c. \u041f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043c\u0430\u0448\u0438\u043d\u0430 \u0432\u044b\u0434\u0430\u043b\u0430 \u043a\u043e\u0444\u0435, \u043e\u043d\u0430 \u0437\u0430\u0436\u0438\u0433\u0430\u0435\u0442 \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440<br \/> \u00ab\u0433\u043e\u0442\u043e\u0432\u00bb. \u0423\u0447\u0435\u043d\u044b\u0435 \u0432\u0438\u0434\u044f\u0442 \u0441\u0438\u0433\u043d\u0430\u043b \u0438 \u043c\u043e\u0433\u0443\u0442 \u043d\u0430\u0447\u0430\u0442\u044c \u043a\u0438\u0434\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443 \u0432 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0441<br \/> \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 \u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043e\u0434\u0438\u043d \u0441\u0440\u0430\u0437\u0443 \u043a\u0438\u0434\u0430\u0435\u0442, \u0432\u0442\u043e\u0440\u043e\u0439 \u0434\u043e\u043b\u0433\u043e \u0434\u0443\u043c\u0430\u0435\u0442). <\/p>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0434\u0438\u043d \u0431\u044b\u0441\u0442\u0440\u043e \u043f\u044c\u0435\u0442 \u043a\u043e\u0444\u0435 (\u04403), \u0430 \u0432\u0442\u043e\u0440\u043e\u0439 \u0434\u043e\u043b\u0433\u043e \u0440\u0430\u0437\u043c\u044b\u0448\u043b\u044f\u0435\u0442 \u043a\u0438\u0434\u0430\u0442\u044c \u043b\u0438 \u043c\u043e\u043d\u0435\u0442\u0443 (\u04401\u2019), \u0442\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u0430\u044f \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u044f \u0437\u0430 \u0431\u0440\u043e\u0441\u043e\u043a \u043c\u043e\u043d\u0435\u0442\u044b. <\/p>\n<p>\u0412 \u0442\u0430\u043a\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435: \u0443\u0432\u0438\u0434\u0435\u0432 \u0441\u0438\u0433\u043d\u0430\u043b \u0433\u043e\u0442\u043e\u0432\u043d\u043e\u0441\u0442\u0438 (\u0412\u0430\u0440\u0438\u0430\u043d\u0442 4), \u043a\u0430\u0436\u0434\u044b\u0439 \u0443\u0447\u0435\u043d\u044b\u0439 \u0432\u043e\u0439\u0434\u0435\u0442 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u00ab\u0411\u0440\u043e\u0441\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u0443\u00bb (\u041f\u043e\u043f\u044b\u0442\u043a\u0430 \u043e\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443, \u0442.\u043a. \u0421\u041c \u0432\u0440\u043e\u0434\u0435 \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430), \u0442.\u0435. \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u0442\u0430\u043a\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 (\u04401 \u0438 \u04401\u2019) \u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u043f\u043e \u043c\u0430\u0440\u043a\u0435\u0440\u0443. \u0414\u0430\u043b\u0435\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u0438\u043d \u0438\u0437 \u043d\u0438\u0445 \u043e\u043a\u0430\u0436\u0435\u0442\u0441\u044f \u0443\u0434\u0430\u0447\u043d\u044b\u043c, \u0430 \u0434\u0440\u0443\u0433\u043e\u0439, \u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u043d\u0435\u0443\u0434\u0430\u0447\u043d\u044b\u043c (\u043e\u043f\u043e\u0437\u0434\u0430\u0432\u0448\u0438\u043c). \u041d\u0435\u0443\u0434\u0430\u0447\u043d\u044b\u0439 \u0438\u0441\u0445\u043e\u0434 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0410\u043d\u0442\u0438-\u043c\u0430\u0440\u043a\u0435\u0440\u043e\u043c. \u0412\u0440\u0435\u043c\u044f \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f (\u043f\u0443\u0441\u0442\u044c \u0438 \u043c\u0438\u0437\u0435\u0440\u043d\u043e\u0435) \u0432 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u0441 \u043d\u0435\u0433\u0430\u0442\u0438\u0432\u043d\u044b\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c (\u0411\u0440\u043e\u0441\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u0443, \u0442.\u043a. \u043c\u0430\u0448\u0438\u043d\u0430 \u0432\u0440\u043e\u0434\u0435 \u0431\u044b \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430, \u043d\u043e \u0432 \u0438\u0442\u043e\u0433\u0435 \u043e\u043f\u043e\u0437\u0434\u0430\u043b) \u0431\u0443\u0434\u0435\u0442 \u0443\u0447\u0442\u0435\u043d\u043e \u043c\u043e\u0434\u0435\u043b\u044c\u044e, \u0442.\u0435. \u0432\u0440\u0435\u043c\u044f \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0432 \u044d\u0442\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, p1.start) \u0431\u0443\u0434\u0435\u0442 \u0443\u0447\u0442\u0435\u043d\u043e, \u043a\u0430\u043a \u0432\u0440\u0435\u043c\u044f \u043d\u0430\u0447\u0430\u043b\u0430 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u0438 \u0432\u0440\u0435\u043c\u044f \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u044f \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u0430 (p1.outAnti). <\/p>\n<h3>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h3>\n<p>\u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f workflow \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u043c\u0435\u0442\u043e\u0434\u0430\u043c\u0438 \u043e\u0441\u0442\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u0441\u0435\u0433\u043e\u0434\u043d\u044f \u043d\u0435\u0440\u0435\u0448\u0435\u043d\u043d\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0435\u0439. <\/p>\n<p>\u0412\u044b\u0448\u0435 \u0431\u044b\u043b \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c workflow \u043c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u00ab\u0440\u0430\u0437\u0431\u043e\u0440\u043a\u0438\u00bb \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u00ab\u041a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0434\u0432\u043e\u0435 \u0443\u0447\u0435\u043d\u044b\u0445\u00bb \u0432 \u0441\u0435\u0442\u044c WF2M. \u042d\u0442\u043e\u0442 \u0438 \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0435 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0438 (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0443\u0447\u0435\u043d\u044b\u0439 \u0438 \u0431\u0435\u0434\u043d\u044b\u0439 \u0441\u0442\u0443\u0434\u0435\u043d\u0442) \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u044b \u0432 [GOL4_18] \u0432 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0438 CCS.<\/p>\n<p>\u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0439 \u043f\u043e\u0434\u0445\u043e\u0434 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0435 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u043d\u043e\u0439 (WF2M &#8212; \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435) \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438 \u0441\u0435\u0442\u0438 WF2M \u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u043f\u043e \u043d\u0435\u0439 \u043c\u0430\u0440\u043a\u0438\u0440\u043e\u0432\u043a\u0438 \u0441\u0435\u0442\u0438 \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0448\u0430\u0433\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430. <\/p>\n<p>\u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f WF2M \u0441\u0435\u0442\u0438 \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u0430\u0433\u0430\u0435\u0442 \u043a\u0440\u043e\u043c\u0435 \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u043f\u043e \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u043c\u0443 \u0433\u0440\u0430\u0444\u0443 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438 \u0438\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435 \u0443\u0437\u043b\u043e\u0432 \u0438 \u0441\u043e\u0431\u044b\u0442\u0438\u0439 \u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0439 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 (\u0434\u0443\u0433 \u0441 \u0443\u0441\u043b\u043e\u0432\u043d\u044b\u043c\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c\u0438, \u0444\u0438\u043b\u044c\u0442\u0440\u043e\u0432-\u0441\u043e\u0431\u044b\u0442\u0438\u0439). \u0420\u0430\u0441\u0447\u0435\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0448\u0430\u0433\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u043f\u043e \u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u043c\u0430\u0440\u043a\u0438\u0440\u043e\u0432\u043a\u0435 \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u0430\u0433\u0430\u0435\u0442 \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438 (\u0432\u043a\u043b. \u0435\u0435 WF2M &#8212; \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435).\u00a0\u00a0\u00a0\u00a0 <\/p>\n<p><strong>\u0421\u0441\u044b\u043b\u043a\u0438 <\/strong>(\u043d\u0435 \u0432\u0441\u0435)<\/p>\n<p>[CCSWF24] <a href=\"https:\/\/habr.com\/ru\/articles\/786286\/\" rel=\"noopener noreferrer nofollow\">\u0410\u043b\u0433\u0435\u0431\u0440\u044b \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 \u0434\u043b\u044f \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 CCS: \u043a\u043e\u0444\u0435-\u043c\u0430\u0448\u0438\u043d\u0430-\u0442\u0435\u043e\u0440\u0435\u043c\u0430<\/a><\/p>\n<p>[WF2M23] <a href=\"https:\/\/habr.com\/ru\/articles\/781124\/\" rel=\"noopener noreferrer nofollow\">WF2M \u0441\u0435\u0442\u044c. \u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c \u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 workflow<\/a><\/p>\n<p>[XOM09] <a href=\"https:\/\/sdo2.irgups.ru\/pluginfile.php\/22454\/mod_resource\/content\/1\/3.%D0%94%D0%B8%D1%81%D0%BA%D1%80.%D0%BC%D0%B0%D1%82%D0%B5%D0%BC.%D1%87.3.pdf\" rel=\"noopener noreferrer nofollow\">\u0425\u043e\u043c\u0435\u043d\u043a\u043e \u0410.\u041f. \u0414\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u0430\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430. \u0427\u0430\u0441\u0442\u044c 3. \u042d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0442\u0435\u043e\u0440\u0438\u0438 \u0433\u0440\u0430\u0444\u043e\u0432 <\/a><\/p>\n<p>[GOL4_18] <a href=\"https:\/\/www.youtube.com\/@KharkovITCourses\" rel=\"noopener noreferrer nofollow\">Golovach Courses<\/a> Smart Contract formal verification: Process Calculus and Modal Logics, <a href=\"https:\/\/www.youtube.com\/watch?v=uqyFp2kIsxw\" rel=\"noopener noreferrer nofollow\"><strong>on 4 July 2018<\/strong><\/a><\/p>\n<p><strong>\u0412\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0432 \u0441\u0435\u0442\u044f\u0445 \u041f\u0435\u0442\u0440\u0438:<\/strong><\/p>\n<p>[Aal97] <a href=\"https:\/\/www.researchgate.net\/profile\/Wil-Aalst?enrichId=rgreq-9e260d051c542198b67870d9d5d91f5f-XXX&amp;enrichSource=Y292ZXJQYWdlOzI5ODIyNjY3NjtBUzo4NDMzMTcyNTIyMDI0OTZAMTU3ODA3MzkwOTQ5Mw%3D%3D&amp;el=1_x_5&amp;_esc=publicationCoverPdf\" rel=\"noopener noreferrer nofollow\">Wil Van der Aalst<\/a> Verification <a href=\"https:\/\/www.researchgate.net\/publication\/298226676_Verification_of_Workflow_nets\" rel=\"noopener noreferrer nofollow\">of Workflow nets <\/a><\/p>\n<p>[Aal10] <a href=\"https:\/\/www.researchgate.net\/profile\/Wil-Aalst?enrichId=rgreq-9e260d051c542198b67870d9d5d91f5f-XXX&amp;enrichSource=Y292ZXJQYWdlOzI5ODIyNjY3NjtBUzo4NDMzMTcyNTIyMDI0OTZAMTU3ODA3MzkwOTQ5Mw%3D%3D&amp;el=1_x_5&amp;_esc=publicationCoverPdf\" rel=\"noopener noreferrer nofollow\">Wil Van der Aalst<\/a> \u0438 \u0434\u0440. Soundness of Workflow Nets: <a href=\"https:\/\/www.pads.rwth-aachen.de\/global\/show_document.asp?id=aaaaaaaaababkwh\" rel=\"noopener noreferrer nofollow\">Classification, Decidability, and Analysis<\/a><\/p>\n<p><a href=\"https:\/\/link.springer.com\/article\/10.1007\/s00165-010-0161-4\" rel=\"noopener noreferrer nofollow\">springer + References <\/a><\/p>\n<p>[BASH13] \u0412. \u0410. \u0411\u0430\u0448\u043a\u0438\u043d, \u0418. \u0410. \u041b\u043e\u043c\u0430\u0437\u043e\u0432\u0430, <a href=\"https:\/\/www.mathnet.ru\/links\/f6491292175485e0241e4dd7522d938f\/mais319.pdf\" rel=\"noopener noreferrer nofollow\">\u041e \u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043c\u043e\u0441\u0442\u0438 \u0431\u0435\u0437\u0434\u0435\u0444\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 \u0434\u043b\u044f \u0441\u0435\u0442\u0435\u0439 \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0440\u0430\u0431\u043e\u0442 \u0441 \u043d\u0435\u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u043d\u044b\u043c \u0440\u0435\u0441\u0443\u0440\u0441\u043e\u043c<\/a><\/p>\n<p>[BASH14] \u0411\u0430\u0448\u043a\u0438\u043d \u0412.\u0410. <a href=\"http:\/\/www.ccas.ru\/avtorefe\/0005d.pdf\" rel=\"noopener noreferrer nofollow\">\u041d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u0440\u0435\u0441\u0443\u0440\u0441\u043d\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u0441\u0435\u0442\u0435\u0439 \u041f\u0435\u0442\u0440\u0438 (\u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u044f \u0434\u0444\u043c\u043d)<\/a><\/p>\n<p>[BASH09] \u0411\u0430\u0448\u043a\u0438\u043d \u0412. \u0410. <a href=\"http:\/\/www.lib.uniyar.ac.ru\/edocs\/iuni\/20090239.pdf\" rel=\"noopener noreferrer nofollow\">\u041c\u043e\u0434\u0435\u043b\u0438 \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0440\u0430\u0431\u043e\u0442 <\/a><\/p>\n<p>[Fedor13] \u0424\u0451\u0434\u043e\u0440\u043e\u0432 \u0418.\u0413. <a href=\"https:\/\/statecon.rea.ru\/jour\/article\/view\/242\/224\" rel=\"noopener noreferrer nofollow\">\u041c\u0435\u0442\u043e\u0434 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0438\u0441\u043f\u043e\u043b\u043d\u044f\u0435\u043c\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u0432 \u0441\u0435\u0442\u0438 \u041f\u0435\u0442\u0440\u0438.<\/a> \u041f.5. \u041a\u043e\u043b\u043b\u0438\u0437\u0438\u0438, \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u044e\u0449\u0438\u0445 \u0432 \u0438\u0441\u043f\u043e\u043b\u043d\u044f\u0435\u043c\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u0431\u0438\u0437\u043d\u0435\u0441-\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430<\/p>\n<p>[Lomaz21] <a href=\"https:\/\/www.researchgate.net\/profile\/Irina-Lomazova?_tp=eyJjb250ZXh0Ijp7ImZpcnN0UGFnZSI6InB1YmxpY2F0aW9uIiwicGFnZSI6InB1YmxpY2F0aW9uIn19\" rel=\"noopener noreferrer nofollow\">Lomazova<\/a> I. \u0438 \u0434\u0440. <a href=\"https:\/\/www.researchgate.net\/publication\/357526406_Soundness_in_Object-centric_Workflow_Petri_Nets\" rel=\"noopener noreferrer nofollow\">Soundness in Object-centric Workflow Petri Nets<\/a><\/p>\n<p>[Oley82] \u0420. \u041b. <a href=\"https:\/\/www.mathnet.ru\/links\/0b84c75ac1744cc20121a2032e59ccd6\/at5682.pdf\" rel=\"noopener noreferrer nofollow\">\u041e\u043b\u0435\u0439\u043d\u0438\u0447\u0435\u043d\u043a\u043e, \u041e \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0445 \u0441\u0435\u0442\u0435\u0439 \u041f\u0435\u0442\u0440\u0438 <\/a><\/p>\n<p>[Deadlock] <a href=\"https:\/\/habr.com\/ru\/company\/tinkoff\/blog\/508838\/\" rel=\"noopener noreferrer nofollow\">\u041c\u043e\u0436\u0435\u0442\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c Deadlock \u043d\u0430 Camunda BPM? \u0410 \u044f \u043c\u043e\u0433\u0443<\/a><\/p>\n<p>\u0414\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e: \u043a\u0440\u043e\u043c\u0435 \u0448\u0438\u0440\u043e\u043a\u043e \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u0433\u043e CPNtools \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0441\u0435\u0442\u0438 \u041f\u0435\u0442\u0440\u0438 \u043c\u043e\u0436\u043d\u043e \u043d\u0430<\/p>\n<p><a href=\"https:\/\/workcraft.org\/\" rel=\"noopener noreferrer nofollow\">https:\/\/workcraft.org\/<\/a><\/p>\n<p><strong>PS<\/strong><\/p>\n<p>&#8230;<\/p>\n<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p><!----><!----><\/div>\n<p><!----><!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/789570\/\"> https:\/\/habr.com\/ru\/articles\/789570\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<figure class=\"full-width\"><\/figure>\n<p>\u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f WF2M \u0441\u0435\u0442\u044c (From workflow\u00a0to mathematic) \u0441 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u043e\u043c, \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0432\u0430\u044e\u0449\u0438\u043c \u0440\u0430\u0441\u0447\u0435\u0442 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u043f\u043e \u0441\u0435\u0442\u0438 workflow [WF2M23]. WF2M \u0441\u0435\u0442\u044c \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0430 \u043d\u0430 \u0415\u0420\u0421 (Event-Driven Process Chain) \u2013 \u0441\u043e\u0431\u044b\u0442\u0438\u0439\u043d\u0430\u044f \u0446\u0435\u043f\u043e\u0447\u043a\u0430 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432: \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439, \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u0435\u043c\u044b\u0445 \u0441\u043e\u0431\u044b\u0442\u0438\u044f\u043c\u0438.<\/p>\n<p>\u0420\u0430\u043d\u0435\u0435 [CCSWF24] \u0431\u044b\u043b \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u00ab\u043a\u043e\u0444\u0435-\u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0443\u0447\u0435\u043d\u044b\u0439\u00bb &#8212; \u043a\u0430\u043a \u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c\u0430 \u0430\u043b\u0433\u0435\u0431\u0440\u044b \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 CCS. \u0422\u0435\u043a\u0443\u0449\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 WF2M \u0441\u0435\u0442\u0438 \u0434\u043e\u043f\u043e\u043b\u043d\u0435\u043d \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435\u043c \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u0443\u0447\u0451\u043d\u043e\u0433\u043e, \u0442.\u0435. \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u0431\u043e\u043b\u0435\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0439 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439: \u041a\u043e\u0444\u0435-\u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0434\u0432\u0430 \u0443\u0447\u0435\u043d\u044b\u0445. \u041d\u0430\u0441\u0442\u043e\u044f\u0449\u0443\u044e \u0441\u0442\u0430\u0442\u044c\u044e \u043c\u043e\u0436\u043d\u043e \u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u043a\u0430\u043a \u0430\u043f\u0440\u043e\u0431\u0430\u0446\u0438\u044e [WF2M23] \u043d\u0430 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0438 [CCSWF24].<\/p>\n<p>\u0421\u0435\u0442\u044c WF2M \u0434\u043e\u043b\u0436\u043d\u0430 \u0440\u0435\u0448\u0430\u0442\u044c \u0437\u0430\u0434\u0430\u0447\u0443, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043f\u044b\u0442\u0430\u043b\u0430\u0441\u044c \u0440\u0435\u0448\u0438\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430 (\u0438\u0441\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432 \/ \u0442\u0435\u043e\u0440\u0438\u044f \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432): \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u0432 workflow, \u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u044b\u0445 \u0438 \u0441 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0446\u0438\u0435\u0439 \u0437\u0430 \u0440\u0435\u0441\u0443\u0440\u0441 (\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044f, \u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d\u043d\u044b\u0435, \u0440\u0435\u0430\u043a\u0442\u0438\u0432\u043d\u044b\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0438 \u0442.\u043f.). \u041f\u043e\u043a\u0430\u0437\u0430\u043d \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 WF2M \u0441\u0435\u0442\u0438<strong> <\/strong>\u0447\u0435\u0440\u0435\u0437 \u00ab\u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u00bb \u2013 \u043f\u0440\u0438\u043d\u0443\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043f\u043e \u0432\u043d\u0435\u0448\u043d\u0435\u043c\u0443 \u0441\u0438\u0433\u043d\u0430\u043b\u0443 (\u043f\u043e\u0433\u043b\u043e\u0449\u0435\u043d\u0438\u0435 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u043e\u043c). \u0421\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u044b, \u0432\u043a\u043b. or\\ and &#8212; join \u0431\u044b\u043b\u0438 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u044b \u0432 [WF2M23] <a href=\"https:\/\/habr.com\/ru\/articles\/781124\/\" rel=\"noopener noreferrer nofollow\"><strong>WF2M \u0441\u0435\u0442\u044c. \u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043c \u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 workflow<\/strong><\/a><\/p>\n<p>\u041e\u0434\u0438\u043d \u0438\u0437 \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0445 \u043f\u043e\u0434\u0445\u043e\u0434\u043e\u0432 \u0432 WF2M \u0441\u0435\u0442\u0438 \u2013 \u044d\u0442\u043e<strong> <\/strong>\u0443\u043f\u0440\u043e\u0449\u0435\u043d\u0438\u0435 \u043b\u043e\u0433\u0438\u043a\u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0432\u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435 \u043e\u0442\u043a\u0430\u0437\u0430 \u043e\u0442 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0448\u043b\u044e\u0437\u043e\u0432 (Exclusive, Inclusive, Parallel Gateway) \u0432 \u043f\u043e\u043b\u044c\u0437\u0443 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u0439 (\u0441\u043e\u0431\u044b\u0442\u0438\u0439) \u0432 \u0432\u0435\u0442\u0432\u044f\u0445 (\u0434\u0443\u0433\u0430\u0445 \u0433\u0440\u0430\u0444\u0430), \u0442.\u0435. \u00ab\u043f\u0440\u043e\u0441\u0442\u0430\u044f \u0440\u0430\u0437\u0432\u0438\u043b\u043a\u0430 \u043d\u0430 \u0434\u0443\u0433\u0438\u00bb + \u00ab\u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \\ \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0432 \u043a\u0430\u0436\u0434\u043e\u0439 \u0434\u0443\u0433\u0435\u00bb (\u0444\u0438\u043b\u044c\u0442\u0440 \u0441 \u043e\u0434\u043d\u0438\u043c \u0432\u0445\u043e\u0434\u043e\u043c \u0438 \u0432\u044b\u0445\u043e\u0434\u043e\u043c) \u0432\u043c\u0435\u0441\u0442\u043e \u043e\u0434\u043d\u043e\u0433\u043e \u0441\u043b\u043e\u0436\u043d\u043e\u0433\u043e \u0448\u043b\u044e\u0437\u0430 (\u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0432\u0445\u043e\u0434\u043e\u0432 \\ \u0432\u044b\u0445\u043e\u0434\u043e\u0432 \u043f\u043b\u044e\u0441 \u0441\u043b\u043e\u0436\u043d\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0443\u0435\u043c\u0430\u044f \u043b\u043e\u0433\u0438\u043a\u0430 \u0438\u0445 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432). <\/p>\n<h3>1. \u041c\u0430\u0442\u0440\u0438\u0446\u0430 \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438 WF2M<\/h3>\n<p>\u041f\u0440\u043e\u0441\u0442\u044b\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b (\u043c\u043e\u0434\u0435\u043b\u0438) \u043c\u043e\u0436\u043d\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u043e\u0439, \u0432\u043a\u043b\u044e\u0447\u0430\u044f \u0433\u0440\u0430\u0444\u044b \u0438 \u0438\u0445 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438\\\u0438\u043d\u0446\u0438\u0434\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438\\\u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u043e\u0441\u0442\u0438 (\u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432). \u0414\u043b\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c &#8212; workflow, \u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u0442\u0440\u0435\u0431\u0443\u044e\u0449\u0438\u0445 \u043b\u043e\u0433\u0438\u043a\u0443 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u043f\u043e\u0442\u043e\u043a\u043e\u0432, \u0432\u043a\u043b\u044e\u0447\u0430\u044f or- join, and-join, \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u043d\u0430\u0434\u0441\u0442\u0440\u043e\u0439\u043a\u0430 \u0432 \u0432\u0438\u0434\u0435 \u0430\u043b\u0433\u0435\u0431\u0440 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0432, \u0441\u0435\u0442\u0435\u0439 \u041f\u0435\u0442\u0440\u0438, WF2M \u0438 \u0434\u0440. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0434\u043b\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 workflow \u0441\u0438\u0441\u0442\u0435\u043c (\u0437\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0438\u0445) \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043d\u0438 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0433\u043e \u043c\u0430\u0442\u0440\u0438\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0433\u0440\u0430\u0444\u043e\u0432, \u043d\u0438 \u0431\u0443\u043b\u0435\u0432\u043e\u0439 \u0430\u043b\u0433\u0435\u0431\u0440\u044b, \u043d\u0438 \u0438\u043d\u044b\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438.\u00a0 <\/p>\n<h4>1.1 \u0421\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435<\/h4>\n<p><strong>\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u043e\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0433\u0440\u0430\u0444\u043e\u0432 <\/strong>[XOM09].<strong> <\/strong>\u041e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0433\u0440\u0430\u0444 (\u043e\u0440\u0433\u0440\u0430\u0444) \u0438\u0437 N \u0443\u0437\u043b\u043e\u0432 (i = 1, \u2026 N) \u0438 M \u0440\u0435\u0431\u0435\u0440 (j = 1, \u2026 M). \u0420\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0433\u0440\u0430\u0444\u044b \u0431\u0435\u0437 \u043a\u0440\u0430\u0442\u043d\u044b\u0445 \u0440\u0435\u0431\u0435\u0440. <\/p>\n<p><strong>\u041c\u0430\u0442\u0440\u0438\u0446\u0430 \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438<\/strong>: \u043c\u0430\u0442\u0440\u0438\u0446\u0430 NxN, \u0433\u0434\u0435<\/p>\n<p>a(i,j) = 1, \u0435\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u043e\u0442 i-\u0433\u043e \u0443\u0437\u043b\u0430 (\u0441\u0442\u0440\u043e\u043a\u0430 \u043c\u0430\u0442\u0440\u0438\u0446\u044b) \u043a j-\u0442\u043e\u043c\u0443 (\u0441\u0442\u043e\u043b\u0431\u0435\u0446 \u043c\u0430\u0442\u0440\u0438\u0446\u044b), \u0442.\u0435. \u0438\u0441\u0445\u043e\u0434\u044f\u0449\u0438\u0435 \u043e\u0442 i-\u0433\u043e \u0443\u0437\u043b\u0430 \u0441\u0432\u044f\u0437\u0438; <\/p>\n<p>a(i,j) = 0, \u0435\u0441\u043b\u0438 i-\u044b\u0439 (\u0441\u0442\u0440\u043e\u043a\u0430) \u0443\u0437\u0435\u043b \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d \u0441 j-\u044b\u043c (\u0441\u0442\u043e\u043b\u0431\u0435\u0446).<\/p>\n<p>\u041e\u0431\u0449\u0435\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0440\u0430\u0441\u0447\u0435\u0442\u0430 \u0448\u0430\u0433\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 (\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f). \u0421\u043c\u043e\u0442\u0440\u0438\u043c \u0442\u0435\u043a\u0443\u0449\u0443\u044e \u043c\u0430\u0440\u043a\u0438\u0440\u043e\u0432\u043a\u0443, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u0443\u044e, \u0441\u043c. \u0440\u0438\u0441. 2.1. \u041f\u0435\u0440\u0432\u0430\u044f \u0435\u0434\u0438\u043d\u0438\u0446\u0430 {<strong>1<\/strong>,0,0 \u2026} \u0433\u043e\u0432\u043e\u0440\u0438\u0442, \u0447\u0442\u043e \u043c\u0430\u0440\u043a\u0435\u0440 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0443\u0437\u043b\u0435. \u041d\u0430\u0445\u043e\u0434\u0438\u043c \u0432 \u043c\u0430\u0442\u0440\u0438\u0446\u0435 \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438 \u0441\u0442\u0440\u043e\u043a\u0443, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0443\u044e \u044d\u0442\u043e\u043c\u0443 \u0443\u0437\u043b\u0443 (\u043f\u0435\u0440\u0432\u0430\u044f \u0441\u0442\u0440\u043e\u043a\u0430 \u043c\u0430\u0442\u0440\u0438\u0446\u044b). \u0421\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0441\u0442\u0440\u043e\u043a\u0438 \u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c, \u0447\u0442\u043e \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0448\u0430\u0433\u0435 \u043c\u0430\u0440\u043a\u0435\u0440 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0437\u043c\u043d\u043e\u0436\u0435\u043d \u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u0449\u0435\u043d \u0432 \u0443\u0437\u043b\u044b \u04401 \u0438 \u04401&#8242;.<\/p>\n<h4>1.2 &#171;WF2M &#8212; \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435&#187; \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0441\u043c\u0435\u0436\u043d\u043e\u0441\u0442\u0438<\/h4>\n<p><strong>\u0421\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440.<\/strong> a(i,j) \u043c\u043e\u0436\u0435\u0442 \u0438\u043c\u0435\u0442\u044c \u0434\u0440\u043e\u0431\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0449\u0435\u0435 \u00ab\u0432\u0435\u0441 \u043c\u0430\u0440\u043a\u0435\u0440\u0430\u00bb, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0443 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 and \u2013 join \u0434\u043b\u044f \u0434\u0432\u0443\u0445 \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0445 \u0432\u0435\u0442\u0432\u0435\u0439 \u043a\u0430\u0436\u0434\u0430\u044f \u0432\u0445\u043e\u0434\u044f\u0449\u0430\u044f \u0434\u0443\u0433\u0430 \u0431\u0443\u0434\u0435\u0442 \u0438\u043c\u0435\u0442\u044c \u0432\u0435\u0441 1\/2. \u041f\u0440\u0438 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u0438 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0443\u0437\u043b\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 and \u2013 join \u0432\u0435\u0441\u0430 \u0443\u0437\u043b\u0430 (\u0442\u0435\u043a\u0443\u0449\u0435\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430) \u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0434\u0443\u0433\u0438 \u0441\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u044e\u0442\u0441\u044f, \u043f\u0440\u0438 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u0438 \u043f\u043e\u0441\u043b\u0435 \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u00ab1\u00bb \u043c\u0430\u0440\u043a\u0435\u0440 (\u00ab\u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u044b\u0439\u00bb) \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u0432 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440 (\u0443\u0437\u0435\u043b and \u2013 join).<\/p>\n<p><strong>\u0410\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440.<\/strong> a(i,j) \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u041e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u00ab-1\u00bb \u043f\u043e\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432 \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u043c\u0443\u044e \u044f\u0447\u0435\u0439\u043a\u0443. \u0415\u0441\u043b\u0438 \u0432 \u044f\u0447\u0435\u0439\u043a\u0435 \u0431\u044b\u043b\u0430 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u0430 \u00ab1\u00bb (\u043c\u0430\u0440\u043a\u0435\u0440 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u0443\u0437\u043b\u0435), \u0442\u043e 1 + (-1) = 0, \u0442.\u0435. \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u043f\u043e\u0433\u043b\u043e\u0449\u0435\u043d\u0438\u0435 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u043e\u043c (\u0430\u043d\u0442\u0438-\u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043f\u0440\u0438 \u0432\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0438 \u0441 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u043c \u0434\u0430\u0435\u0442 0). \u0421\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u0441 \u0442\u0438\u043f\u043e\u0432\u043e\u0439 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0435\u0439: \u0432 \u0443\u0437\u043b\u0435 \u043d\u0435\u0442 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 (\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 0) \u0438 \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u0448\u0430\u0433\u0435 \u0432 \u0443\u0437\u0435\u043b \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u043c\u0430\u0440\u043a\u0435\u0440 (0 + 1 = 1).   <\/p>\n<h4>1.3 \u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u0443\u0441\u043b\u043e\u0432\u0438\u044f \u0432 \u0434\u0443\u0433\u0435<\/h4>\n<p>\u0414\u043b\u044f \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u043e\u0442 \u0443\u0437\u043b\u0430 \u043a \u0443\u0437\u043b\u0443 \u043e\u043d \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0435\u0442 \u043f\u0435\u0440\u0435\u0445\u043e\u0434 \u0447\u0435\u0440\u0435\u0437 \u0434\u0443\u0433\u0443. \u0414\u0443\u0433\u0430 \u043c\u043e\u0436\u0435\u0442 \u0438\u043c\u0435\u0442\u044c \u0443\u0441\u043b\u043e\u0432\u0438\u0435 (\u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439 \u043f\u0435\u0440\u0435\u0445\u043e\u0434), \u0430 \u043c\u043e\u0436\u0435\u0442 \u043d\u0435 \u0438\u043c\u0435\u0442\u044c (\u0431\u0435\u0437\u0443\u0441\u043b\u043e\u0432\u043d\u044b\u0439). \u041f\u0440\u0438 \u0431\u0435\u0437\u0443\u0441\u043b\u043e\u0432\u043d\u043e\u043c \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 s \u0440\u0430\u0432\u043d\u043e \u00ab1\u00bb. \u041f\u0440\u0438 \u0443\u0441\u043b\u043e\u0432\u043d\u043e\u043c \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0435, \u0435\u0441\u043b\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 s \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f, \u0442\u043e s=1 (\u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u0442\u0441\u044f), \u0435\u0441\u043b\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 s \u043d\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f, \u0442\u043e s=0 \u0438 \u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u043e\u0433\u043b\u043e\u0449\u0430\u0435\u0442\u0441\u044f, \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u0441\u043c. [WF2M23]. <\/p>\n<h3>2. \u0421\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u0411\u0435\u0437 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 \u043d\u0430 \u0440\u0435\u0441\u0443\u0440\u0441<\/h3>\n<h4>2.1 \u0426\u0438\u043a\u043b\u0438\u0447\u043d\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1<\/h4>\n<p>\u0421\u043e\u0441\u0442\u0430\u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u044b: \u043e\u0434\u043d\u0430 \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0430 \u0438 \u0434\u0432\u0430 \u0443\u0447\u0435\u043d\u044b\u0445. \u0423\u0447\u0435\u043d\u044b\u0435 \u0431\u0440\u043e\u0441\u0430\u044e\u0442 \u043c\u043e\u043d\u0435\u0442\u044b \u043d\u0435 \u043f\u043e \u043e\u0447\u0435\u0440\u0435\u0434\u0438, \u0430 \u043d\u0430 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0442\u043d\u043e\u0439 \u043e\u0441\u043d\u043e\u0432\u0435 (\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e). \u0423\u0447\u0435\u043d\u044b\u0435 \u043d\u0435 \u043c\u043e\u0433\u0443\u0442 \u0431\u0440\u043e\u0441\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e, \u0442.\u043a. \u043a\u0442\u043e-\u0442\u043e \u0438\u0437 \u043d\u0438\u0445 \u043d\u0430 \u043c\u0433\u043d\u043e\u0432\u0435\u043d\u0438\u0435 \u0431\u0443\u0434\u0435\u0442 \u043f\u0435\u0440\u0432\u044b\u043c, \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u00ab\u043e\u0434\u043d\u043e\u043c\u043e\u043c\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438\u00bb \u0440\u0435\u0448\u0430\u0435\u0442\u0441\u044f \u0443\u043c\u0435\u043d\u044c\u0448\u0435\u043d\u0438\u0435\u043c \u0448\u0430\u0433\u0430 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u0438\u0437\u0430\u0446\u0438\u0438. <\/p>\n<p>\u041a\u043e\u0433\u0434\u0430 \u043e\u0434\u0438\u043d \u0438\u0437 \u043d\u0438\u0445 \u0431\u0440\u043e\u0441\u0438\u043b (\u043e\u043f\u0443\u0441\u0442\u0438\u043b) \u043c\u043e\u043d\u0435\u0442\u0443, \u043c\u0430\u0448\u0438\u043d\u0430 \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442 \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u044c \u043a\u043e\u0444\u0435, \u043f\u043e\u0441\u043b\u0435 \u0447\u0435\u0433\u043e \u0443\u0447\u0435\u043d\u044b\u0439, \u043e\u043f\u043b\u0430\u0442\u0438\u0432\u0448\u0438\u0439 \u043a\u043e\u0444\u0435, \u0437\u0430\u0431\u0438\u0440\u0430\u0435\u0442 \u0435\u0433\u043e. \u0423\u0447\u0435\u043d\u044b\u0439 \u043f\u044c\u0435\u0442 \u043a\u043e\u0444\u0435 \u043f\u0443\u0431\u043b\u0438\u043a\u0443\u0435\u0442 \u0442\u0435\u043e\u0440\u0435\u043c\u0443 \u0438 \u0441\u043d\u043e\u0432\u0430 \u0438\u0434\u0435\u0442 \u0437\u0430 \u043a\u043e\u0444\u0435 (\u0431\u0440\u043e\u0441\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u0443), \u0442.\u0435. \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u043c\u043e\u043d\u0435\u0442\u0443 \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u044f\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0443\u0447\u0435\u043d\u044b\u0439 \u0437\u0430\u0431\u0435\u0440\u0435\u0442 \u043e\u043f\u043b\u0430\u0447\u0435\u043d\u043d\u043e\u0435 \u043a\u043e\u0444\u0435. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432\u0442\u043e\u0440\u043e\u0439 \u0443\u0447\u0435\u043d\u044b\u0439 \u043c\u043e\u0436\u0435\u0442 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e \u043e\u043f\u0443\u0441\u043a\u0430\u0442\u044c \u043c\u043e\u043d\u0435\u0442\u0443: \u043c\u0430\u0448\u0438\u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440 \u043c\u043e\u043d\u0435\u0442\u0443 \u0438 \u043d\u0430\u0447\u043d\u0435\u0442 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u044c \u0432\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u0440\u0446\u0438\u044e, \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u0432 \u044d\u0442\u043e \u0432\u0440\u0435\u043c\u044f \u0433\u043e\u0442\u043e\u0432\u0438\u0442 \u043a\u043e\u0444\u0435 \u043f\u0435\u0440\u0432\u043e\u043c\u0443 \u0443\u0447\u0435\u043d\u043e\u043c\u0443. \u042d\u0442\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0435\u043d\u043e \u043a\u0430\u043a \u00ab\u0411\u0435\u0437 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439 \u043d\u0430 \u0440\u0435\u0441\u0443\u0440\u0441\u00bb, \u0442.\u0435. \u043a\u043e\u0444\u0435 \u043c\u0430\u0448\u0438\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0433\u043e\u0442\u043e\u0432\u0438\u0442\u044c \u0434\u0432\u0435 \u043f\u043e\u0440\u0446\u0438\u0438 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e.\u00a0 <\/p>\n<p>\u041d\u0430 \u0440\u0438\u0441. 2.1 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u043d\u044b\u0439 \u0432\u0430\u0440\u0438\u0430\u043d\u0442, \u043a\u043e\u0433\u0434\u0430 \u043e\u0431\u0430 \u0443\u0447\u0435\u043d\u044b\u0445 \u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u043c\u0430\u0448\u0438\u043d\u043e\u0439, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043c\u043e\u043d\u0435\u0442\u044b, \u0434\u0430\u0436\u0435 \u043a\u043e\u0433\u0434\u0430 \u0433\u043e\u0442\u043e\u0432\u0438\u0442 \u043a\u043e\u0444\u0435, \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043d\u0435\u0442 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0446\u0438\u0438 \u043d\u0430 \u043e\u043f\u0443\u0441\u043a\u0430\u043d\u0438\u0435 \u043c\u043e\u043d\u0435\u0442\u044b \u0438 \u0432\u0437\u044f\u0442\u0438\u0435 \u0447\u0430\u0448\u043a\u0438 \u043a\u043e\u0444\u0435 (\u043a\u0442\u043e \u043e\u043f\u043b\u0430\u0442\u0438\u043b, \u0442\u043e\u0442 \u0438 \u0431\u0435\u0440\u0435\u0442 \u043e\u043f\u043b\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u043a\u043e\u0444\u0435). <\/p>\n<figure class=\"full-width\">\n<div><figcaption><strong>\u0420\u0438\u0441. 2.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1<\/strong><\/figcaption><\/div>\n<\/figure>\n<p>\u041d\u0430 \u0440\u0438\u0441. 2.1 \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043f\u0435\u0440\u0432\u044b\u0445 \u0442\u0440\u0435\u0445 \u0448\u0430\u0433\u043e\u0432: t = 0-3. \u0424\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043d\u0430 \u0441\u0445\u0435\u043c\u0435 \u0447\u0435\u0440\u0435\u0437 \u0434\u0432\u0430 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 EPC \u00abevent\u00bb \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u043f\u0430\u0440\u043d\u044b\u0439 XOR, \u043e\u0434\u043d\u0430\u043a\u043e \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u043d\u0430 \u0441\u0445\u0435\u043c\u0435 \u043f\u0440\u043e \u043d\u0435\u0433\u043e \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043d\u0438\u0439 \u043d\u0435\u0442, \u0442.\u0435. \u044d\u0442\u043e \u043c\u043e\u0433 \u0431\u044b\u0442\u044c \u0438 OR. \u041b\u043e\u0433\u0438\u043a\u0430 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u043e\u0442\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0447\u0435\u0440\u0435\u0437 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u0435 \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u0441\u043e\u0431\u044b\u0442\u0438\u0438 [WF2M23]. \u041f\u0440\u0438 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0432\u0435\u0442\u0432\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u0438 \u044f\u0447\u0435\u0439\u043a\u0438 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0441\u043d\u0430\u0431\u0436\u0435\u043d\u044b \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0435\u043c \u00abXOR\u00bb, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u043e\u0436\u0435\u0442 \u0434\u0430\u0442\u044c \u0443\u043a\u0430\u0437\u0430\u043d\u0438\u0435: \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044c, \u0447\u0442\u043e \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0435 \u0441\u043e\u0431\u044b\u0442\u0438\u044f \u0432\u0437\u0430\u0438\u043c\u043d\u043e \u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u0435\u0441\u044f \u0438\u043b\u0438 \u0443\u0431\u0435\u0434\u0438\u0441\u044c, \u0447\u0442\u043e \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u0438\u043d \u0444\u0438\u043b\u044c\u0442\u0440 (\u0438\u043b\u0438 \u043d\u0435 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b \u043d\u0438\u043a\u0430\u043a\u043e\u0439).\u00a0\u00a0\u00a0<\/p>\n<p>\u0418\u043d\u044b\u043c\u0438 \u0441\u043b\u043e\u0432\u0430\u043c\u0438, \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0440\u043a\u0435\u0440\u0430 \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d \u0441 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0435\u043c, \u043d\u043e \u043f\u0440\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0435 \\ \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u0441\u0435\u0442\u0438 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0435 XOR \u0441\u043e\u0431\u044b\u0442\u0438\u044f \u043d\u0430 \u043f\u0440\u0435\u0434\u043c\u0435\u0442 \u0438\u0445 \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u0438 (\u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \\ \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e) \u0438\u043b\u0438 \u0441\u043e\u0431\u044b\u0442\u0438\u044f (EPC event) \u043e\u0431\u0440\u0430\u0437\u0443\u044e \u00ab\u043f\u043e\u043b\u043d\u0443\u044e \u0433\u0440\u0443\u043f\u043f\u0443 \u0441\u043e\u0431\u044b\u0442\u0438\u0439\u00bb (\u043f\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438 \u0438\u0437 \u0442\u0435\u043e\u0440\u0438\u0438 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u0438, \u0444\u043e\u0440\u043c\u0443\u043b\u0430 \u043f\u043e\u043b\u043d\u043e\u0439 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u0438), \u0442.\u0435. \u043d\u0435\u043f\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0434\u0435\u0442 \u043e\u0434\u043d\u043e \u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u043e \u0438\u0437 \u043d\u0438\u0445 (\u0447\u0438\u0441\u043b\u043e \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \\ \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \\ \u043d\u043e\u043b\u044c).<\/p>\n<h4>2.2 \u0420\u0430\u0437\u043e\u0432\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2<\/h4>\n<p>\u0427\u0442\u043e\u0431\u044b \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u00ab\u0441 \u0444\u0438\u043d\u0430\u043b\u043e\u043c\u00bb (\u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0430\u044f WF-net) \u0432\u0432\u0435\u0434\u0435\u043c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435: \u043a\u043e\u0433\u0434\u0430 \u043e\u0431\u0430 \u0443\u0447\u0435\u043d\u044b\u0445 \u0432\u044b\u043f\u0438\u043b\u0438 \u043f\u043e \u0447\u0430\u0448\u043a\u0435 \u043a\u043e\u0444\u0435 (\u0442.\u0435. \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043b\u0438 \u043f\u043e \u0442\u0435\u043e\u0440\u0435\u043c\u0435) \u043e\u043d\u0438 \u043d\u0430\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043e\u0431\u0441\u0443\u0436\u0434\u0430\u0442\u044c \u044d\u0442\u0438 \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0442\u0435\u043e\u0440\u0435\u043c\u044b \u0438 \u043d\u0430 \u044d\u0442\u043e\u043c \u043f\u0440\u043e\u0446\u0435\u0441\u0441 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f (\u0441\u043e\u0431\u044b\u0442\u0438\u0435 sEnd). \u0422\u0430\u043a\u0436\u0435 \u0432 \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u0435 2 \u043f\u0440\u043e\u0434\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0430 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430 and-join: \u0432 \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u044c \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043e\u0431\u0449\u0435\u0435 \u0447\u0438\u0441\u043b\u043e \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0445 \u0434\u0443\u0433, \u0442\u0440\u0435\u0431\u0443\u044e\u0449\u0438\u0445 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u044e, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0435\u0441\u043b\u0438 \u0432 \u0443\u0437\u0435\u043b \u00ab&amp;\u00bb \u0432\u0445\u043e\u0434\u0438\u0442 \u0442\u0440\u0438 \u0434\u0443\u0433\u0438, \u0442\u043e \u0432 \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u0435 \u0431\u0443\u0434\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 3, \u0430 \u0432\u0435\u0441 \u0432\u0445\u043e\u0434\u044f\u0449\u0435\u0439 \u0434\u0443\u0433\u0438: \u00ab&amp;\u00bb=1\/3. \u0427\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u00ab\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u00bb and-join \u0441\u0443\u043c\u043c\u0438\u0440\u0443\u0435\u0442 \u0447\u0438\u0441\u043b\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0432 \u0443\u0437\u0435\u043b \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0438 \u043f\u0440\u0438 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f 1 \u043f\u0435\u0440\u0435\u0432\u043e\u0434\u0438\u0442 \u043c\u0430\u0440\u043a\u0435\u0440 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0433\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430 (\u0434\u0443\u0433\u0438) \u0432 \u0443\u0437\u0435\u043b \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438. \u0423\u0432\u0435\u043b\u0438\u0447\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u043d\u0443\u043b\u0435\u0432\u043e\u0433\u043e \u0438\u043b\u0438 \u0434\u0440\u043e\u0431\u043d\u043e\u0433\u043e (\u0435\u0441\u043b\u0438 \u0445\u043e\u0442\u044c \u043e\u0434\u043d\u0430 \u0432\u0435\u0442\u0432\u044c \u0443\u0436\u0435 \u0431\u044b\u043b\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u0430) \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430 \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0432\u0435\u0441\u0430 \u0432\u043d\u043e\u0432\u044c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0432\u0435\u0442\u0432\u0438. <\/p>\n<figure class=\"full-width\">\n<div><figcaption><strong>\u0420\u0438\u0441. 2.2 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2<\/strong><\/figcaption><\/div>\n<\/figure>\n<p>\u041d\u0430 \u0440\u0438\u0441. \u0441 \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u043c 2 \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u0440\u0430\u0441\u0447\u0435\u0442 \u043c\u0430\u0440\u043a\u0438\u0440\u043e\u0432\u043a\u0438 \u0441\u0435\u0442\u0438 &#8212; \u043a\u0430\u043a \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0435\u043d\u0438\u0435 \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u044f \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u0430 1, \u043d\u0430\u0447\u0438\u043d\u0430\u044f \u0441 \u0448\u0430\u0433\u0430 4, t=4. <\/p>\n<p>\u041f\u0440\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0442\u043e\u0440\u0430 \u0442\u0438\u043f\u0430 or-join \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u043c\u0435\u043d\u0430\u0442\u0435\u043b\u044f \u0434\u0440\u043e\u0431\u0438 \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0441\u043e\u0431\u044b\u0442\u0438\u0439, \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0445 or-split [WF2M23]. \u00a0<\/p>\n<h4>2.3 \u041e\u0442 \u0444\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 workflow<\/h4>\n<p>\u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f workflow \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 (\u043d\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438) \u043c\u0435\u0442\u043e\u0434\u0430\u043c\u0438 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 \u043d\u0430 \u0431\u0430\u0437\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 (\u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439) \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438. <\/p>\n<p>\u0422\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437 (\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u0430\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f workflow) \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0440\u0438\u0441. 2.1 \u0438 2.2 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442: \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u0430 1, \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2 (sEnd) \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043f\u0443\u0441\u0442\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443 \u2013 \u0437\u043d\u0430\u0447\u0438\u0442 \u0438\u043c\u0435\u0435\u0442\u0441\u044f \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435 (\u0442\u0435\u0440\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u0442\u0438\u043f\u0430 \u00abend\u00bb) \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435. \u0414\u0432\u0435 \u043f\u0443\u0441\u0442\u044b\u0435 \u0441\u0442\u0440\u043e\u043a\u0438 \u0433\u043e\u0432\u043e\u0440\u044f\u0442 \u043e \u0434\u0432\u0443\u0445 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u0445, \u0435\u0441\u043b\u0438 \u0443\u0437\u0435\u043b \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043f\u0443\u0441\u0442\u043e\u0439 \u0441\u0442\u0440\u043e\u043a\u043e\u0439 \u0438 \u043f\u0443\u0441\u0442\u044b\u043c \u0441\u0442\u043e\u043b\u0431\u0446\u043e\u043c, \u0442\u043e \u043e\u043d \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0441\u0432\u044f\u0437\u043d\u043e\u0441\u0442\u0438 (\u0432 \u043d\u0435\u0433\u043e \u043d\u0438\u0447\u0442\u043e \u043d\u0435 \u0432\u0445\u043e\u0434\u0438\u0442 \u0438 \u043d\u0435 \u0432\u044b\u0445\u043e\u0434\u0438\u0442). <\/p>\n<p>\u041a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0434\u043b\u044f workflow \u0445\u043e\u0440\u043e\u0448\u043e \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u0430 \u043d\u0430 <strong>\u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441\u0435\u0442\u0435\u0439 \u041f\u0435\u0442\u0440\u0438<\/strong> (WF-\u0441\u0435\u0442\u0435\u0439): \u0437\u0430\u0446\u0438\u043a\u043b\u0438\u0432\u0430\u043d\u0438\u044f, \u043c\u0435\u0440\u0442\u0432\u044b\u0435 \u0442\u043e\u0447\u043a\u0438, \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0430 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0441\u0435\u0442\u0438, \u0435\u0435 \u0436\u0438\u0432\u0443\u0447\u0435\u0441\u0442\u0438 (live), \u0431\u0435\u0437\u0434\u0435\u0444\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 (soundness) \u0438 \u0442.\u043f., \u0441\u043c. [Aal97], [Aal10], [BASH13], [BASH09], [Lomaz21], [Deadlock]. <\/p>\n<p>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043e \u043c\u0435\u0440\u0442\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u0435 [Fedor13]:<\/p>\n<blockquote>\n<p>\u041c\u0435\u0440\u0442\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u0431\u0443\u0434\u0435\u043c \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u043d\u0438 \u043f\u0440\u0438 \u043a\u0430\u043a\u0438\u0445 \u0441\u043e\u0447\u0435\u0442\u0430\u043d\u0438\u044f\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u043d\u0438\u043a\u043e\u0433\u0434\u0430 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e. \u0415\u0441\u043b\u0438 \u043f\u043e\u0442\u043e\u043a \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0434\u043e\u0441\u0442\u0438\u0433\u043d\u0435\u0442 \u043c\u0435\u0440\u0442\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u0438, \u043e\u043d \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0438 \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u043e\u0434\u0432\u0438\u043d\u0443\u0442\u044c\u0441\u044f \u0434\u0430\u043b\u044c\u0448\u0435.<\/p>\n<\/blockquote>\n<p>\u0411\u0435\u0437\u0434\u0435\u0444\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0441\u0435\u0442\u0438 [BASH14]:<\/p>\n<blockquote>\n<p>\u041f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u0440\u0438\u0442\u0435\u0440\u0438\u0439 \u0431\u0435\u0437\u0434\u0435\u0444\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u0438 \u2014 \u0433\u043e\u0432\u043e\u0440\u044f\u0442, \u0447\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0430 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u0435\u0442\u0441\u044f \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e, \u0435\u0441\u043b\u0438 \u043e\u0442 \u043b\u044e\u0431\u043e\u0439 \u0440\u0430\u0437\u043c\u0435\u0442\u043a\u0438, \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u043e\u0439 \u043e\u0442 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0439 (\u043e\u0434\u043d\u0430 \u0444\u0438\u0448\u043a\u0430 \u0432 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438), \u0434\u043e\u0441\u0442\u0438\u0436\u0438\u043c\u0430 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u0430\u044f (\u043e\u0434\u043d\u0430 \u0444\u0438\u0448\u043a\u0430 \u0432 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u043f\u043e\u0437\u0438\u0446\u0438\u0438), \u0438 \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432 \u0441\u0435\u0442\u0438 \u043f\u043e \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0438 \u0440\u0430\u0431\u043e\u0442\u044b \u043d\u0435 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u043b\u0438\u0448\u043d\u0438\u0445 \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u044e\u0449\u0438\u0445 \u0444\u0438\u0448\u0435\u043a.<\/p>\n<\/blockquote>\n<p>\u0421\u0441\u044b\u043b\u043a\u0438 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u044b \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043a \u0441\u0435\u0442\u044f\u043c \u041f\u0435\u0442\u0440\u0438, \u043d\u043e \u0441\u043c\u044b\u0441\u043b \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 workflow \u0432 WF2M \u0442\u043e\u0442 \u0436\u0435: \u00ab\u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u0435\u0444\u0435\u043a\u0442\u043e\u0432 \u043b\u043e\u0433\u0438\u043a\u0438 \u0441\u0435\u0442\u0438\u00bb, \u0430 \u0441\u0430\u043c\u0430 \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044f \u0442\u0430\u043a\u0438\u0445 \u00ab\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0445 \u0441\u0435\u0442\u0435\u0439\u00bb \u0438\u043c\u0435\u0435\u0442 \u0434\u043b\u0438\u043d\u043d\u0443\u044e \u0438\u0441\u0442\u043e\u0440\u0438\u044e [Oley82].<\/p>\n<h3>3. \u0421\u0446\u0435\u043d\u0430\u0440\u0438\u0439 \u0441 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435\u043c \u043d\u0430 \u0440\u0435\u0441\u0443\u0440\u0441<\/h3>\n<h4>3.1 \u0412\u0430\u0440\u0438\u0430\u043d\u0442 3 (\u0431\u0435\u0437 \u0430\u043d\u0442\u0438\u043c\u0430\u0440\u043a\u0435\u0440\u0430)<\/h4>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0434\u0438\u043d \u0443\u0447\u0435\u043d\u044b\u0439 \u0431\u0440\u043e\u0441\u0438\u043b \u043c\u043e\u043d\u0435\u0442\u0443, \u0442\u043e \u043d\u0438 \u043e\u043d \u043d\u0438 \u0432\u0442\u043e\u0440\u043e\u0439 \u043d\u0435 \u0441\u043c\u043e\u0433\u0443\u0442 \u0431\u0440\u043e\u0441\u0438\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e, \u043f\u043e\u043a\u0430 \u043c\u0430\u0448\u0438\u043d\u0430 \u043a\u043e\u0444\u0435 \u043d\u0435 \u0441\u0442\u0430\u043d\u0435\u0442 \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u0430 (\u043d\u0435 \u0440\u0430\u0437\u0431\u043b\u043e\u043a\u0438\u0440\u0443\u0435\u0442\u0441\u044f \u043c\u043e\u043d\u0435\u0442\u043e\u043f\u0440\u0438\u0435\u043c\u043d\u0438\u043a \u043f\u043e\u0441\u043b\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u044f \u043f\u0440\u0438\u0433\u043e\u0442\u043e\u0432\u043b\u0435\u043d\u0438\u044f \u043a\u043e\u0444\u0435), \u0442.\u0435. \u0441\u043d\u043e\u0432\u0430 \u043d\u0435 \u0432\u043e\u0439\u0434\u0435\u0442 \u0432 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0421\u041c.ready. <\/p>\n<p>\u041d\u0430 \u0440\u0438\u0441. 3.1\u0430 \u043f\u043e\u043a\u0430\u0437\u0430\u043d \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0441 \u043a\u043e\u043d\u043a\u0443\u0440\u0435\u043d\u0446\u0438\u0435\u0439 \u0437\u0430 \u0431\u0440\u043e\u0441\u043e\u043a \u043c\u043e\u043d\u0435\u0442\u044b \u0438 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438 \u043c\u043e\u043d\u0435\u0442\u043e\u043f\u0440\u0438\u0435\u043c\u043d\u0438\u043a\u0430 <\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-366559","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/366559","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=366559"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/366559\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=366559"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=366559"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=366559"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}