Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven.