Verifikation verteilter Systeme (Petrinetze)

Dozent: Prof. Karsten Wolf
      Az.
Grundlagen   7
Erreichbarkeitsgraph   8
Überdeckbarkeitsgraph   7
Stubborn-Set   7
Symmetrie   8
Sweep-Line-Methode   8
Netzreduktion   7
Strukturanalyse I   15
Zustandsmaschine   9
Synchronisationsgraph   9
Free-Choice-Netz   15
Lebendigkeit     
Erreichbarkeit     
Beschränktheit     
Verklemmungsfreiheit     
Reversibilität     
Home-State     
High-Level-Netze   1
FAQKontaktImpressumDatenschutz Nutzungs­bedingungen
© 2015 - 2024 Philipp Schweers