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

• Published in: Системні дослідження та інформаційні технології
• Date: 2016
• Main Author: Статкевич, В.М.
• Format: Article
• Language: Russian
• Published: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2016
• Subjects: Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/134009
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.

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