ГОСТ Р ИСО 18629-13-2011
Все теории,представленныев настоящемстандарте,являются
расширениями теорий, изложенных в ИСО 18629-12.
6 Теория упорядочения элементов субопераций
В теории упорядочения элементов субопераций вводятся понятия,
необходимые дляпредставленияинтуитивно воспринимаемых понятий,
связанных с последовательностью выполнения технологических операций и
частичного упорядоченияэлементовсубопераций,из которыхсостоит
комплексная операция.
6.1 Примитивные отношения в теории упорядочения элементов
субопераций
Нелогическаялексикатеории упорядоченияэлементов субопераций
содержит два следующих примитивных символа отношений, а именно:
- soo;
- soo.precedes.
Нелогическаялексикатеории упорядоченияэлементов субопераций
содержит одну примитивнуюфункцию отношений, а именно:
- soomap.
6.2 Определяющие отношения в теории упорядочения элементов
субопераций
Нелогическаялексикатеории упорядоченияэлементов субопераций
содержит следующие определяющие символы отношений:
- root..soo;
- leaf^soo;
- next subactivity.
6.3 Связь с другими группами аксиом
Теория упорядочения элементов субопераций требует использования
следующих теорий:
10