login
Registrieren
Login
Bibliothek
Das System
Kontakt
Verifikation verteilter Systeme (Petrinetze)
Free-Choice-Netz
Liste
erweitert
Stapel lernen
drucken
Definition
Eigenschaften
Siphon und Eigenschaften
Trap und Eigenschaften
Weitere Eigenschaften von Siphons und Traps
Allokation
Commoners Theorem
Konfliktcluster
Lebendigkeit
Erreichbarkeit
Beschränktheit
Verklemmungsfreiheit
Reversibilität
Home-States
L und B
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier
geht's zur kostenlosen Registrierung.
FAQ
Kontakt
Impressum
Datenschutz
Nutzungsbedingungen
© 2015 - 2024 Philipp Schweers