PNL: Frage zu MOBs und zu Faire Kripke Strukturen
2006-03-26 23:22
Anonymer User
Moin,
ich hab da zwei kleine Fragen bei denen ich einfach auf dem Schlauch stehe.
MOB-Netze
kann mir jemand umgangssprachlich erklären was f(z(s,t)) heißt. Das steht in der Defintion für die aktiviertheit einer Transition eines MOB-Netzes (Def 4.22 Seite 99)
Kripke-Strukturen
Ich versteh die Definition für eine Faire Kripke Struktur auf Seite 167 nicht. kann mir die jemand Schritt für Schritt erklären.
vielen Dank schon mal
ich hab da zwei kleine Fragen bei denen ich einfach auf dem Schlauch stehe.
MOB-Netze
kann mir jemand umgangssprachlich erklären was f(z(s,t)) heißt. Das steht in der Defintion für die aktiviertheit einer Transition eines MOB-Netzes (Def 4.22 Seite 99)
Kripke-Strukturen
Ich versteh die Definition für eine Faire Kripke Struktur auf Seite 167 nicht. kann mir die jemand Schritt für Schritt erklären.
vielen Dank schon mal