For large nets, it may become impossible to calculate the entire
state graph. To make it smaller, you can reduce the net step by step.
In a
reduction step a sub-net is replaced by another sub-net
(generally with fewer places) in such a way that the net characteristics
of liveness, non-liveness, boundedness and non-boundedness are
preserved.