Petri nets; Petri nets; LehrbuchPetri-NetzNebenläufigkeitFormale SpracheInterleavingBerechenbarkeitErreichbarkeitEntscheidbarkeitNetzGerichteter GraphEntscheidungsproblemRekursionstheorieBerechnungstheorieNachrichtenübertragungstechnikKommunikationstechnikKunstspracheLogische SpracheParalleler ProzessProzessalgebraNichtsequentielle Programmierung