Title: Untersuchungen einer Klasse kooperierender sequentieller Prozessoren mit Hilfe von Petri-Netze