• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 12 публикаций
Сортировка:
по названию
по году
Статья
Lomazova I. A., Romanov I. V. Fundamenta Informaticae. 2013. Vol. 128. No. 1-2. P. 129-141.

In this work we consider modeling of services with workflow modules, which form a Petri net subclass. The service compatibility problem is to answer the question, whether two services fit together, i.e. whether the composed system is correct. We study complementarity of resources, produced/consumed by two services—a necessary condition for the service compatibility. Resources, which are produced/consumed by a service, are represented as a multiset language. We define an algebra of multiset languages and present algorithms for checking conformance of resources for two given well-structured workflow modules.

Добавлено: 18 ноября 2013
Статья
Vladislav Podymov. Fundamenta Informaticae. 2016. Vol. 147. No. 2-3. P. 315-336.
Добавлено: 9 октября 2016
Статья
Revenko A., Kuznetsov S. Fundamenta Informaticae. 2012. Vol. 4. No. 115. P. 377-394.

Атрибутивное исследование свойств функций на множествах.

Добавлено: 31 декабря 2012
Статья
Vladimir A. Bashkin, Lomazova I. A. Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 243-257.

 

Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.

В этой работе вводится новый формализм клеточных RD-автоматов. Клеточные RD-автоматы – это RDA-сети с бесконечной системной сетью, имеющей некоторую регулярную структуру. Мы строим иерархию классов клеточные RD-автоматов на основе тех или иных ограничений на несущую решетку. В работе изучается выразительность нескольких основных классов одноразмерной решетки.

Добавлено: 28 ноября 2012
Статья
Lomazova I. A., Sidorova N., Serebrenik A. et al. Fundamenta Informaticae. 2007. Vol. 79. No. 3-4. P. 347-362.
Добавлено: 13 марта 2010
Статья
Kryszkiewicz M., Obiedkov Sergei, Ras Z. W. Fundamenta Informaticae. 2012. Vol. 115. No. 4. P. i-ii.
Добавлено: 25 января 2013
Статья
Lomazova I. A., Popova-Zeugmann L. Fundamenta Informaticae. 2016. Vol. 143. No. 1-2. P. 101-112.
Добавлено: 12 октября 2015
Статья
Kalenkova A. A., Lomazova I. A. Fundamenta Informaticae. 2014. Vol. 133. No. 2-3. P. 197-209.
Добавлено: 30 сентября 2014
Статья
Lomazova I. A. Fundamenta Informaticae. 2010. Vol. 101. No. 1-2. P. 59-70.
О взаимодействии документооборота сетей для рабочего процесса реинжиниринга. На примере сетей Петри.
Добавлено: 19 ноября 2012
Статья
Dworzanski L. W., Lomazova I. A. Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 275-293.

Вложенные сети Петри (NP-сети) – суть сети Петри с сетевыми фишками. Проблемы живости и ограниченности неразрешимы для двухуровневых NP-сетей. Для обыкновенных сетей Петри проблема ограниченности относится к классу сложности EXPSPACE, а проблема живости не меньше чем EXPSPACE-сложная. Однако для некоторых ограниченных классов, таких как сети Петри со свободным выбором, эти проблемы являются не такими трудными. Проверка ограниченности и живости сетей Петри со свободным выбором разрешима за полиномиальное время.

В этой статье мы доказываем, что для NP-сетей ограниченность может проверяться композиционально, и формулируем условия композициональности живости. Эти результаты могут использоваться для сведения проверки ограниченности и живости NP-сетей к проверке этих свойств для отдельных одноуровневых компонентов. Компоненты NP-сети могут принадлежать легко анализируемым подклассам сетей Петри, или иметь небольшой размер, что позволяет использовать для их анализа методы проверки моделей.

Добавлено: 28 ноября 2012
Статья
Панкратьева В. В., Kuznetsov S. Fundamenta Informaticae. 2012. Vol. 115. No. 4. P. 265-277.
Добавлено: 29 января 2013
Статья
Vladimir A. Bashkin, Lomazova I. A. Fundamenta Informaticae. 2011. Vol. 109. No. 3. P. 223-236.
Добавлено: 2 февраля 2013