Application and Theory of Petri Nets and Concurrency Cham : Springer, 2016 (2016), Seite 39-58 Online-Ressource (XVI, 345 p. 114 illus, online resource)
Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Computer science; Computer software; Mathematical Logic and Formal Languages; Mathematics of Computing; Software engineeringPetri-NetzEntscheidbarkeitStellen-Transitions-NetzErreichbarkeitBeschränktheitÜberdeckungEntscheidungsproblemPackungNetzGerichteter Graph
Literaturverzeichnis: Seiten 363-366 ; 1. Auflage unter dem Titel "Theoretische Informatik - Petri-Netze"
Algorithm Analysis and Problem Complexity; Combinatorics; Computation by Abstract Devices; Computer science; Computer software; Logic, Symbolic and mathematical; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics of ComputingPetri-NetzNebenläufigkeitFormale SpracheInterleavingBerechenbarkeitErreichbarkeitEntscheidbarkeitEntscheidungsproblemRekursionstheorieBerechnungstheorieNetzGerichteter GraphNachrichtenübertragungstechnikKommunikationstechnikKunstspracheLogische SpracheParalleler ProzessProzessalgebraNichtsequentielle Programmierung
eXamen.press
eXamen.press$$Cearlier_title $$VVorangegangen ist Priese, Lutz Theoretische Informatik Berlin : Springer, 2003 IX, 376 S. 3540442898