?
Controlling boundedness for live Petri nets
P. 0236-0241.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Ломазова И. А., Popova-Zeugmann L., , in : Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014. Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org).: Berlin : Humboldt University of Berlin, 2014. P. 126-137.
In this paper we examine how it is possible to control Petri net behavior with the help of time constraints. Controlling here means to force a process to behave in a desirable way by ascribing priorities to transitions and hence transforming a classic Petri net into a Priority Petri net. Liveness and boundedness are crucial ...
Добавлено: 24 октября 2014 г.
Ломазова И. А., Popova-Zeugmann L., Fundamenta Informaticae 2016 Vol. 143 No. 1-2 P. 101-112
Добавлено: 12 октября 2015 г.
Ломазова И. А., Popova-Zeugmann L., , in : Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings. Vol. 2.: University of Rzeszow, 2015. P. 19-35.
Добавлено: 12 октября 2015 г.
Дворянский Л. В., Ломазова И. А., , in : Program Semantics, Specification and Verification: Theory and Applications. The conference materials. 6th International Computer Science Symposium in Russia. : Yaroslavl : Yaroslavl State University, 2011. P. 27-34.
Nested Petri nets (NP-nets) are Petri nets with net tokens. The liveness and boundedness problems are undecidable for two-level Nested Petri nets (NP-nets). Boundedness and liveness are still very hard to check even for plain Petri nets (EXPSPACE or worse). For the restricted class of free-choice Petri nets some problems become more amenable to analysis. ...
Добавлено: 23 марта 2013 г.
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Добавлено: 6 мая 2017 г.
Дворянский Л. В., Theoretical Computer Science 2020
Вложенные сети Петри (NP-сеть) это удобный формализм для моделирования систем состоящих из распределенных мобильных агентов с автономным поведением. NP-сеть состоит из высокоуровневой системной сети и автономных сетевых токенов. Каждый сетевой токен это сеть Петри. Сетевые токены управляются системной сетью. Многие поведенческие свойства - живость, ограниченность, обратимость - неразрешимы для NP-сетей. Другие - завершимость и покрытие ...
Добавлено: 1 ноября 2019 г.
Дворянский Л. В., Михайлов В. Е., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 175-190
Вполне структурированные системы переходов являются хорошо известным инструментом для доказательства разрешимости свойств покрываемости и ограниченности. Каждый год появляются новые формализмы, которые оказываются вполне структурированными системами переходов. Несмотря на большой объем теоретической работы, существует большая потребность в эмпирических изучении вполне структурированных систем переходов. В данной работе представлен инструмент для анализа таких систем. Мы предлагаем расширение высокоуровневого ...
Добавлено: 1 октября 2017 г.
Ломазова И. А., Романов И. В., , in : Concurrency, Specification and Programming. CS&P’2012. Berlin, September 26 – September 28, 2012. Volume 2. Vol. 2. Issue 225.: Berlin : Humboldt University of Berlin, 2012. P. 239-250.
Работа посвящена моделированию сервисов с помощью модулей потоков работ, которые представляют собой специальный подкласс сетей Петри. Проблема совместимости сервисов состоит в проверке того, что два Веб-сервиса подходят друг другу, т.е. что их композиция является бездефектной. Исследуется задача проверки комплиментарности ресурсов производимых/потребляемых сервисами, что является необходимым условием совместимости сервисов. Ресурсы, производимые/потребляемые сервисами, описываются как языки мультимножеств. ...
Добавлено: 19 ноября 2012 г.
Исаев Д. В., Финансовая аналитика: проблемы и решения 2015 № 20 (254) С. 2-12
Статья посвящена вопросам анализа инвестиций в развитие систем управления эффективностью, обеспечивающих информационную поддержку стратегического менеджмента. Специфика таких систем не позволяет оценивать результаты их развития в финансовом выражении, что объясняет неприменимость традиционных методов инвестиционного анализа. В данной ситуации представляется целесообразным применение подхода, предусматривающего сопоставление инвестиций с результатами, не имеющими стоимостной оценки. Принимая во внимание существенное влияние ...
Добавлено: 5 июня 2015 г.
Минченко О. С., В кн. : II Международная научно-практическая конференция "Развитие экономических и межотраслевых наук в 21 веке" Ежемесячный научный журнал Научного института глобальной и региональной экономики. Ч. 1. Вып. 1: II Международная научно-практическая конференция "Развитие экономических и межотраслевых наук в 21 веке" Ежемесячный научный журнал Научного института глобальной и региональной экономики.: Новосибирск : издательство Научного института глобальной и региональной экономики, 2014. С. 50-53.
Статья посвящена исследованию международного опыта привлечения экспертов и экспертных организаций к реализации контрольно-надзорных функций. Обзор российской практики позволил выявить ряд проблем в этой сфере. Целью исследования международного опыта является выявление закономерностей привлечения экспертов и поиск возможных путей решения существующих проблем в области привлечения экспертов ...
Добавлено: 1 марта 2015 г.
Ломазова И. А., Romanov I., 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 ...
Добавлено: 18 ноября 2013 г.
Дворянский Л. В., Formal Methods in System Design (Нидерланды, целевой журнал) 2020
Вложенные сети Петри (NP-сети) - это формализм, удобный для моделирования систем, которые состоят из распределенных мобильных агентов с индивидуальным поведением. Выразительность формализма NP-сетей больше, чем у классических сетей Петри. Формализм позволяет моделировать открытые многоагентные системы с появлением, исчезновением, и клонированием агентов.
Несколько методов проверки, основанных на структурном анализе и методах проверки моделей, были
разработан для формализма. Но один из основных методов ...
Добавлено: 2 ноября 2019 г.
Логинов К. В., Birkar C., / Cornell University. Series arXiv "math". 2020.
Добавлено: 12 августа 2020 г.
Sokolov Boris, Dolgui A., Ivanov D., International Journal of Production Research 2018 Vol. 56 No. 19 P. 6473-6490
Инженерные модели цепочки поставок с соображениями устойчивости были в основном сфокусированы на количественной оценке воздействия сбоев на одном уровне анализа, таком как проектирование или планирование цепочки поставок. Влияние сбоев на производительность обычно анализировалось без планирования действий по восстановлению. Принимая во внимание действия по восстановлению по расписанию и их продолжительность, это исследование расширяет существующую литературу для ...
Добавлено: 5 февраля 2019 г.
Switzerland : Springer, 2015
Recent developments in theory, algorithms, and applications in optimization and control are discussed in this proceedings, based on selected talks from the ‘Optimization Control and Applications in the Information Age’ conference, organized in honor of Panos Pardalos’s 60th birthday. This volume contains numerous applications to optimal decision making in energy production and fuel management, data ...
Добавлено: 13 сентября 2015 г.
Кулагин В. П., Перспективы науки и образования 2013 № 6 С. 26-30
Раскрываются формирования информационных ресурсов на основе параллельных вычислений. Раскрыта проблема семантического разрыва. Отмечен антропологический подход оценки производительности вычислительных систем. Показана целесообразность применения тензорных методов и сетей Петри для формирования информационных ресурсов. ...
Добавлено: 26 марта 2015 г.
Методы и модели принятия управленческих решений. Учебник и практикум для академического бакалавриата
Рубчинский А. А., М. : Юрайт, 2017
Цель предлагаемого учебника дать представление о формальных моделях и методах принятия управленческих решений в разнообразных реальных ситуациях. Основное внимание в учебнике сосредоточено на «структурных» свойствах систем, позволяющих если не оптимизировать, то улучшить их работу без детальной (практически недоступной) информации; на способах организации взаимодействия в конфликтных ситуациях без точной постановки и решения соответствующих игровых задач; на ...
Добавлено: 14 декабря 2017 г.
Иванов И., Красивская М. И., Лышов С. М. и др., Качество. Инновации. Образование 2015 № 12 С. 59-67
В статье описана структурная схема прототипа информационно-измерительной системы на базе технологии NI RIO, в состав которой входит координатный стол с приводами для управления контактными датчиками температуры и дозатором термопасты, модуль управления и специализированное программное обеспечение, реализованное в среде графического программирования NI LabVIEW ...
Добавлено: 26 февраля 2016 г.
Vladimir A. Bashkin, Ломазова И. А., Fundamenta Informaticae 2012 Vol. 120 No. 3-4 P. 243-257
Автоматы, управляемые ресурсами, (RDA) представляют собой конечные автоматы, которые располагаются в узлах конечной системной сети и асинхронно потребляют/производят через порты (дуги системной сети) некоторые общие ресурсы. При этом RDA сами могут служить ресурсами друг для друга, что делает модель весьма гибкой. Ранее было доказано, что RDA-сети эквивалентны по выразительности сетям Петри.
В этой работе вводится новый ...
Добавлено: 28 ноября 2012 г.
Kaufering : b-Quadrat Verlag, 2011
Soft Computing (SC) is a consortium of fuzzy logic (FL), neurocomputing (NC), evolutionary computing (EC), probabilistic computing (PC), chaotic computing (CC) and parts of machine learning theory (ML). SC is the foundation for computational intelligence and is leading to the development of numerous hybrid intelligent information, control and decision-making systems. The methodology of computing with ...
Добавлено: 13 ноября 2013 г.
Верников А. В., / University Library of Munich. Series "Munich Personal RePEc Archive". 2008. No. 10028.
В работе рассмотрены особенности российской модели корпоративного управления (corporate governance) и контроля в банковском секторе. Используется парадигма неоинституциональной экономической теории. Исследование опирается на обзор теоретических работ и на прикладной анализ состояния corporate governance в российских коммерческих банках, представляющих различные формы собственности. Особое внимание уделено анализу реальных интересов всех участников corporate governance – банковских и фондовых ...
Добавлено: 3 сентября 2012 г.
K.G. Serebrennikov, Proceedings of the Institute for System Programming of the RAS 2019 Vol. 31 No. 4 P. 163-174
Добавлено: 24 октября 2019 г.
Петровский Д. В., Кокурин Д. И., Логистика и управление цепями поставок 2017 № 6 С. 125-132
В данной статье рассматривается применение аппарата стохастических сетей Петри при анализе цепей поставок. Основным анализируемым объектом являлся складской модуль и модуль производства, и их взаимодействие с другими элементами системы. Изучаемая логистическая система была представлена в виде стохастической сети Петри, затем были созданы две модели одной системы с разными начальными характеристиками с целью их дальнейшего сравнения. ...
Добавлено: 28 ноября 2017 г.