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

Скорочена інформація про документ
dc.contributor.authorСтаткевич, Виталий Михайлович
dc.contributor.authorСтаткевич, Віталій Михайлович
dc.contributor.authorStatkevich, Vitaly Mikhailovych
dc.date.accessioned2017-03-03T11:20:15Z
dc.date.available2017-03-03T11:20:15Z
dc.date.issued2016
dc.description.abstractenWe 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.uk
dc.description.abstractruРассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения— переменных и констант. Предложены также ингибиторные сети Петри для указанных языков, позволяющие формировать вещественные числа в двоичной записи с фиксированной точкой в арифметических выражениях. Метод построения сетей позволяет использовать произвольные функции заданной арности. Предложена цветная сеть Петри для вычисления значений пропозициональных формул в обратной польской записи. Метод построения сети позволяет использовать произвольные функции заданной арности с применением таблицы истинности соответствующей функции.uk
dc.description.abstractukРозглянуто мережі Петрі, які породжують мови бездужкового польського запису та оберненого польського запису для пропозиційних формул та арифметичних виразів. Пропозиційні формули можуть містити задану кількість змінних, а арифметичні вирази — змінних та констант. Запропоновано також інгібіторні мережі Петрі для вказаних мов, які дозволяють формувати дійсні числа у двійковому записі з фіксованою точкою у арифметичних виразах. Метод побудови мереж дозволяє використовувати довільні функції заданої арності. Запропоновано кольорову мережу Петрі для обчислення пропозиційних формул в оберненому польському записі. Метод побудови мережі дозволяє застосовувати довільні функції заданої арності з використанням таблиці правдивості відповідної функції.uk
dc.format.pagerangeС. 7-13uk
dc.identifier.citationСтаткевич В. М. Связь сетей Петри с бесскобочной польской записью / В. М. Статкевич // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2016. – № 2. – С. 7–13. – Бібліогр.: 8 назв.uk
dc.identifier.doihttps://doi.org/10.20535/SRIT.2308-8893.2016.2.01
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/19177
dc.language.isoruuk
dc.publisherНТУУ "КПІ"uk
dc.publisher.placeКиївuk
dc.source.nameСистемні дослідження та інформаційні технології : міжнародний науково-технічний журналuk
dc.status.pubpublisheduk
dc.subjectсеть Петриru
dc.subjectингибиторная сеть Петриru
dc.subjectцветная сеть Петриru
dc.subjectязык сети Петриru
dc.subjectбесскобочная польская записьru
dc.subjectобратная польская записьru
dc.subjectмережа Петріuk
dc.subjectінгібіторна мережа Петріuk
dc.subjectкольорова мережа Петріuk
dc.subjectмова мережі Петріuk
dc.subjectбездужковий польський записuk
dc.subjectобернений польський записuk
dc.subjectPetri neten
dc.subjectinhibitor Petri neten
dc.subjectcoloured Petri neten
dc.subjectPetri net languageen
dc.subjectPolish notationen
dc.subjectreverse Polish notationen
dc.subject.udc519.711.7+519.6uk
dc.titleСвязь сетей Петри с бесскобочной польской записьюuk
dc.title.alternativeЗв’язок мереж Петрі з бездужковим польським записомuk
dc.title.alternativeConnection between Petri nets and Polish notationuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
GM_01Statkevich.pdf
Розмір:
457.34 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.8 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2