7.3Petri-Netze

Erreichbarkeit in Petri-Netzen

Welche Zustände kann ein Netz überhaupt annehmen? Der Erreichbarkeitsgraph beantwortet das – solange er endlich bleibt.

Leitformel
s′∈E(s)⟺s [w⟩ s′ fu¨r ein w∈T∗s' \in \mathcal E(s) \quad \Longleftrightarrow \quad s \,[w\rangle\, s' \ \text{für ein } w \in T^*
s′∈E(s)s' \in \mathcal E(s)⟺s [w⟩ s′ fu¨r ein w∈T∗\Longleftrightarrow s \,[w\rangle\, s' \ \text{für ein } w \in T^*
Lernziel

Erreichbarkeitsgraphen konstruieren, Erreichbarkeitsmengen bestimmen und die Entscheidbarkeit von Erreichbarkeits- und Gleichheitsproblem einordnen.

Einheit wird geladen …