TY - EBOOK T1 - Validierung eines Petrinetz-basierten Steuerungssystems AU - Vesper, Tobias AU - Weber, Michael PY - 2005 LA - ger PB - Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik DO - http://dx.doi.org/10.18452/2446 ER -