Сортировать по:
| Выпуск | Название | |
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| "... the Petri net matrix representation allows finding net invariants thus solving a task of finding all ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... method of finding Petri net invariants is also offered, based on estimating possible values for separate ..." | ||
| Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... A technique of the computing grid verification using invariants of infinite Petri nets ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... In the article a method of automated construction of Petri nets simulating the behaviour ..." | ||
| Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
| Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
| "... Petri net is said to be elementary if every place can contain no more than one token ..." | ||
| Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов | ||
| "... The question is considered - which graphs are isomorphic to the reachability graphs of Petri nets ..." | ||
| Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
| "... Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority ..." | ||
| Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
| Владимир Анатольевич Башкин | ||
| "... ). It is known that resource similarity is undecidable for general labelled Petri nets. In this paper we study ..." | ||
| Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... (such as planarity). Modular nets of active resources is a (Petri nets)- powerful formalism with simple modular ..." | ||
| Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
| "... In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... is presented. General one-counter nets are equivalent to Petri Nets with at most one unbounded place ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
| Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... nets is equivalent to the class of Petri nets with one unbounded place, and to the class of pushdown ..." | ||
| Том 18, № 4 (2011) | Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms for translating ..." | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... resource nets (Petri nets) with an infinite regular system grid. This formalism is a hybrid of Petri nets ..." | ||
| Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
| П. Е. Ефимова | ||
| "... model using Petri nets is formulated, its mathematical model based on matrix method is worked out. ..." | ||
| Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
| "... is an asynchronous system. Distributed asynchronous automata are introduced here. It is proved that Petri nets ..." | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
| "... present an algorithm for discovering hierarchical process models represented as two-level workflow Petri ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... into coloured Petri nets. The translation algorithms cover most standard elements of the MSC including data ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... of translation of these automata systems into coloured Petri nets (CPN). This algorithm has been represented ..." | ||
| Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация похожие документы |
| А. К. Бегичева, И. А. Ломазова | ||
| Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
| Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
| "... the information from an event log. The input data for this task are the initial process model (a Petri net ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| "... , their advantages and disadvantages. A model of a computing grid was constructed in the form of a colored Petri net ..." | ||
| Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... In this work nets of active resources (AR-nets) are presented. This is a generalization of Petri ..." | ||
| Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Мордвинов | ||
| "... may arise, e.g., from relational verification tasks, PDR aims to infer an inductive invariant for each ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... The paper considers methods of program transformation equivalent to optimizing the cycle invariant ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... formal models, namely: in Petri nets, in a dialect of Calculus of Communicating Systems (CCS ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... in C-light programs. The method includes an inference rule for the iteration without invariants, which ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... be provided with an invariant whose construction is often a challenge. As a rule, the methods of invariant ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... as control loop invariants. However, control loop invariants that represent requirements are not sufficient ..." | ||
| Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... -approximation approach. One the other hand, the use of the classic approach requires defining loop invariants ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... invariants. Symbolic replacement of definite iterations by recursive functions is the base of this method ..." | ||
| Том 15, № 1 (2008) | Хореография сервисов в семантической сервис-ориентированной архитектуре | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... in the form of Petri net and analyzing net's accessibility tree to find the compliance of service's semantic ..." | ||
| Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... of ACML with other formal language classes - regular, context-free, context-sensitive and Petri net ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... The paper describes software components to support recursive-parallel programming for the .NET ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... Push-down automata with independent counters (PDACs) combine the power of PDAs and Petri Nets ..." | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| "... and differential inclusions. This expansion consists in studying statistically invariant sets and statistical ..." | ||
| Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... allows us to develop effective applications for parallel computing on a local network in the .NET ..." | ||
| Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Скороходов | ||
| "... The problem of finding the maximum flow in nets of a special form is considered. In such nets ..." | ||
| Том 25, № 1 (2018) | Инвариантные характеристики вынужденных колебаний балки с продольным сжатием | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин | ||
| "... with chaotic behaviour. To study the invariant numerical characteristics of the attractor of the corresponding ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... to develop effective applications for parallel computing on a local network using any .NET-compatible ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... for parallel computing on a local network in the .NET Framework. Such applications have the ability to generate ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: В. В. Васильчиков, «Параллельный алгоритм решения задачи об изоморфизме графов», Моделирование и анализ информационных систем, Том 27, №1, с. 86–94, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-1-86-94 | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| Том 29, № 1 (2022) | Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... applications for parallel computing on a local network under the control of the runtime environment .NET ..." | ||
| Том 15, № 1 (2008) | Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор | Аннотация PDF (Rus) похожие документы |
| Е. В. Коршунова, А. Н. Куликов | ||
| "... . For the boundary value problem given, using the Invariant Manifolds method, the method of Averaging and the Theory ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... unchanged through equations of the system (invariant), by extension of the original problem and a transition ..." | ||
| Том 16, № 3 (2009) | Разностные аппроксимации уравнения «реакция - диффузия» на отрезке | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин | ||
| Том 23, № 6 (2016) | Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов | Аннотация PDF (Rus) похожие документы |
| Е. А. Марушкина | ||
| Том 13, № 1 (2006) | Свойства бисимуляции разметок в ограниченных сетях Петри | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и ..." | ||
| Том 20, № 5 (2013) | Замкнутые локально минимальные сети на поверхностях выпуклых многогранников | Аннотация PDF (Rus) похожие документы |
| Наталия Павловна Стрелкова | ||
| Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... . The neuron net is formed on the base of this GAN-detector. One of possible oscillatory regimes ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... on a local network under the control of the runtime environment .NET Framework.The library supports ..." | ||
| Том 26, № 3 (2019) | Сравнение диффеоморфных изображений на основе формирования персистентных гомологий | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов | ||
| "... is the study invariants of big data. A method based on persistent cohomology is proposed that combines ..." | ||
| Том 21, № 1 (2014) | Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... is the possibility of coexistence, along with the stable zero state, of stable invariant tori of arbitrary finite ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... and Hoare logic for the C-kernel as input. To solve the well-known problem of determining loop invariants ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the user annotate invariants and contracts to states of the hybrid automaton. Thus, the user can employ ..." | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... as the required security properties in the form of invariants. The model of a protocol describes its behavior ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| Том 16, № 4 (2009) | Циклы и торы деловой активности в одной математической модели макроэкономики | Аннотация PDF (Rus) похожие документы |
| Е. С. Кокуйкин, А. Н. Куликов | ||
| "... of the stable non-homogeneous invariant torus has been shown. ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... , invariants such as characteristic strings of the set and of its number of elements are used for verification ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... (in particular, on the control object), invariants of the control cycle, pre- and postconditions of external ..." | ||
| Том 24, № 6 (2017) | Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| Том 25, № 4 (2018) | Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин | ||
| Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
| "... We study the verification of the soundness property for workflow nets extended with resources ..." | ||
| Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| Том 25, № 6 (2018) | Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| Том 27, № 3 (2020) | Применение свёрточных нейронных сетей для распознавания длинных конструктивных элементов рельсов на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| 1 - 75 из 89 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
