Generating and using state spaces of object-oriented Petri nets