Cтраница 3
Другими словами, старые переходы сохраняют в ординарной сети помечающие символы ( в том числе символы X, если исходная сеть содержит Х - переходы), а все дополнительные переходы становятся Х - переходами. Из соотношения между свободными языками исходной и построенной сетей и между помечающими функциями 2 и 2 следует, что как префиксные, так и терминальные языки этих сетей совпадают. Предлагаемое преобразование приводит в общем случае к тому, что помеченная сеть без Х - переходов преобразуется в ординарную помеченную сеть, содержащую Х - переходы. Теорема 3.3 говорит о невозможности избавиться в общем случае от Х - переходов, и, следовательно, не ясно, можно ли помеченную сеть Петри без Х - переходов преобразовать в ординарную помеченную сеть без Х - переходов. Однако в другой работе [44] Жак предложил новое преобразование, результатом применения которого к сети без Х - переходов является ординарная помеченная сеть ( в общем случае также с Х - переходами), которую можно преобразовать в эквивалентную сеть без Х - переходов. [31]
Другими словами, старые переходы сохраняют в ординарной сети помечающие символы ( в том числе символы X, если исходная сеть содержит Х - переходы), а все дополнительные переходы становятся Х - переходами. Из соотношения между свободными языками исходной и построенной сетей и между помечающими функциями 2 и 2 следует, что как префиксные, так и терминальные языки этих сетей совпадают. Предлагаемое преобразование приводит в общем случае к тому, что помеченная сеть без Х - переходов преобразуется в ординарную помеченную сеть, содержащую Х - переходы. Теорема 3.3 говорит о невозможности избавиться в общем случае от Х - переходов, и, следовательно, не ясно, можно ли помеченную сеть Петри без Х - переходов преобразовать в ординарную помеченную сеть без Х - переходов. Однако в другой работе [44] Жак предложил новое преобразование, результатом применения которого к сети без Х - переходов является ординарная помеченная сеть ( в общем случае также с Х - переходами), которую можно преобразовать в эквивалентную сеть без Х - переходов. [32]