A Formal Framework for Petri Net Class Transformations