Describir: Petri - Netzte in der Steuerungstechnik /