II.2. Exploring Model Properties

More:

II.2.1. Overview

II.2.2. Incidence Matrix

II.2.3. Behavioral Properties

II.2.4. Structural Properties

II.2.5. Invariants