Text this: The complexity of Petri net transformations