О построении правильных сетей Петри

Рассматривается задача построения заведомо правильных (“живых” и “безопасных”) сетей Петри произвольной размерности из блоков, правильность которых может быть легко установлена. Выявляются необходимые и достаточные условия правильности сети Петри и некоторые топологические свойства правильных блоков.