2martens
/
uni
mirror of https://github.com/2martens/uni.git
1
0
Fork 0
Code Releases Activity

FGI2: Aufgabe 8.5.2 und 8.5.3 gelöst

This commit is contained in:
Jim Martens 2014-12-04 11:29:05 +01:00
parent 8d18c2e992
commit 4bb6dad29d
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
fgi2/Blatt8/Aufgabenblatt8.tex
View File

@ -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}