From 4bb6dad29d2f00554059d18f21678ed508496c59 Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Thu, 4 Dec 2014 11:29:05 +0100 Subject: [PATCH] =?UTF-8?q?FGI2:=20Aufgabe=208.5.2=20und=208.5.3=20gel?= =?UTF-8?q?=C3=B6st?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- fgi2/Blatt8/Aufgabenblatt8.tex | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) 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}