Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Modellierung mit Petri-Netzen (http://www.informatikerboard.de/board/thread.php?threadid=4411)


Geschrieben von klaus123 am 28.11.2021 um 18:47:

  Modellierung mit Petri-Netzen

Meine Frage:
Hallo zusammen,

ich sitze schon eine ganze Weile an einer Aufgabe und komme nicht so recht weiter bzw. bin unzufrieden mit meiner Lösung. Es geht dabei um ein Boolsches Petri-Netz. Folgender Vorgang soll modelliert werden:

Einen Joghurt bereite ich mit Öl (wenn ich es da habe) und eingelegten Früchten zu. Um das Öl dem Joghurt beizumengen, nehme ich einen Löffel. Die Früchte füge ich mit einer Gabel hinzu. Wenn ich keine Gabel habe, benutze ich hierzu den Löffel.



Meine Ideen:
Folgendes Petri-Netz habe ich mir hierzu überlegt (siehe Bild).

Die Stellen/Transitionen sind wie folgt definiert:

S1: Löffel vorhanden
S2: Öl vorhanden
S3: Joghurt vorhanden
S4: kein Öl vorhanden
S5: Joghurt mit Öl
S6: nur Löffel, keine Gabel vorhanden
S7: Früchte vorhanden
S8: Gabel vorhanden
S9: Joghurt ohne Öl
S10: Joghurt mit Öl und Früchten, mit Löffel hinzugefügt
S11: Joghurt mit Öl und Früchten, mit Gabel hinzugefügt
S12: Joghurt ohne Öl und mit Früchten, mit Löffel hinzugefügt
S13: Joghurt ohne Öl und mit Früchten, mit Gabel hinzugefügt

Transitionen:

T1: Öl hinzufügen
T2: Joghurt ohne Öl zubereiten
T3: Früchte mit Löffel zum Joghurt-Öl-Gemisch hinzufügen
T4: Früchte mit Gabel zum Joghurt-Öl-Gemisch hinzufügen
T5: Früchte mit Löffel zum Joghurt hinzufügen
T6: Früchte mit Gabel zum Joghurt hinzufügen


Forensoftware: Burning Board, entwickelt von WoltLab GmbH