Sortings for Reactive Systems