Frage zu Prozessausdruck mit Gleichungssystem

Sonnentag
Nichts ist wie es scheint
Beiträge: 23
Registriert: 4. Mär 2016 14:05

Frage zu Prozessausdruck mit Gleichungssystem

Beitrag von Sonnentag »

Muss man bei P und Q eigentlich jeweils zum anderen Prozessausdruck zurückkehren können? Oder reicht es, wenn man von einen aus den anderen verweist?

Hier mal ein Beispiel. Ich habe folgenden Automaten, welchen ich als Gleichungssystem darstellen möchte:

Bild

Als Gleichungssystem hätte ich:

\(P=_{E} ((a \to (b \to Q)) \sqcap (b \to (a \to P)))\)
\(Q=_{E} (c \to Q)\)

Könnte man das so schreiben? Oder wie würde man das Gleichungssystem aufbauen?

trojan
Windoof-User
Windoof-User
Beiträge: 32
Registriert: 12. Jun 2011 23:03

Re: Frage zu Prozessausdruck mit Gleichungssystem

Beitrag von trojan »

Die Gleichung hab ich auch so aufgeschrieben. Dass man zum anderen Prozessausdruck zurückkehren muss, ist denke ich nicht notwendig. Steht auch nix in den Folien dazu.

Antworten

Zurück zu „Archiv“