Merge remote-tracking branch 'origin' into avatarSysML_04_2024

build.txt

modeling/DASIP2016/DASIP2016_clustered.xml

modeling/Netcom/DemoSept2016.xml

modeling/WSec/wsec_avatar.xml

modeling/WSec/wsec_diplodocus.xml

...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java

src/main/java/tmltranslator/toavatarsec/TML2Avatar.java

src/main/java/ui/GTMLModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TDiagramPanel.java

src/main/java/ui/tmldd/TMLArchiBUSNode.java

src/main/java/ui/tmldd/TMLArchiBridgeNode.java

src/main/java/ui/tmldd/TMLArchiCPNode.java

src/main/java/ui/tmldd/TMLArchiCommunicationArtifact.java

src/main/java/ui/tmldd/TMLArchiCrossbarNode.java

src/main/java/ui/tmldd/TMLArchiDMANode.java

src/main/java/ui/tmldd/TMLArchiDiagramPanel.java

src/main/java/ui/tmldd/TMLArchiFirewallNode.java

src/main/java/ui/tmldd/TMLArchiMemoryNode.java

src/main/java/ui/tmldd/TMLArchiRouterNode.java