Petri-Netz - Definition Körper < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 14:59 Mo 02.03.2015 | | Autor: | Andreas386 |
| Aufgabe | Thus, a net is defined to be a triple (S,T,F) where
- S [mm] \cap [/mm] T = [mm] \emptyset [/mm] (state elemnts and transition elements are disjoint sets)
- S [mm] \cup [/mm] T = field (F) (there are neither unconnected state elements nor transition elements)
- F [mm] \neq \emptyset [/mm] (nets cannot be empty)
- F [mm] \subseteq [/mm] S [mm] \times [/mm] T [mm] \cup [/mm] T [mm] \times [/mm] S (the flow relation holds only between state elements and transition elements or vice-versa). |
Ich verstehe alle Zeilen von der Petri-Netz Definition von Petri, jedoch verstehe ich die Körperdefinition nicht, da es sich bei S und T nicht um Zahlen handelt, sondern um Mengen der Form: S = [mm] \{s_1, s_2\}; [/mm] T = [mm] \{t_1\}; F=\{(s_1, t_1); (t_1, s_2)\}. [/mm] Wie funktioniert hier die Addition und Multiplikation?
Quelle: https://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri/doc/GeneralNetTheory.pdf
Ich würde mich freuen, wenn mir jemand weiterhelfen könnte
Vielen Dank im Voraus!
Nur für Erst-Poster
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 15:21 Mo 02.03.2015 | | Autor: | fred97 |
> Thus, a net is defined to be a triple (S,T,F) where
> - S [mm]\cap[/mm] T = [mm]\emptyset[/mm] (state elemnts and transition
> elements are disjoint sets)
> - S [mm]\cup[/mm] T = field (F) (there are neither unconnected
> state elements nor transition elements)
> - F [mm]\neq \emptyset[/mm] (nets cannot be empty)
> - F [mm]\subseteq[/mm] S [mm]\times[/mm] T [mm]\cup[/mm] T [mm]\times[/mm] S (the flow
> relation holds only between state elements and transition
> elements or vice-versa).
> Ich verstehe alle Zeilen von der Petri-Netz Definition von
> Petri, jedoch verstehe ich die Körperdefinition nicht, da
> es sich bei S und T nicht um Zahlen handelt, sondern um
> Mengen der Form: S = [mm]\{s_1, s_2\};[/mm] T = [mm]\{t_1\}; F=\{(s_1, t_1); (t_1, s_2)\}.[/mm]
> Wie funktioniert hier die Addition und Multiplikation?
>
> Quelle:
> https://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri/doc/GeneralNetTheory.pdf
>
> Ich würde mich freuen, wenn mir jemand weiterhelfen
> könnte
>
> Vielen Dank im Voraus!
>
> Nur für Erst-Poster
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
Wenn ich mich richtig erinnere, so hat F ("Field") hier nichts mit Körpern zu tun.
F ist eine Teilmenge von $( S [mm] \times [/mm] T) [mm] \cup [/mm] (T [mm] \times [/mm] S) $
Weiter nichts
FRED
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:49 Mo 02.03.2015 | | Autor: | Andreas386 |
Hallo Fred,
vielen Dank für deine schnelle Antwort. Das mit der Teilmenge ist mir klar, aber wieso Definiert Petri dann: S [mm] \cup [/mm] T = field(f), wenn es überflüssig ist.
Meine Theorie war bisher, dass evtl. die Transition einfach die Addition darstellt.
Viele Grüße
Andreas
|
|
|
| |
|
> > Thus, a net is defined to be a triple (S,T,F) where
> > - S [mm]\cap[/mm] T = [mm]\emptyset[/mm] (state elemnts and transition
> > elements are disjoint sets)
> > - S [mm]\cup[/mm] T = field (F) (there are neither unconnected
> > state elements nor transition elements)
> > - F [mm]\neq \emptyset[/mm] (nets cannot be empty)
> > - F [mm]\subseteq[/mm] S [mm]\times[/mm] T [mm]\cup[/mm] T [mm]\times[/mm] S (the flow
> > relation holds only between state elements and transition
> > elements or vice-versa).
> > Ich verstehe alle Zeilen von der Petri-Netz Definition
> von
> > Petri, jedoch verstehe ich die Körperdefinition nicht, da
> > es sich bei S und T nicht um Zahlen handelt, sondern um
> > Mengen der Form: S = [mm]\{s_1, s_2\};[/mm] T = [mm]\{t_1\}; F=\{(s_1, t_1); (t_1, s_2)\}.[/mm]
> > Wie funktioniert hier die Addition und Multiplikation?
> >
> > Quelle:
> >
> https://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri/doc/GeneralNetTheory.pdf
> >
> > Ich würde mich freuen, wenn mir jemand weiterhelfen
> > könnte
> >
> > Vielen Dank im Voraus!
> >
> > Nur für Erst-Poster
> > Ich habe diese Frage in keinem Forum auf anderen
> > Internetseiten gestellt.
>
>
> Wenn ich mich richtig erinnere, so hat F ("Field") hier
> nichts mit Körpern zu tun.
>
> F ist eine Teilmenge von [mm]( S \times T) \cup (T \times S)[/mm]
>
> Weiter nichts
>
> FRED
Hallo Fred,
vielen Dank für deine schnelle Antwort. Das mit der Teilmenge ist mir klar, aber wieso Definiert Petri dann: S $ [mm] \cup [/mm] $ T = field(f), wenn es überflüssig ist.
Meine Theorie war bisher, dass evtl. die Transition einfach die Addition darstellt.
Viele Grüße
Andreas
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 17:20 Mi 11.03.2015 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
