No abstract

получена 22 октября 2012Ключевые слова: вложенные сети Петри, раскрашенные сети Петри, имитационное моделирование, верификация, граф достижимостиВложенные сети Петри (NP-сети) это расширение сетей Петри в рамках подхода "nets-within-nets", когда фишки в разметке сети сами являются сетя-ми Петри и обладают автономным поведением, при этом имеются средства синхронизации сетевых фишек и системной сети. Формализм NP-сетей поз-воляет естественным образом моделировать многоуровневые мультиагентные системы с динамической структурой. В настоящее время не существует инстру-ментальной поддержки имитационного моделирования и анализа вложенных сетей Петри. В работе предлагается проводить имитационное моделирование и построение графа достижимости для NP-сетей путем перевода NP-сетей в рас-крашенные сети Петри и использования инструментария CPN Tools в качестве виртуальной машины для исполнения и средства автоматического анализа ис-ходных NP-сетей. ВведениеВ настоящее время наблюдается смещение парадигмы вычислений от традицион-ной, в которой вычислительная мощность рабочей станции, сервера или группы серверов является основным ресурсом производимых вычислений, к новым спосо-бам организации вычислений облачные, повсеместные, коммунальные, краевые вычисления. В таких вычислениях все атрибуты вычислений, касаются ли они про-граммного или аппаратного обеспечения, логического управления или данных, ис-пользуемых вычислительных или физических ресурсов, становятся максимально децентрализованными и распределенными.

No abstract

In this work, dynamical systems of points on metric graphs (a discrete version of a quantum graph with localized wave packets) that have longest stabilization time are studied. It is shown that the set of dynamical systems over metric graphs that can be constructed from a given set of edges with fixed lengths always contains a system consisting of a bead graph with vertex degrees not greater than three that demonstrates longest stabilization time. Also, it is shown that dynamical systems of points on linear graphs with one initial point have the slowest growth of the number of dynamic points.

No abstract