firas commit 2

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

+package org.petriNet;
+
+public class Main {
+
+    public static void main(String[] args) {
+        // Initialize the Petri network
+        ReseauPetri petriNetwork = new ReseauPetri();
+
+        // Create places
+        Place place1 = new Place(3, petriNetwork.generateId(1));
+        Place place2 = new Place(0, petriNetwork.generateId(1));
+
+        // Add places to the network
+        petriNetwork.ajouterPlace(place1);
+        petriNetwork.ajouterPlace(place2);
+
+        // Create a transition
+        Transition transition1 = new Transition("T1", petriNetwork.generateId(2));
+
+        // Add the transition to the network
+        petriNetwork.ajouterTransition(transition1);
+
+        // Create arcs and add them to the network
+        // Incoming arc from place1 to transition1 with weight 1
+        Arc_ENTRANT incomingArc = new Arc_entrant_simple(transition1, place1, 1, petriNetwork.generateId(0));
+        petriNetwork.ajouterArc(incomingArc);
+        transition1.ajouterArc_ENTRANT(incomingArc);
+
+        // Outgoing arc from transition1 to place2 with weight 1
+        Arc_SORTANT outgoingArc = new Arc_SORTANT(transition1, place2, 1, petriNetwork.generateId(0));
+        petriNetwork.ajouterArc(outgoingArc);
+        transition1.ajouterArc_SORTANT(outgoingArc);
+
+        // Display the initial state of the Petri network
+        System.out.println("Initial State of Petri Network:");
+        petriNetwork.afficherReseau();
+
+        // Activate the transition
+        System.out.println("\nActivating transition T1...");
+        petriNetwork.tirer_transition(String.valueOf(transition1.getId()));
+
+        // Display the state of the Petri network after activation
+        System.out.println("\nState of Petri Network after Transition T1 Activation:");
+        petriNetwork.afficherReseau();
+
+        // Example assertions to verify changes
+        System.out.println("\nVerifying state:");
+        System.out.println("Tokens in Place 1 (expected 2): " + place1.get_nombre_jetons());
+        System.out.println("Tokens in Place 2 (expected 1): " + place2.get_nombre_jetons());
+    }
+}

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

+package org.petriNet;
+
+public class MainSpecialVideur {
+
+    public static void main(String[] args) {
+        // Initialize the Petri network
+        ReseauPetri petriNetwork = new ReseauPetri();
+
+        // Create places
+        Place place1 = new Place(2, petriNetwork.generateId(1));
+        Place place2 = new Place(4, petriNetwork.generateId(1));
+
+        // Add places to the network
+        petriNetwork.ajouterPlace(place1);
+        petriNetwork.ajouterPlace(place2);
+
+        // Create a transition
+        Transition transition1 = new Transition("T1", petriNetwork.generateId(2));
+
+        // Add the transition to the network
+        petriNetwork.ajouterTransition(transition1);
+
+        // Create arcs and add them to the network
+        // Incoming arc from place2 to transition1 with weight 1
+        Arc_videur incomingArc_videur = new Arc_videur(transition1, place2, 1, petriNetwork.generateId(0));
+        petriNetwork.ajouterArc(incomingArc_videur);
+        transition1.ajouterArc_ENTRANT(incomingArc_videur);
+
+        // Outgoing arc from transition1 to place1 with weight 1
+        Arc_SORTANT outgoingArc = new Arc_SORTANT(transition1, place1, 1, petriNetwork.generateId(0));
+        petriNetwork.ajouterArc(outgoingArc);
+        transition1.ajouterArc_SORTANT(outgoingArc);
+
+        // Display the initial state of the Petri network
+        System.out.println("Initial State of Petri Network:");
+        petriNetwork.afficherReseau();
+
+        // Activate the transition
+        System.out.println("\nActivating transition T1...");
+        petriNetwork.tirer_transition(String.valueOf(transition1.getId()));
+
+        // Display the state of the Petri network after activation
+        System.out.println("\nState of Petri Network after Transition T1 Activation:");
+        petriNetwork.afficherReseau();
+
+        // Example assertions to verify changes
+        System.out.println("\nVerifying state:");
+        System.out.println("Tokens in Place 1 (expected 3): " + place1.get_nombre_jetons());
+        System.out.println("Tokens in Place 2 (expected 0): " + place2.get_nombre_jetons());
+    }
+}

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

+package org.petriNet;
+
+public class MainSpecialZero {
+
+    public static void main(String[] args) {
+        // Initialize the Petri network
+        ReseauPetri petriNetwork = new ReseauPetri();
+
+        // Create places
+        Place place1 = new Place(3, petriNetwork.generateId(1));
+        Place place2 = new Place(0, petriNetwork.generateId(1));
+
+        // Add places to the network
+        petriNetwork.ajouterPlace(place1);
+        petriNetwork.ajouterPlace(place2);
+
+        // Create a transition
+        Transition transition1 = new Transition("T1", petriNetwork.generateId(2));
+
+        // Add the transition to the network
+        petriNetwork.ajouterTransition(transition1);
+
+        // Create arcs and add them to the network
+        // Incoming arc from place2 to transition1 with weight 1
+        Arc_zero incomingArc_zero = new Arc_zero(transition1, place2, 1, petriNetwork.generateId(0));
+        petriNetwork.ajouterArc(incomingArc_zero);
+        transition1.ajouterArc_ENTRANT(incomingArc_zero);
+
+        // Outgoing arc from transition1 to place1 with weight 1
+        Arc_SORTANT outgoingArc = new Arc_SORTANT(transition1, place1, 1, petriNetwork.generateId(0));
+        petriNetwork.ajouterArc(outgoingArc);
+        transition1.ajouterArc_SORTANT(outgoingArc);
+
+        // Display the initial state of the Petri network
+        System.out.println("Initial State of Petri Network:");
+        petriNetwork.afficherReseau();
+
+        // Activate the transition
+        System.out.println("\nActivating transition T1...");
+        petriNetwork.tirer_transition(String.valueOf(transition1.getId()));
+
+        // Display the state of the Petri network after activation
+        System.out.println("\nState of Petri Network after Transition T1 Activation:");
+        petriNetwork.afficherReseau();
+
+        // Example assertions to verify changes
+        System.out.println("\nVerifying state:");
+        System.out.println("Tokens in Place 1 (expected 4): " + place1.get_nombre_jetons());
+        System.out.println("Tokens in Place 2 (expected 0): " + place2.get_nombre_jetons());
+    }
+}