Petri-Netz < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 13:00 Do 16.03.2006 | | Autor: | Herby |
| Aufgabe | gegeben ist folgendes System:
[mm] R=((S_{R},T_{R},F_{R},w_{R}),m_{R})
[/mm]
wobei:
[mm] S_{R}=\{s_{1},s_{2},s_{3},s_{4},s_{5}\}
[/mm]
[mm] T_{R}=\{t_{1},t_{2},t_{3},t_{4}\}
[/mm]
[mm] F_{R}=\{(s_{1},t_{1}),(s_{2},t_{2}),(s_{3},t_{3}),(s_{4},t_{4}),(s_{5},t_{1}),(s_{5},t_{3})\} \cup \{(t_{2},s_{1}),(t_{1},s_{1}),(t_{3},s_{4}),(t_{4},s_{3}),(t_{2},s_{5}),(t_{4},s_{5})\}
[/mm]
[mm] w_{R}(x)::=\begin{cases} 3 & \mbox{falls } x=(t_{2},s_{5}) \mbox{ oder} x=(s_{5},t_{1}) \\ 1 & \mbox{sonst } \end{cases}
[/mm]
[mm] m_{R}::=s_{1}\rightarrow2,s_{2}\rightarrow0,s_{3}\rightarrow3,s_{4}\rightarrow1,s_{5}\rightarrow2 [/mm] |
Salut Zusammen,
ich könnte bei oben angegebenem System alle weiteren Folgezustände [mm] m_{R_{n}} [/mm] einzeln angeben.
... aus jedem neuen Zustand heraus resultiert dann eine entsprechende Anzahl weiterer Zustände.
1. Frage: gibt es eine Möglichkeit, den Folgezustand mit einer Formel darzustellen
2. Frage: Woran erkenne ich in einem solchen System, ob dieses "deadlockfrei" ist - wenn ich es überhaupt erkennen kann ![[kopfkratz3]](/images/smileys/kopfkratz3.gif "[kopfkratz3]")
Liebe Grüße
Herby
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:56 Fr 17.03.2006 | | Autor: | Herby |
.... die Frage hat sich vorerst mal erledigt, ist aber nicht geklärt 
komme später darauf zurück
lg
Herby
|
|
|
|
