Об эквивалентности дискретных систем

На уровне абстрактного представления о дискретной системе, понимаемой как система событий, доказываются необходимые и достаточные условия эквивалентности. Системы сравниваются по представимости языков, а также множеств более сложной природы – полуязыков и П-языков, отражающих протекающие в системах параллельные (независимые) процессы. Частным случаем приводимых условий являются условия эквивалентности сетей Петри, автоматов, мультипроцессорных систем взаимосвязанных графов и др.