Title: Petri-Netze
Subjects: Symbolic and mathematical Logic, Formale Sprache, Berechenbarkeit, Petri-Netz, Entscheidbarkeit, Nebenla ufigkeit, Erreichbarkeit, Computer science, Combinatorial analysis, Interleaving, Computer software