diff --git a/TaskAndTimeTimJahn.txt b/TaskAndTimeTimJahn.txt new file mode 100644 index 0000000000000000000000000000000000000000..d459d1c1571b9f0eaa6aad5171ee0a730e159a41 --- /dev/null +++ b/TaskAndTimeTimJahn.txt @@ -0,0 +1,71 @@ +Hallo Tim, + +Nachfolgend die Informationen die du brauchst. + + Zum Thematischen einlesen solltest du dir das DiNeROS-Paper anschauen: + https://link.springer.com/article/10.1007/s11334-024-00570-5 + Folgende Sections sind wichtig für dich à 1,2, 5.1-5.5 + + Im Paper werden Petri Netze auch erklärt, ansonsten kannst du auch noch + https://en.wikipedia.org/wiki/Petri_net + drüber scrollen + + Die Einarbeitung in GLSP ist recht einfach für die Basics: + https://eclipsesource.com/blogs/2021/10/05/a-hands-on-tutorial-for-eclipse-glsp/ + + Für weiterführende Konzepte ist meist leider nur die API Doku + https://eclipse.dev/glsp/documentation/ oder der Code da + Diese solltest du dir bei Bedarf, wenn du am Issues fixen bist anschauen + + Der Editor selbst ist in + https://git-st.inf.tu-dresden.de/dineros/framework/pnml-petri-net-editor + Tipps zur Installation: + überprüfe bei Fehler die Versionen deiner Bibliotheken/Maven à oft sind diese nicht kompatibel, oder apt-get ist veraltet + Fehlende dependencies à oft fehlt keytar + + Die Issues: + https://git-st.inf.tu-dresden.de/dineros/framework/pnml-petri-net-editor/-/issues + Reihenfolge der Bearbeitung: #1, #2, #4, #6, #3, #5, #7 + + Nutze für den Bugfix den Branch „devel“ + Ein beispiel PNML findest du in + https://git-st.inf.tu-dresden.de/dineros/framework/journal-paper-evaluation/-/blob/main/full/model-v5/sorting-wf-synced-safe-sensor-grpn-sig.pnml?ref_type=heads + +Bei Fragen schreib mir einfach. Sobald ich kann, antworte ich dir. + +Viele Grüße, +Sebastian + +//------------------------------------------------------------------------------------------------------ + +hours: +14.11.24 8h +24.11.24 4h +//------------------------------------------------------------------------------------------------------ + +see https://github.com/eclipse-theia/theia/blob/master/doc/Developing.md#prerequisite_native_keymap +for dependencies: + +sudo apt update +sudo apt install nodejs +sudo apt install npm + +curl -fsSL https://deb.nodesource.com/setup_21.x | sudo -E bash - +sudo npm install -g n +node --version +sudo n 20.18.0 //theia needs version < 21 + +curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | sudo apt-key add - +echo "deb https://dl.yarnpkg.com/debian/ stable main" | sudo tee /etc/apt/sources.list.d/yarn.list +sudo apt update && sudo apt install yarn + +sudo apt-get install libx11-dev libxkbfile-dev +sudo apt-get install libsecret-1-dev + + +npm install keytar@7.2.0 + +- everything works so far + +hours: +14.11.24 8h