Subclasses of Petri nets
Reachability analysis is too expensive
State equations give only partial information
Some properties are preserved by reduction rules
e.g. for liveness and safeness
Even reduction rules only work in some cases
Must restrict class in order to prove stronger results