Конструирование хорошо сформированных сетей Петри из типовых блоков

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