updated TaskAndTimeTimJahn.txt for work hours

TaskAndTimeTimJahn.txt

+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