From d238a61ac0ca7ad0bbdd495e0e14370c28b6c6de Mon Sep 17 00:00:00 2001
From: Firas Bouzazi <firas.bouzazi@imt-atlantique.net>
Date: Wed, 9 Oct 2024 16:39:59 +0200
Subject: [PATCH] 3rd commit
---
.idea/.gitignore | 8 ++++
.idea/codeStyles/Project.xml | 7 ++++
.idea/codeStyles/codeStyleConfig.xml | 5 +++
.idea/compiler.xml | 13 +++++++
.idea/encodings.xml | 7 ++++
.idea/jarRepositories.xml | 20 ++++++++++
.idea/misc.xml | 15 ++++++++
.idea/vcs.xml | 6 +++
src/main/java/org/petriNet/Arc.java | 31 +++++++++++++++
.../java/org/{example => petriNet}/Main.java | 2 +-
src/main/java/org/petriNet/Place.java | 38 +++++++++++++++++++
src/main/java/org/petriNet/Transition.java | 13 +++++++
12 files changed, 164 insertions(+), 1 deletion(-)
create mode 100644 .idea/.gitignore
create mode 100644 .idea/codeStyles/Project.xml
create mode 100644 .idea/codeStyles/codeStyleConfig.xml
create mode 100644 .idea/compiler.xml
create mode 100644 .idea/encodings.xml
create mode 100644 .idea/jarRepositories.xml
create mode 100644 .idea/misc.xml
create mode 100644 .idea/vcs.xml
create mode 100644 src/main/java/org/petriNet/Arc.java
rename src/main/java/org/{example => petriNet}/Main.java (84%)
create mode 100644 src/main/java/org/petriNet/Place.java
create mode 100644 src/main/java/org/petriNet/Transition.java
diff --git a/.idea/.gitignore b/.idea/.gitignore
new file mode 100644
index 0000000..13566b8
--- /dev/null
+++ b/.idea/.gitignore
@@ -0,0 +1,8 @@
+# Default ignored files
+/shelf/
+/workspace.xml
+# Editor-based HTTP Client requests
+/httpRequests/
+# Datasource local storage ignored files
+/dataSources/
+/dataSources.local.xml
diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml
new file mode 100644
index 0000000..919ce1f
--- /dev/null
+++ b/.idea/codeStyles/Project.xml
@@ -0,0 +1,7 @@
+<component name="ProjectCodeStyleConfiguration">
+ <code_scheme name="Project" version="173">
+ <ScalaCodeStyleSettings>
+ <option name="MULTILINE_STRING_CLOSING_QUOTES_ON_NEW_LINE" value="true" />
+ </ScalaCodeStyleSettings>
+ </code_scheme>
+</component>
\ No newline at end of file
diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml
new file mode 100644
index 0000000..a55e7a1
--- /dev/null
+++ b/.idea/codeStyles/codeStyleConfig.xml
@@ -0,0 +1,5 @@
+<component name="ProjectCodeStyleConfiguration">
+ <state>
+ <option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" />
+ </state>
+</component>
\ No newline at end of file
diff --git a/.idea/compiler.xml b/.idea/compiler.xml
new file mode 100644
index 0000000..89734b6
--- /dev/null
+++ b/.idea/compiler.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="CompilerConfiguration">
+ <annotationProcessing>
+ <profile name="Maven default annotation processors profile" enabled="true">
+ <sourceOutputDir name="target/generated-sources/annotations" />
+ <sourceTestOutputDir name="target/generated-test-sources/test-annotations" />
+ <outputRelativeToContentRoot value="true" />
+ <module name="mapd_file_rouge" />
+ </profile>
+ </annotationProcessing>
+ </component>
+</project>
\ No newline at end of file
diff --git a/.idea/encodings.xml b/.idea/encodings.xml
new file mode 100644
index 0000000..aa00ffa
--- /dev/null
+++ b/.idea/encodings.xml
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="Encoding">
+ <file url="file://$PROJECT_DIR$/src/main/java" charset="UTF-8" />
+ <file url="file://$PROJECT_DIR$/src/main/resources" charset="UTF-8" />
+ </component>
+</project>
\ No newline at end of file
diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml
new file mode 100644
index 0000000..712ab9d
--- /dev/null
+++ b/.idea/jarRepositories.xml
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="RemoteRepositoriesConfiguration">
+ <remote-repository>
+ <option name="id" value="central" />
+ <option name="name" value="Central Repository" />
+ <option name="url" value="https://repo.maven.apache.org/maven2" />
+ </remote-repository>
+ <remote-repository>
+ <option name="id" value="central" />
+ <option name="name" value="Maven Central repository" />
+ <option name="url" value="https://repo1.maven.org/maven2" />
+ </remote-repository>
+ <remote-repository>
+ <option name="id" value="jboss.community" />
+ <option name="name" value="JBoss Community repository" />
+ <option name="url" value="https://repository.jboss.org/nexus/content/repositories/public/" />
+ </remote-repository>
+ </component>
+</project>
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
new file mode 100644
index 0000000..ca0df7f
--- /dev/null
+++ b/.idea/misc.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="ExternalStorageConfigurationManager" enabled="true" />
+ <component name="MavenProjectsManager">
+ <option name="originalFiles">
+ <list>
+ <option value="$PROJECT_DIR$/pom.xml" />
+ </list>
+ </option>
+ </component>
+ <component name="PDMPlugin">
+ <option name="skipTestSources" value="false" />
+ </component>
+ <component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="openjdk-21" project-jdk-type="JavaSDK" />
+</project>
\ No newline at end of file
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
new file mode 100644
index 0000000..35eb1dd
--- /dev/null
+++ b/.idea/vcs.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+ <component name="VcsDirectoryMappings">
+ <mapping directory="" vcs="Git" />
+ </component>
+</project>
\ No newline at end of file
diff --git a/src/main/java/org/petriNet/Arc.java b/src/main/java/org/petriNet/Arc.java
new file mode 100644
index 0000000..30bff9b
--- /dev/null
+++ b/src/main/java/org/petriNet/Arc.java
@@ -0,0 +1,31 @@
+package org.petriNet;
+
+public class Arc {
+ protected int poid; // weight
+ protected int id;
+
+ public Arc(int poid,int id) {
+ this.poid = poid;
+ this.id = id;
+ }
+
+ public void modifier_poid(int nouveauPoid) {
+ this.poid = nouveauPoid;
+ }
+
+ // Validation method (abstract in derived classes)
+ public boolean valider() {
+ // Implement validation logic if needed
+ return true;
+ }
+
+ public int getPoid() {
+ return poid;
+ }
+
+ public void setPoid(int poid) {
+ this.poid = poid;
+ }
+}
+
+}
diff --git a/src/main/java/org/example/Main.java b/src/main/java/org/petriNet/Main.java
similarity index 84%
rename from src/main/java/org/example/Main.java
rename to src/main/java/org/petriNet/Main.java
index 407f157..61581ef 100644
--- a/src/main/java/org/example/Main.java
+++ b/src/main/java/org/petriNet/Main.java
@@ -1,4 +1,4 @@
-package org.example;
+package org.petriNet;
public class Main {
public static void main(String[] args) {
diff --git a/src/main/java/org/petriNet/Place.java b/src/main/java/org/petriNet/Place.java
new file mode 100644
index 0000000..4dadc11
--- /dev/null
+++ b/src/main/java/org/petriNet/Place.java
@@ -0,0 +1,38 @@
+package org.petriNet;
+
+public class Place {
+ private int id;
+ private int nombre_jeton;
+ public Place(int id, int nombre_jeton) {
+ this.id = id;
+ this.nombre_jeton = nombre_jeton;
+ }
+
+ public void ajouter_jeton() {
+ this.nombre_jeton++;
+ }
+
+ public void enlever_jeton() {
+ if (this.nombre_jeton > 0) {
+ this.nombre_jeton--;
+ } else {
+ System.out.println("No more tokens to remove.");
+ }
+ }
+
+ public int get_nombre_jetons() {
+ return this.nombre_jeton;
+ }
+
+ public int getId() {
+ return id;
+ }
+
+ public void setId(int id) {
+ this.id = id;
+ }
+
+ public void setNombre_jeton(int nombre_jeton) {
+ this.nombre_jeton = nombre_jeton;
+ }
+}
diff --git a/src/main/java/org/petriNet/Transition.java b/src/main/java/org/petriNet/Transition.java
new file mode 100644
index 0000000..132a5dd
--- /dev/null
+++ b/src/main/java/org/petriNet/Transition.java
@@ -0,0 +1,13 @@
+package org.petriNet;
+
+public class Transition {
+ private int id;
+
+ public Transition(int id) {
+ this.id = id;
+ }
+ public void est_tirable() {
+ }
+ public void tirer(){
+ }
+}
--
GitLab