ГЛАВА 6

ЯЗЫКИ СЕТЕЙ ПЕТРИ

Материал гл. 4, 5 касался в основном вопросов, связанных с задачей достижимости, т. е. с достижимыми маркировками. Родственный, но совершенно отличный подход заключается в рассмотрении ие того, какие маркировки достижимы, этого, как их можно достичь. Поэтому главным объектом внимаиия являются переходы и, в частности, последовательности переходов, переводящих одну маркировку сети Петри в другую.

Последовательность переходов — это строка, а множество строк — язык. Таким образом, в этой главе мы займемся языками, определяемыми сетями Петри, и их свойствами.