Інтеграція знань у САПР ТП із використанням високорівневих мереж Петрі
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.