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

• Veröffentlicht in: Системні дослідження та інформаційні технології
• Datum: 2016
• 1. Verfasser: Статкевич, В.М.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2016
• Schlagworte: Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/134009
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос.

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