FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

F4: Frage

F4: Frage 2004-10-09 21:19
Anonymer User
Hier ist eine Frage aus einem Prüfungsprotokoll:

-Kann man JEDES(?!) gefärbte Petrinetz als S/T-Netz modellieren?
(—Wie ist das, wenn die natürlichen Zahlen in C auftauchen? )



Re: F4: Frage 2004-10-12 00:04
Anonymer User
ich glaube man kann jedes gefärbte netz (CPN), genauso wie jedes kantenkonstante netz (KKN) als S/T-Netz darstellen,da man ja das KKN wie auch CPN durch Faltung von Plätzen bzw. Transitionen aus einem S/T-Netz gebildet hat.
Warum sollte das jetz nicht andersrum gehen????
sicher bin ich nicht!!!


Auf die zweite frage habe ich keine antwort!!

Re: F4: Frage 2004-10-12 11:41
theorinix
ich glaube man kann jedes gefärbte netz (CPN), genauso wie jedes kantenkonstante netz (KKN) als S/T-Netz darstellen,da man ja das KKN wie auch CPN durch Faltung von Plätzen bzw. Transitionen aus einem S/T-Netz gebildet hat.
Warum sollte das jetz nicht andersrum gehen????
sicher bin ich nicht!!!


Auf die zweite frage habe ich keine antwort!!

NICHT jedes gefärbte Petrinetz kann als endliches(!) S/T-Netz dargestellt werden! Aber jedes als Faltung eines S/T-Netzes mit eventuell unendlich vielen Plätzen (Stellen) und eventuell unendlich vielen Transitionen!
Wenn die Objektmengen (abzählbar) unendlich sind (z.B. die natürlichen Zahlen), geht es schon nicht mehr mit endlichen S/T-Netzen. Was aber nützen uns unendliche Mengen von Stellen und auch Transitionen? Also ist die Antwort JA nur mit diesem Zusatz zur Unendlichkeit der S/T-Netze richtig.