Titlebook: Entscheidbarkeit bei Petri Netzen; Überblick und Kompen Harro Wimmel Textbook 2008 Springer-Verlag Berlin Heidelberg 2008 Entscheidbar.Ents

善辩

Condyle

Das Erreichbarkeitsproblem,In diesem Kapitel stellen wir einen Algorithmus vor, der das Erreichbarkeitsproblem löst.

LUDE

Elementare Markierungsprobleme,Wir untersuchen jetzt einige Fragestellungen, die sich auf eine oder mehrere Markierungen eines Petri Netzes beziehen. Solche Fragen sind typischerweise eng mit dem Erreichbarkeitsproblem verwandt und lassen sich meist dadurch lösen, dass man den Algorithmus zur Lösung des Erreichbarkeitsproblems mehr oder minder geringfügig modifiziert.

ELUC

Feuersequenzen und Sprachen,Während wir uns in den vergangenen Kapiteln stets mit Zuständen von Petri Netzen befasst haben, wollen wir in diesem Kapitel nun die Feuersequenzen und die Sprachen von Petri Netzen in den Vordergrund stellen. Wir verweisen auf den Abschnitt 2.2.5 für die grundlegenden Definitionen.

尊敬

Mosaic

https://doi.org/10.1007/978-3-540-85471-5Entscheidbar; Entscheidbarkeit; Erreichbarkeitsproblem; Informatik; Klasse; Mengen; Petri Netze; Petri-Netz

善辩

加强防卫

https://doi.org/10.1007/978-3-8348-9016-0hrend dieser Abschnitt und der folgende über Petri Netze eher zum Nachschlagen und zum Abgleich der Notationen nützlich sind und nicht unbedingt gelesen werden müssen, enthält der dritte Abschnitt "Überdeckungsgraphen" für das gesamte Buch wichtige Definitionen, die sich etwas von den bekannten Stan

追踪

是贪求