Bioinformatik Blog

Aufgabe:

Zeichnen Sie ein Petri-Netz, das folgende Aufgabenstellung modelliert:
In einer Fabrikhalle steht ein vollautomatisch arbeitender Aufzug für Paletten. Die Paletten werden vom Erdgeschoss in den ersten Stock befördert. Im Erdgeschoss befindet sich ein Förderband, das jeweils 1 Palette in den Aufzug hinein befördern kann. Ebenso befindet sich dort ein Roboter, der eine neue Palette auf dieses Förderband setzt, sofern es nicht (mehr) mit einer Palette belegt ist. Die Fördereinrichtungen des ersten Stocks brauchen Sie nicht zu modellieren.

Der Roboter hat die folgende Zustände: abgabebereit, Abgabe findet statt, Palette ist abgegeben. Das Förderband ist entweder ein- oder ausgeschaltet. Der Aufzug befindet sich entweder oben oder unten, oder er ist von unten nach oben bzw. von oben nach unten unterwegs.

Ihr Petri-Netz soll so einfach wie möglich sein (unnötig komplizierte Lösungen geben Punktabzug) und trotzdem mindestens die genannten Zustände enthalten. Die Parallelität darf nicht unnötig eingeschränkt werden! Beispielsweise kann der Roboter bereits eine neue Palette aufsetzen, während der Aufzug nach oben fährt. Achten Sie darauf, dass kein Crash passieren kann. Beispielsweise darf das Förderband nur laufen, wenn sich der Aufzug unten befindet. Der Aufzug darf nur in bestimmten Fällen starten, und so weiter. Sind eventuell weitere Zustände notwendig? Zeichnen Sie die Anfangsmarkierung so ein, dass sie einer Situation entspricht, in der sich noch keine Palette im System befindet.

Lösung: