Пусть дана сеть Петри, в которой каждому переходу

соответствует некоторая строка

. Каждой последовательности разрешённых переходов

, переводящей маркировку

в

, поставим в соответствие строку

. Пусть
язык сети — это множество всех таких строк.
Скажите, где можно почитать исследования по таким вот языкам и их грамматикам. Не совсем понятно, обязательно ли грамматика будет контекстно-свободной и как её получить из сети.
Например, сеть с позициями

, переходами

, входными позициями переходов

, выходными позициями

и строками

. У языка аналогичной сети с двумя переходами со строками

есть очевидная грамматика

, строки этого языка — правильные скобочные последовательности. Пока никак не дойдёт, есть ли и какая КС-грамматика для языка указанной выше сети; первый блин

вышел комом.