Сортировать по:
| Выпуск | Название | |
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели ..." | ||
| Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
| Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
| "... Сеть Петри называется элементарной, если каждое ее место может содержать не более одной фишки ..." | ||
| Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов | ||
| "... Рассматривается вопрос - какие графы изоморфны графам достижимости сетей Петри. Графы достижимости ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| "... . Построена модель вычислительной решетки в форме раскрашенной сети Петри с узлом, реализующим сквозную ..." | ||
| Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
| "... Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... которой регистрируется в журнале событий, соответствует ее модели, например, в виде сети Петри ..." | ||
| Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
| Владимир Анатольевич Башкин | ||
| "... ). Известно, что подобие ресурсов неразрешимо для обыкновенных сетей Петри. В этой статье мы изучаем свойства ..." | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| "... в формате ARIS EPC в одноцветную сеть Петри. Полученное в результате преобразования матричное представление ..." | ||
| Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... мощности сетям Петри, но при этом обладающий простым модульным синтаксисом. Ограниченность и живость ..." | ||
| Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
| "... Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри. Определяется ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... . Метод основан на преобразовании исходной модели в сеть Петри, расчёте инвариантов и дальнейшем обратном ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... мощностью, как сети Петри с одной неограниченной позицией и магазинные автоматы с односимвольным стековым ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... В данной работе рассматривается с формальной точки зрения метод построения сетей Петри ..." | ||
| Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... . Односчетчиковые сети эквивалентны по выразительной мощности сетям Петри с не более чем одной неограниченной ..." | ||
| Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... бесконечных сетей Петри. Построены модели структур квадратных решеток в форме параметрических сетей Петри для ..." | ||
| Том 18, № 4 (2011) | Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... Построена ингибиторная сеть Петри с фиксированной структурой, которая выполняет произвольный ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... и верификация UCM моделей проводится с помощью раскрашенных сетей Петри (РСП) и верификатора SPIN. Приводятся ..." | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... Клеточные Р-сети — обобщение концепции двухуровневых ресурсных сетей (сетей Петри) на случай ..." | ||
| Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
| П. Е. Ефимова | ||
| "... , сформулирована её концептуальная модель на основе сетей Петри, разработана математическая модель на основе метода ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... на основе расширения сетей Петри, позволяющая автоматическое построение на основе последовательного кода ..." | ||
| Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
| "... асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы ..." | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
| "... , we present an algorithm for discovering hierarchical process models represented as two-level workflow Petri ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... в раскрашенные сети Петри. Описываемые правила трансляции охватывают большинство конструкций стандарта, включая ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... , заданных формулами мю-исчисления, он использует систему Petri Net Verifier [12]. Описано применение этого ..." | ||
| Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация похожие документы |
| А. К. Бегичева, И. А. Ломазова | ||
| Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
| Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
| "... модель процесса в виде сети Петри и журнал событий. Результатом корректировки должна быть новая модель ..." | ||
| Том 14, № 4 (2007) | Сети активных ресурсов | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... построен как обобщение сетей Петри, в котором убрано разделение компонентов системы на активные и пассивные ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... -то: сетями Петри, средствами исчисления параллельных взаимодействующих процессов (CCS) и темпоральной логики ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... Петри. Они были предложены в работах [21, 15] как средство для распознавания языков, порождаемых ..." | ||
| Том 15, № 1 (2008) | Хореография сервисов в семантической сервис-ориентированной архитектуре | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Кашалкин, В. А. Курчидис | ||
| "... использует модель семантического реестра, представленную в виде сети Петри, и анализирует дерево достижимости ..." | ||
| Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... языков - регулярными, контекстно-свободными, контекстно-зависимыми языками и языками сетей Петри. ..." | ||
| Том 22, № 4 (2015) | Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов | Аннотация PDF (Rus) похожие документы |
| В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин | ||
| "... . В качестве ключевого параметра системы маршрутизации рассматривается коэффициент доступности узла функция ..." | ||
| 1 - 34 из 34 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
