Так же, как и в случае О-сети, возникает проблема неадекватных S-сетей, которые, если их интерпретировать как последовательно-альтернативные процессы, оказываются неприемлемыми как реальные процессы. Среди О-сетей выделялись - плотные О-сети, для которых синтаксические ( сетевые) и семантические представления соответствовали друг другу. С учетом теоремы 7.4 это означает, что L - плотная сеть не содержит ни одной пары непересекающихся li - сечений и al - сечений. По определению последовательно-альтернативного процесса в каждой полной альтернативе должно реализоваться ровно одно действие. Таким образом, указанные топологические альтернативы могут в действительности не иметь места.
