Универсальная сеть Петри
Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мер...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2012 |
| Автор: | Зайцев, Д.А. |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84122 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
за авторством: Зайцев, Д.А.
Опубліковано: (2012) -
О гомоморфизме компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2014) -
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015) -
Моделирование сердечной деятельности на основе сетей Петри
за авторством: Кузьмук, В.В., та інші
Опубліковано: (2014) -
Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
за авторством: Зайцев, Д.А., та інші
Опубліковано: (2010)