Petri net modules in the transformation-based component framework