diff --git a/fgi2/Blatt8/Aufgabenblatt8.tex b/fgi2/Blatt8/Aufgabenblatt8.tex index 954de95..ad10ea0 100644 --- a/fgi2/Blatt8/Aufgabenblatt8.tex +++ b/fgi2/Blatt8/Aufgabenblatt8.tex @@ -659,11 +659,13 @@ \section{} %8.4 \section{} %8.5 \subsection{} - Diese Transitionen sind nebenläufig, können also unabhängig voneinander schalten und stehen nicht in Konflikt. + Diese Transitionen sind nebenläufig, können also unabhängig voneinander schalten. \subsection{} - Diese Stellen sind ?nebenläufig?. + Diese Stellen sind Teil eines Stellenschnittes, einer erreichbaren Markierung. \subsection{} - %TODO + Jeder Prozess ist ein Kausalnetz mit einem Abbildungspaar, welches die Bedingungen auf Stellen und die Ereignisse auf Transitionen abbildet. Das zu einem Prozess gehörende Kausalnetz ist vorgängerendlich. + + Es gibt jedoch auch Kausalnetze, die nicht vorgängerendlich sind und damit keine Prozesse. \subsection{} %TODO \end{document}