Schlangen Snakes ist eine Python-Bibliothek, die alles bietet, um dann viele Arten von Petrischetzen zu definieren und auszuführen.
Jetzt downloaden

Schlangen Ranking & Zusammenfassung

Schlangen Stichworte

Python-Bibliothek Python Bücherei Schlangen Net Algebra Kit.

Schlangen Beschreibung

Schlangen ist eine Python-Bibliothek, die alles bietet, um dann viele Arten von Petrischetzen zu definieren und auszuführen. Schlangen ist eine Python-Bibliothek, die alles bietet, um dann viele Arten von Petrischetzen, insbesondere denen der PBC- und M-NETS-Familie, zu definieren und auszuführen. Das Hauptziel ist es, eine allgemeine Petri-Net-Bibliothek zu sein, die den meisten Petri-Nets-Modellen bewältigen kann, und den Forscher mit einem Werkzeug zur schnellen Prototypen seiner neuen Ideen zur Verfügung stellen. Schlangen sollten geeignet sein, um das Datenmodell für Editoren oder Simulatoren bereitzustellen; Eigentlich kann jeder Editor, der Schlangen verwenden, auch ein Simulator als Schlangen sein kann, da die Schlangennetze ausführen kann. Ein Schlüsselmerkmal von Schlangen ist die Möglichkeit, beliebige Python-Objekte als Token und beliebige Python-Ausdrücke in vielen Punkten zu verwenden, z. B. in Übergaber Wachen oder Bögen ausgehend von Übergängen. Das macht Schlangen, die allgemein sind. Dies stützt sich auf die Fähigkeit von Python, den dynamisch bereitgestellten Python-Code (der Evalfunktion) auszuführen. Diese Funktion ist möglicherweise nicht effizient genug für die Modellprüfung: Geschwindigkeit ist der Preis, der für die breite Allgemeinheit bezahlt wird. Im Falle eines neuen Modells können jedoch Schlangen das einzige verfügbare Werkzeug sein. Eine wichtige wichtige Funktion von Schlangen ist das Plugin-System, mit dem die Merkmale erweitert werden können und mit speziellen Klassen von Petrischetzeln arbeiten können. Derzeit werden folgende Plugins bereitgestellt: POS fügt den Knoten der Fähigkeit hinzu, ihre Position zu halten. Knoten können bewegt oder verschoben werden, Petrischetze können global verschoben werden, und ihr Begrenzungsfeld kann berechnet werden .Graphviz fügt ein Verfahren hinzu, um ein Petrischetz mit dem Werkzeuggraphviz zu zeichnen. Das Layout wird vom Benutzer bereitgestellt, der die Koordinate der Knoten (mit dem Plugin POS) bereitstellt .Status erweitert das PETRI-Net-Modell, indem der Status der Knoten hinzugefügt wird. Dies ist ähnlich wie bei den Modellen der PBC- oder MNETS-Familie. Knoten können dann automatisch entsprechend ihren Status zusammengefügt. Netze können parallel, Sequenz, Auswahl und Iteration zusammengesetzt sein. Diese Operationen verlassen sich auf die Orte status.poops kombiniert die Merkmale von POS- und OPS-Plugins: Die Steuerungsablaufvorgänge werden modifiziert, um die Knotenposition neu anzuordnen, um gut geformte NETS.LashData zu ermöglichen, um Daten zu definieren, die nicht in der Orte des Petrietzes, aber stattdessen in den speziellen Strukturen gespeichert, die von der Bibliotheksweitung behandelt werden. Dies ermöglicht insbesondere, möglicherweise unendliche Zustände in einen Meta-Staat zu aggregieren. Was ist neu in dieser Version: · Unstesstes Hashing auf Clustern festgelegt · Feste Mutabilität von Hashed-Multisets · Feste Schlangen.Nets.tuple.mode.

Schlangen Zugehörige Software