Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «“Истинно параллельная” и недетерминированная семантика дискретно-временных сетей Петри, "Программирование"»

Авторы:
  • Вирбицкайте И.Б.1
  • Боровлёв В.А.2
  • Попова-Цейгманн Л.3
стр. 4-16
Платно
1 Институт, систем, информатики СО РАН; Новосибирский государственный университет, 2 Новосибирский государственный университет, 3 Берлинский университет им.Гумбольдта
  • В выпуске: №4, 2016
  • В журнале: Программирование
  • Издательство: ФГУП «Издательство «Наука»
  • Рубрика ГРНТИ: Информатика. Информационные и вычислительные системы
  • Год выхода: 2016
  • SDI: 007.001.0132-3474.2016.000.004.4.16
  • ISSN: 0132-3474
Аннотация:
В статье определяется “истинно параллельная” и недетерминированная семантика в терминах ветвящихся процессов дискретно-временных сетей Петри (ДВСП), в которых возможно бесконечное число переходов и мест, неограниченное количеством фишек в местах, и (максимальные) шаги срабатывания параллельных переходов, что позволяет считать данный класс ДВСП самым мощным из известных ранее. Доказывается, что развертка (максимальный ветвящийся процесс) ДВСП является наибольшим элементом полной решетки, построенной на ветвящихся процессах ДВСП с шаговой семантикой. Кроме того, показывается, что этот результат верен и для случая максимальных шагов срабатывания переходов, но только если наложены дополнительные ограничения на структуру и поведение ДВСП.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.