Формалізація конфліктів при колективному проектуванні за допомогою розширеної мережі Петрі