Petri translated and verified

src/main/java/org/petriNet/Arc.java

src/main/java/org/petriNet/Arc_ENTRANT.java

src/main/java/org/petriNet/Arc_SORTANT.java

src/main/java/org/petriNet/Arc_entrant_simple.java

src/main/java/org/petriNet/Arc_zero.java

src/main/java/org/petriNet/IncomingArc.java

src/main/java/org/petriNet/IncomingArc_Simple.java

src/main/java/org/petriNet/IncomingArc_Videur.java

src/main/java/org/petriNet/IncomingArc_Zero.java

src/main/java/org/petriNet/Main.java

src/main/java/org/petriNet/MainPetriNet.java

src/main/java/org/petriNet/MainSpecialVideur.java

src/main/java/org/petriNet/MainSpecialZero.java

src/main/java/org/petriNet/OutgoingArc.java

src/main/java/org/petriNet/PetriNet.java

src/main/java/org/petriNet/PetriNetService.java

src/main/java/org/petriNet/Place.java

src/main/java/org/petriNet/Transition.java

src/test/java/org/petriNet/PetriNetTest.java

src/test/java/org/petriNet/ReseauPetriTest.java