SMS versenden: Modularisierte Petri - Netze zur Beschreibung und analyse nachrichtentechnischer Systeme mit vermaschten informationsverarbeitende Strukturen /