Gedächtnisprotokoll FGI208-1 - Versionsgeschichte

1steenfa: Bot: Kosmetische Änderungen

2012-06-08T16:05:53Z

Bot: Kosmetische Änderungen

← Nächstältere Version		Version vom 8. Juni 2012, 16:05 Uhr
Zeile 13:		Zeile 13:
	Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden.		Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden.

	== P/T-Netze==		== P/T-Netze ==
	Gegeben ein P/T-Netz.		Gegeben ein P/T-Netz.

Zeile 29:		Zeile 29:

	Welches ist die richtige Definition einer Lebendigkeitsinvarianz		Welches ist die richtige Definition einer Lebendigkeitsinvarianz
	* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m_0): \phi(m')</math>		* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m_0): \phi(m')</math>
	* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m')</math>		* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m')</math>
	* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m) </math>		* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m) </math>

PatrickFey: sort

2008-07-15T17:49:52Z

sort

← Nächstältere Version		Version vom 15. Juli 2008, 17:49 Uhr
Zeile 66:		Zeile 66:
	sind		sind

	[[Kategorie:Gedaechtnisprotokoll]]		[[Kategorie:Gedaechtnisprotokoll\|FGI2]]

213.39.206.25: /* P/T-Netze */ +math-tag

2008-02-21T11:57:44Z

P/T-Netze: +math-tag

← Nächstältere Version		Version vom 21. Februar 2008, 11:57 Uhr
Zeile 21:		Zeile 21:
	* Ist der Erreichbarkeitsgraph endlich?		* Ist der Erreichbarkeitsgraph endlich?
	* Ist das Netz beschränkt?		* Ist das Netz beschränkt?
	* Sind p_1 und p_3 ''irgendwas''		* Sind <math>p_1</math> und <math>p_3</math> ''irgendwas''

	Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)		Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)
Zeile 29:		Zeile 29:

	Welches ist die richtige Definition einer Lebendigkeitsinvarianz		Welches ist die richtige Definition einer Lebendigkeitsinvarianz
	* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')		* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m_0): \phi(m')</math>
	* http:/~~/mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m_0)%20%5Cphi(m')~~		* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m')</math>
	* \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m')		* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m) </math>
	* http://mokrates.de/cgi-bin/~~texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m')~~
	* \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m)
	* http://~~mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m)~~

	Eine multiple-choice-Frage zum Parikh-Bild einer Markierung (\~~Phi~~(m)). Schade, dass es sowas nicht gibt.		Eine multiple-choice-Frage zum Parikh-Bild einer Markierung (<math>\Psi(m)</math>). Schade, dass es sowas nicht gibt.

	== Harel-Graphen ==		== Harel-Graphen ==

HannesStruss: /* Prozessterme */

2008-02-15T15:42:56Z

Prozessterme

← Nächstältere Version		Version vom 15. Februar 2008, 15:42 Uhr
Zeile 58:		Zeile 58:
	Multiple-Choice dazu.		Multiple-Choice dazu.

	Der Algorithmus zur Überprüfung eines CTL-Ausdrucks an einer ~~Krippke~~-Struktur hat eine Laufzeit von:		Der Algorithmus zur Überprüfung eines CTL-Ausdrucks an einer Kripke-Struktur hat eine Laufzeit von:
	* exponentiell		* exponentiell

HannesStruss: /* Harrel-Graphen */

2008-02-15T15:42:22Z

Harrel-Graphen

← Nächstältere Version		Version vom 15. Februar 2008, 15:42 Uhr
Zeile 38:		Zeile 38:
	Eine multiple-choice-Frage zum Parikh-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.		Eine multiple-choice-Frage zum Parikh-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

	== ~~Harrel~~-Graphen ==		== Harel-Graphen ==
	Es war ein ~~Harrel~~-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden.		Es war ein Harel-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden.

	Um was erweitern ~~Harrel~~-Graphen endliche Automaten?		Um was erweitern Harel-Graphen endliche Automaten?

	Definieren sie ''reaktives System (?)''		Definieren sie ''reaktives System (?)''

HannesStruss am 15. Februar 2008 um 15:37 Uhr

2008-02-15T15:37:10Z

← Nächstältere Version		Version vom 15. Februar 2008, 15:37 Uhr
Zeile 3:		Zeile 3:
	* Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),		* Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),
	* zwei zu P/T-Netzen,		* zwei zu P/T-Netzen,
	* eine zu ~~Harrel~~-Graphen,		* eine zu Harel-Graphen,
	* drei zu Prozesstermen (vor allem BPA),		* drei zu Prozesstermen (vor allem BPA),
	* eine zu Nachrichten in verteilten Systemen.		* eine zu Nachrichten in verteilten Systemen.

HannesStruss: /* P/T-Netze */

2008-02-15T15:36:28Z

P/T-Netze

← Nächstältere Version		Version vom 15. Februar 2008, 15:36 Uhr
Zeile 36:		Zeile 36:
	* http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m)		* http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m)

	Eine multiple-choice-Frage zum ~~Pharig~~-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.		Eine multiple-choice-Frage zum Parikh-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

	== Harrel-Graphen ==		== Harrel-Graphen ==

HannesStruss: /* Prozessterme */

2008-02-15T15:35:14Z

Prozessterme

← Nächstältere Version		Version vom 15. Februar 2008, 15:35 Uhr
Zeile 52:		Zeile 52:
	Markieren Sie bisimilare Knoten.		Markieren Sie bisimilare Knoten.

	Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.		Berechnen Sie beide Normalformen mit den Regeln R1 bis R5.

	Sind die Terme bisimilar? Warum?		Sind die Terme bisimilar? Warum?

HannesStruss: /* Harrel-Graphen */

2008-02-15T15:34:54Z

Harrel-Graphen

← Nächstältere Version		Version vom 15. Februar 2008, 15:34 Uhr
Zeile 43:		Zeile 43:
	Um was erweitern Harrel-Graphen endliche Automaten?		Um was erweitern Harrel-Graphen endliche Automaten?

	Definieren sie ''~~re-irgendwas~~''.		Definieren sie ''reaktives System (?)''

	== Prozessterme ==		== Prozessterme ==

80.171.23.233: +allgemeine bemerkungen

2008-02-15T12:00:14Z

+allgemeine bemerkungen

← Nächstältere Version		Version vom 15. Februar 2008, 12:00 Uhr
Zeile 1:		Zeile 1:
	__NOTOC__		__NOTOC__
	Es gab 13 Aufgaben.		Es gab 13 Aufgaben.
			* Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),
			* zwei zu P/T-Netzen,
			* eine zu Harrel-Graphen,
			* drei zu Prozesstermen (vor allem BPA),
			* eine zu Nachrichten in verteilten Systemen.

	~~Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),~~		Es war gut möglich die Aufgaben in den zwei Zeitstunden zu bearbeiten.

	~~zwei zu P/T-Netzen,~~		Interessant war die Überprüfung der Personalien beim Eintritt in den Hörsaal.

	~~eine zu Harrel-Graphen,~~		Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden.

	~~drei zu Prozesstermen (vor allem BPA),~~

	~~eine zu Nachrichten~~ in ~~verteilten Systemen~~.

	== P/T-Netze==		== P/T-Netze==