Title: A structuring mechanism for Petri nets