Astrid Kiehn

• A structuring mechanism for Petri nets