Fig. 13
From: A symbolic model checking approach in formal verification of distributed systems

The generated graphical transition diagram of Example 2 in a original and b reduced model
From: A symbolic model checking approach in formal verification of distributed systems
The generated graphical transition diagram of Example 2 in a original and b reduced model