Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... . Метод основан на преобразовании исходной модели в сеть Петри, расчёте инвариантов и дальнейшем обратном ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... мощностью, как сети Петри с одной неограниченной позицией и магазинные автоматы с односимвольным стековым ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... В данной работе рассматривается с формальной точки зрения метод построения сетей Петри ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели ..."
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... бесконечных сетей Петри. Построены модели структур квадратных решеток в форме параметрических сетей Петри для ..."
 
Том 20, № 4 (2013) О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Ирина Александровна Ломазова
"... Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри. Определяется ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... формате ARIS EPC в одноцветную сеть Петри. Полученное в результате преобразования матричное представление ..."
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация  PDF (Rus)  похожие документы
П. Е. Ефимова
"... , сформулирована её концептуальная модель на основе сетей Петри, разработана математическая модель на основе метода ..."
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... раскрашенные сети Петри. Описываемые правила трансляции охватывают большинство конструкций стандарта, включая ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... @gmail.com получена 23 августа 2014 Ключевые слова: Извлечение и анализ процессов, сети Петри, журналы ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... верификация UCM моделей проводится с помощью раскрашенных сетей Петри (РСП) и верификатора SPIN. Приводятся ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... , Москва, ул. Мясницкая, 20 Ключевые слова: сети Петри, высокоуровневые модели процессов, журналы событий ..."
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... Сеть Петри называется элементарной, если каждое ее место может содержать не более одной фишки. В ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... высокоуровневой модели. Ключевые слова: сети Петри, высокоуровневые модели процессов, журналы событий, Process ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... модель процесса в виде сети Петри и журнал событий. Результатом корректировки должна быть новая модель ..."
 
Том 24, № 4 (2017) О пространственной ограниченности клеточных Р-сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... Клеточные Р-сети — обобщение концепции двухуровневых ресурсных сетей (сетей Петри) на случай ..."
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... . Односчетчиковые сети эквивалентны по выразительной мощности сетям Петри с не более чем одной неограниченной ..."
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
"... Построена ингибиторная сеть Петри с фиксированной структурой, которая выполняет произвольный ..."
 
Том 25, № 2 (2018) Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам Аннотация  PDF (Rus)  похожие документы
Татьяна Рудольфовна Шмелёва
"... . Построена модель вычислительной решетки в форме раскрашенной сети Петри с узлом, реализующим сквозную ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... : сетями Петри, средствами исчисления параллельных взаимодействующих процессов (CCS) и темпоральной логики ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... автоматов в раскрашенные сети Петри (РСП), представленном и обоснованном в [4]. Для анализа РСП комплекс ASV ..."
 
1 - 29 из 29 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)