Title: Wissensdarstellung und -verarbeitung auf der Basis von Petri-Netzen