Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen | lit.salon