Подані основи композиційного аналізу мереж Петрі, що грунтується на знаходженні властивостей заданої Петрі за допомогою властивостей функціональних підмереж. Композиційний аналіз охоплює дослідження поведінкових та структурних властивостей мереж Петрі матричними методами, що використовують фундаментальне рівняння та інваріанти.
