From 0ad23ee88c3c3204bf1415d83b34243c24bdd08b Mon Sep 17 00:00:00 2001
From: Firas Bouzazi <firas.bouzazi@imt-atlantique.net>
Date: Mon, 18 Nov 2024 20:29:52 +0100
Subject: [PATCH] final
---
.../java/org/petriNet/MainSpecialVideur.java | 51 -------------------
.../java/org/petriNet/MainSpecialZero.java | 51 -------------------
2 files changed, 102 deletions(-)
delete mode 100644 src/main/java/org/petriNet/MainSpecialVideur.java
delete mode 100644 src/main/java/org/petriNet/MainSpecialZero.java
diff --git a/src/main/java/org/petriNet/MainSpecialVideur.java b/src/main/java/org/petriNet/MainSpecialVideur.java
deleted file mode 100644
index 2d2a91f..0000000
--- a/src/main/java/org/petriNet/MainSpecialVideur.java
+++ /dev/null
@@ -1,51 +0,0 @@
-package org.petriNet;
-
-public class MainSpecialVideur {
-
- public static void main(String[] args) {
- // Initialize the Petri network
- PetriNet petriNetwork = new PetriNet();
-
- // Create places
- Place place1 = new Place(2, petriNetwork.generateId(1));
- Place place2 = new Place(4, petriNetwork.generateId(1));
-
- // Add places to the network
- petriNetwork.addPlace(place1);
- petriNetwork.addPlace(place2);
-
- // Create a transition
- Transition transition1 = new Transition("T1", petriNetwork.generateId(2));
-
- // Add the transition to the network
- petriNetwork.addTransition(transition1);
-
- // Create arcs and add them to the network
- // Incoming arc from place2 to transition1 with weight 1
- IncomingArc_Videur incomingArc_videur = new IncomingArc_Videur(transition1, place2, 1, petriNetwork.generateId(0));
- petriNetwork.addArc(incomingArc_videur);
- transition1.addIncomingArc(incomingArc_videur);
-
- // Outgoing arc from transition1 to place1 with weight 1
- OutgoingArc outgoingArc = new OutgoingArc(transition1, place1, 1, petriNetwork.generateId(0));
- petriNetwork.addArc(outgoingArc);
- transition1.addOutgoingArc(outgoingArc);
-
- // Display the initial state of the Petri network
- System.out.println("Initial State of Petri Network:");
- petriNetwork.displayNetwork();
-
- // Activate the transition
- System.out.println("\nActivating transition T1...");
- petriNetwork.fireTransition(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.displayNetwork();
-
- // Example assertions to verify changes
- System.out.println("\nVerifying state:");
- System.out.println("Tokens in Place 1 (expected 3): " + place1.getTokenCount());
- System.out.println("Tokens in Place 2 (expected 0): " + place2.getTokenCount());
- }
-}
diff --git a/src/main/java/org/petriNet/MainSpecialZero.java b/src/main/java/org/petriNet/MainSpecialZero.java
deleted file mode 100644
index 4db9faa..0000000
--- a/src/main/java/org/petriNet/MainSpecialZero.java
+++ /dev/null
@@ -1,51 +0,0 @@
-package org.petriNet;
-
-public class MainSpecialZero {
-
- public static void main(String[] args) {
- // Initialize the Petri network
- PetriNet petriNetwork = new PetriNet();
-
- // Create places
- Place place1 = new Place(3, petriNetwork.generateId(1));
- Place place2 = new Place(0, petriNetwork.generateId(1));
-
- // Add places to the network
- petriNetwork.addPlace(place1);
- petriNetwork.addPlace(place2);
-
- // Create a transition
- Transition transition1 = new Transition("T1", petriNetwork.generateId(2));
-
- // Add the transition to the network
- petriNetwork.addTransition(transition1);
-
- // Create arcs and add them to the network
- // Incoming arc from place2 to transition1 with weight 1
- IncomingArc_Zero incomingArc_zero = new IncomingArc_Zero(transition1, place2, 1, petriNetwork.generateId(0));
- petriNetwork.addArc(incomingArc_zero);
- transition1.addIncomingArc(incomingArc_zero);
-
- // Outgoing arc from transition1 to place1 with weight 1
- OutgoingArc outgoingArc = new OutgoingArc(transition1, place1, 1, petriNetwork.generateId(0));
- petriNetwork.addArc(outgoingArc);
- transition1.addOutgoingArc(outgoingArc);
-
- // Display the initial state of the Petri network
- System.out.println("Initial State of Petri Network:");
- petriNetwork.displayNetwork();
-
- // Activate the transition
- System.out.println("\nActivating transition T1...");
- petriNetwork.fireTransition(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.displayNetwork();
-
- // Example assertions to verify changes
- System.out.println("\nVerifying state:");
- System.out.println("Tokens in Place 1 (expected 4): " + place1.getTokenCount());
- System.out.println("Tokens in Place 2 (expected 0): " + place2.getTokenCount());
- }
-}
--
GitLab