diff --git a/.gitignore b/.gitignore index 11a805f139cce6060637fceb503b7c8f35ca9c38..576c1ce1b8d33a7644564fc92a2ffe9312504cee 100644 --- a/.gitignore +++ b/.gitignore @@ -2,4 +2,6 @@ .classpath bin/ *.class -.DS_Store \ No newline at end of file +.DS_Store +/target/ +.DS_Store diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000000000000000000000000000000000000..e9441bb123ec3e1ab029c7eac896bc45681d9a71 --- /dev/null +++ b/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,3 @@ +eclipse.preferences.version=1 +encoding//src/main/java=UTF-8 +encoding/<project>=UTF-8 diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000000000000000000000000000000000000..2af1e7b99c98d3fc61561c085022741062a7820e --- /dev/null +++ b/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,8 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 +org.eclipse.jdt.core.compiler.compliance=11 +org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled +org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=ignore +org.eclipse.jdt.core.compiler.release=disabled +org.eclipse.jdt.core.compiler.source=11 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 407f157bcb0852a527a500994d9e16a54f520f3f..61581ef01734ba6660ca0248e87b5e341c31a966 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/PetriNetService.java b/src/main/java/org/petriNet/PetriNetService.java new file mode 100644 index 0000000000000000000000000000000000000000..76cb725e6e601166a07e38f0a3631bbdf75893fe --- /dev/null +++ b/src/main/java/org/petriNet/PetriNetService.java @@ -0,0 +1,15 @@ +package org.petriNet; + +public interface PetriNetService { + + public void ajouterPlace(Place place); + + public void ajouterTransition(Transition transition); + + public void ajouterArc(Arc arc); + + public void tirerTransition(Transition transition); + + public void afficherEtat(); + +} diff --git a/src/main/java/org/petriNet/ReseauPerti.java b/src/main/java/org/petriNet/ReseauPerti.java new file mode 100644 index 0000000000000000000000000000000000000000..2282314e41f2c3fec2ba3b915caab4cf2fdeb83e --- /dev/null +++ b/src/main/java/org/petriNet/ReseauPerti.java @@ -0,0 +1,38 @@ +package org.petriNet; + +public class ReseauPerti implements PetriNetService { + + + + @Override + public void ajouterPlace(Place place) { + // TODO Auto-generated method stub + + } + + @Override + public void ajouterTransition(Transition transition) { + // TODO Auto-generated method stub + + } + + @Override + public void ajouterArc(Arc arc) { + // TODO Auto-generated method stub + + } + + @Override + public void tirerTransition(Transition transition) { + // TODO Auto-generated method stub + + } + + @Override + public void afficherEtat() { + // TODO Auto-generated method stub + + } + + +}