Зв’язок мереж Петрі з бездужковим польським записом
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 varia...
Gespeichert in:
| Datum: | 2016 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2016
|
| Schlagworte: | |
| Online Zugang: | http://journal.iasa.kpi.ua/article/view/59334 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | System research and information technologies |
Institution
System research and information technologies| _version_ | 1856543160826593280 |
|---|---|
| author | Statkevich, Vitaly M. |
| author_facet | Statkevich, Vitaly M. |
| author_sort | Statkevich, Vitaly M. |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2018-03-30T15:27:05Z |
| description | 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. |
| first_indexed | 2025-07-17T10:19:50Z |
| format | Article |
| id | journaliasakpiua-article-59334 |
| institution | System research and information technologies |
| language | Russian |
| last_indexed | 2025-07-17T10:19:50Z |
| publishDate | 2016 |
| publisher | The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| record_format | ojs |
| spelling | journaliasakpiua-article-593342018-03-30T15:27:05Z Connection between Petri nets and Polish notation Связь сетей Петри с бесскособочной польской записью Зв’язок мереж Петрі з бездужковим польським записом Statkevich, Vitaly M. Petri net inhibitor Petri net coloured Petri net Petri net language Polish notation reverse Polish notation сеть Петри ингибиторная сеть Петри цветная сеть Петри язык сети Петри бесскобочная польская запись обратная польская запись мережа Петрі інгібіторна мережа Петрі кольорова мережа Петрі мова мережі Петрі бездужковий польський запис обернений польський запис 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. Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения — переменных и констант. Предложены также ингибиторные сети Петри для указанных языков, позволяющие формировать вещественные числа в двоичной записи с фиксированной точкой в арифметических выражениях. Метод построения сетей позволяет использовать произвольные функции заданной арности. Предложена цветная сеть Петри для вычисления значений пропозициональных формул в обратной польской записи. Метод построения сети позволяет использовать произвольные функции заданной арности с применением таблицы истинности соответствующей функции. Розглянуто мережі Петрі, які породжують мови бездужкового польського запису та оберненого польського запису для пропозиційних формул та арифметичних виразів. Пропозиційні формули можуть містити задану кількість змінних, а арифметичні вирази — змінних та констант. Запропоновано також інгібіторні мережі Петрі для вказаних мов, які дозволяють формувати дійсні числа у двійковому записі з фіксованою точкою у арифметичних виразах. Метод побудови мереж дозволяє використовувати довільні функції заданої арності. Запропоновано кольорову мережу Петрі для обчислення пропозиційних формул в оберненому польському записі. Метод побудови мережі дозволяє застосовувати довільні функції заданої арності з використанням таблиці правдивості відповідної функції. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2016-08-11 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/59334 10.20535/SRIT.2308-8893.2016.2.01 System research and information technologies; No. 2 (2016); 7-13 Системные исследования и информационные технологии; № 2 (2016); 7-13 Системні дослідження та інформаційні технології; № 2 (2016); 7-13 2308-8893 1681-6048 ru http://journal.iasa.kpi.ua/article/view/59334/71108 Copyright (c) 2021 System research and information technologies |
| spellingShingle | мережа Петрі інгібіторна мережа Петрі кольорова мережа Петрі мова мережі Петрі бездужковий польський запис обернений польський запис Statkevich, Vitaly M. Зв’язок мереж Петрі з бездужковим польським записом |
| title | Зв’язок мереж Петрі з бездужковим польським записом |
| title_alt | Connection between Petri nets and Polish notation Связь сетей Петри с бесскособочной польской записью |
| title_full | Зв’язок мереж Петрі з бездужковим польським записом |
| title_fullStr | Зв’язок мереж Петрі з бездужковим польським записом |
| title_full_unstemmed | Зв’язок мереж Петрі з бездужковим польським записом |
| title_short | Зв’язок мереж Петрі з бездужковим польським записом |
| title_sort | зв’язок мереж петрі з бездужковим польським записом |
| topic | мережа Петрі інгібіторна мережа Петрі кольорова мережа Петрі мова мережі Петрі бездужковий польський запис обернений польський запис |
| topic_facet | Petri net inhibitor Petri net coloured Petri net Petri net language Polish notation reverse Polish notation сеть Петри ингибиторная сеть Петри цветная сеть Петри язык сети Петри бесскобочная польская запись обратная польская запись мережа Петрі інгібіторна мережа Петрі кольорова мережа Петрі мова мережі Петрі бездужковий польський запис обернений польський запис |
| url | http://journal.iasa.kpi.ua/article/view/59334 |
| work_keys_str_mv | AT statkevichvitalym connectionbetweenpetrinetsandpolishnotation AT statkevichvitalym svâzʹsetejpetrisbesskosobočnojpolʹskojzapisʹû AT statkevichvitalym zvâzokmerežpetrízbezdužkovimpolʹsʹkimzapisom |