TY - THES T1 - Petrinetze zum Entwurf selbststabilisierender Algorithmen AU - Vesper, Tobias PY - 2000 LA - ger PB - Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II DO - http://dx.doi.org/10.18452/14595 ER -