Связь сетей Петри с бесскобочной польской записью

Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения — переменных и констант. Предложены та...

Повний опис

Збережено в:

Бібліографічні деталі
Видавець:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
Дата:	2016
Автор:	Статкевич, В.М.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2016
Назва видання:	Системні дослідження та інформаційні технології
Теми:	Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/134009
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:	Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-134009
record_format	dspace
spelling	irk-123456789-1340092018-06-11T03:03:08Z Связь сетей Петри с бесскобочной польской записью Статкевич, В.М. Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения — переменных и констант. Предложены также ингибиторные сети Петри для указанных языков, позволяющие формировать вещественные числа в двоичной записи с фиксированной точкой в арифметических выражениях. Метод построения сетей позволяет использовать произвольные функции заданной арности. Предложена цветная сеть Петри для вычисления значений пропозициональных формул в обратной польской записи. Метод построения сети позволяет использовать произвольные функции заданной арности с применением таблицы истинности соответствующей функции. Розглянуто мережі Петрі, які породжують мови бездужкового польського запису та оберненого польського запису для пропозиційних формул та арифметичних виразів. Пропозиційні формули можуть містити задану кількість змінних, а арифметичні вирази — змінних та констант. Запропоновано також інгібіторні мережі Петрі для вказаних мов, які дозволяють формувати дійсні числа у двійковому записі з фіксованою точкою у арифметичних виразах. Метод побудови мереж дозволяє використовувати довільні функції заданої арності. Запропоновано кольорову мережу Петрі для обчислення пропозиційних формул в оберненому польському записі. Метод побудови мережі дозволяє застосовувати довільні функції заданої арності з використанням таблиці правдивості відповідної функції. We propose Petri nets that produce languages of Polish notation and reverse Polish notation for propositional formulas and mathematical expressions. Propositional formulas can contain a given number of variables and mathematical expressions. Arithmetic expressions can contain a given number of variables and constants. We also propose inhibitor nets that produce the fixed-point binary numbers in mathematical expressions for above-mentioned languages. The technique of the nets construction allows to use arbitrary functions with a given arity. We also propose a coloured Petri net for calculating values of propositional formulas in reverse Polish notation. The technique of the net construction allows to use arbitrary functions with a given arity using a truth table of a corresponding function. 2016 Article Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос. 1681–6048 DOI: doi.org/10.20535/SRIT.2308-8893.2016.2.01 http://dspace.nbuv.gov.ua/handle/123456789/134009 519.711.7+519.6 ru Системні дослідження та інформаційні технології Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
spellingShingle	Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи Статкевич, В.М. Связь сетей Петри с бесскобочной польской записью Системні дослідження та інформаційні технології
description	Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения — переменных и констант. Предложены также ингибиторные сети Петри для указанных языков, позволяющие формировать вещественные числа в двоичной записи с фиксированной точкой в арифметических выражениях. Метод построения сетей позволяет использовать произвольные функции заданной арности. Предложена цветная сеть Петри для вычисления значений пропозициональных формул в обратной польской записи. Метод построения сети позволяет использовать произвольные функции заданной арности с применением таблицы истинности соответствующей функции.
format	Article
author	Статкевич, В.М.
author_facet	Статкевич, В.М.
author_sort	Статкевич, В.М.
title	Связь сетей Петри с бесскобочной польской записью
title_short	Связь сетей Петри с бесскобочной польской записью
title_full	Связь сетей Петри с бесскобочной польской записью
title_fullStr	Связь сетей Петри с бесскобочной польской записью
title_full_unstemmed	Связь сетей Петри с бесскобочной польской записью
title_sort	связь сетей петри с бесскобочной польской записью
publisher	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
publishDate	2016
topic_facet	Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
url	http://dspace.nbuv.gov.ua/handle/123456789/134009
citation_txt	Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.
series	Системні дослідження та інформаційні технології
work_keys_str_mv	AT statkevičvm svâzʹsetejpetrisbesskobočnojpolʹskojzapisʹû
first_indexed	2023-10-18T21:07:09Z
last_indexed	2023-10-18T21:07:09Z
_version_	1796151972893556736

Связь сетей Петри с бесскобочной польской записью

Репозиторії

Схожі ресурси