Автоматизована система обробки інформації «Захист аудіоінформації»: реєстратори, канали витоку, засоби захисту

Abstract

Наведено інкрементаційний метод для побудови динамічного опису виробу та процесів його виготовлення у САПР ТП із використанням високорівневих мереж Петрі для інтеграції знань, поданих у вигляді продукційних правил і фреймів. Запропоновано методику вирішення конфліктів у моделях, побудованих із використанням високорівневих мереж Петрі. The work presented incremental method for dynamic description of the product and its manufacturing processes in CAD TP using high-level Petri nets for integration of knowledge represented as production rules and frames. The method of resolving conflicts in models has been built using high-level Petri nets.