5.1 Using Compressions

This section outlines the currently available methods for compressing the state machine representing a process, and gives some guidance in how and when to use them.

5.1.1 Methods of compression
5.1.2 Compressions in context