A Model Reduction Method for Parallel Software Testing

Table 1

The reduction results of every page.

	Peer1	Peer1-send	Peer1-receive	Peer2	Peer2-send	Peer2-receive
Places reduced	2	1	3	2	1	3
Transition reducted	2	1	3	2	1	3