Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
Модифицированные сети Петри, описание поведения с помощью формальных языков
Other title:
Պետրիի ձևափոխված ցանցեր, վարքի նկարագիրը ֆորմալ լեզուների օգնությամբ
Creator:
Subject:
Mathematics ; Computer software
Uncontrolled Keywords:
Coverage:
Abstract:
В работе вводится понятие модифицированной сети Петри. По заданной КС-грамматике (контекстно-свободной грамматике) строится эквивалентная по порождаемому языку модифицированная сеть Петри, являющася расширением стандартной сети Петри с помощью сдерживаюших позиций.