TY - EJOUR T1 - Two Pumping Lemmata for Petri Nets AU - Burkhard, Hans-Dieter PY - 1981 LA - eng PB - Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II JO - Elektronische Informationsverarbeitung und Kybernetik (EIK) DO - http://dx.doi.org/10.18452/9418 ER -