Сокращение частичного порядка — это техника уменьшения пространства состояний, исследуемого при проверке моделей, планировании или расписании. Она использует случаи, когда разные порядки независимых действий приводят к эквивалентным состояниям.
A technique for reducing the size of the state-space to be searched by a model checking or automated planning and scheduling algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state when executed in different orders.