Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем

dc.contributor.author	Лукьянова, Е.А.
dc.date.accessioned	2017-02-04T17:45:46Z
dc.date.available	2017-02-04T17:45:46Z
dc.date.issued	2014
dc.identifier.citation	Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем / Е.А. Лукьянова // Проблеми програмування. — 2014. — № 2-3. — С. 93-98. — Бібліогр.: 19 назв. — рос.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/113219
dc.description.abstract	В работе рассмотрены модели Крипке двух математических моделей параллельных распределённых систем, представленных детальной и её компонентной сетями Петри. Показана бисимулярность этих моделей Крипке. Установлены возможности проверки истинности логической формулы темпоральной логики, которой задаётся требуемое свойство исследуемой параллельной распределённой системы, с помощью редуцированной модели Крипке компонентной сети Петри.	uk_UA
dc.description.abstract	The paper discusses the Kripke structures of two mathematical models of parallel distributed systems that are presented by Petri detailed net and its component net. Bisimularity of these Kripke structures is displayed. The possibility for checking the validity of the logical formula of temporal logic is established, which gives the desired property of investigated parallel distributed system, using reduced Kripke structure of component Petri net.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Паралельне програмування. Розподілені системи і мережі	uk_UA
dc.title	Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем	uk_UA
dc.title.alternative	Application of Petri component nets in the checking task of parallel distributed systems	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.021: 004.312.4: 004.414.2