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

FGI2: 8.5.3 korrigiert und erweitert

This commit is contained in:
Jim Martens 2014-12-04 17:57:30 +01:00
parent 4bb6dad29d
commit 96c4665ea7
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fgi2/Blatt8/Aufgabenblatt8.tex
View File

@ -663,9 +663,11 @@
\subsection{}
Diese Stellen sind Teil eines Stellenschnittes, einer erreichbaren Markierung.
\subsection{}
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.
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 und damit nicht Bestandteil von Prozessen sind.
Es gibt jedoch auch Kausalnetze, die nicht vorgängerendlich sind und damit keine Prozesse.
Der strukturelle Unterschied besteht darin, dass Kausalnetze aus Bedingungen und Ereignissen bestehen, wohingegen Prozesse ein Kausalnetz referenzieren und eine Abbildung von Bedingungen und Ereignissen auf Plätze und Transitionen enthalten. Naiv gesehen könnte man sagen, dass Kausalnetze weniger umfassen als Prozesse.
Rein zahlenmäßig ist das Verhältnis jedoch umgekehrt, wie bereits mit der Vorgängerendlichkeit beschrieben.
\subsection{}
%TODO
\end{document}