diff --git a/assert/Cargo.toml b/assert/Cargo.toml
index d890a1f..934185f 100644
--- a/assert/Cargo.toml
+++ b/assert/Cargo.toml
@@ -7,5 +7,5 @@ edition = "2024"
 rand = { version = "*" }
 rsprocess = { path = "../rsprocess/" }
 serde = { version = ">=1"}
-petgraph = { version = "*", features = ["serde-1"] }
+petgraph = { version = ">=0.8", features = ["serde-1"] }
 petgraph-graphml = { version = "*" }
diff --git a/bisimilarity/Cargo.toml b/bisimilarity/Cargo.toml
index b1a15ad..198dea9 100644
--- a/bisimilarity/Cargo.toml
+++ b/bisimilarity/Cargo.toml
@@ -4,4 +4,4 @@ version = "0.1.0"
 edition = "2024"
 
 [dependencies]
-petgraph = { version = "0.8", features = ["serde-1"] }
+petgraph = { version = ">=0.8", features = ["serde-1"] }
diff --git a/execution/Cargo.toml b/execution/Cargo.toml
index 5288773..ba16bb0 100644
--- a/execution/Cargo.toml
+++ b/execution/Cargo.toml
@@ -8,6 +8,6 @@ rsprocess = { path = "../rsprocess/" }
 assert = { path = "../assert/" }
 bisimilarity = { path = "../bisimilarity/" }
 colored = { version = "*" }
-petgraph = { version = "0.8", features = ["serde-1"] }
+petgraph = { version = ">=0.8", features = ["serde-1"] }
 petgraph-graphml = { version = "*" }
 lalrpop-util = { version = "*", features = ["lexer", "unicode"] }
diff --git a/rsprocess/Cargo.toml b/rsprocess/Cargo.toml
index 844e8a5..3c27957 100644
--- a/rsprocess/Cargo.toml
+++ b/rsprocess/Cargo.toml
@@ -4,7 +4,7 @@ version = "0.1.0"
 edition = "2024"
 
 [dependencies]
-petgraph = { version = "*", features = ["serde-1"] }
+petgraph = { version = ">=0.8", features = ["serde-1"] }
 petgraph-graphml = { version = "*" }
 serde = { version = "*", features = ["derive", "rc"] }
 serde_cbor_2 = { version = "*" }
diff --git a/rsprocess/src/trace.rs b/rsprocess/src/trace.rs
index 542666d..8e6c8d4 100644
--- a/rsprocess/src/trace.rs
+++ b/rsprocess/src/trace.rs
@@ -80,7 +80,7 @@ impl<L, Sys, I: SliceIndex<[TraceElement<L, Sys>]>> IndexMut<I>
 // -----------------------------------------------------------------------------
 //                               Slicing Trace
 // -----------------------------------------------------------------------------
-#[derive(Clone, Default)]
+#[derive(Clone, Default, Hash)]
 pub struct SlicingElement<S> {
     pub context: S,
     pub reaction_products: S,
@@ -130,7 +130,7 @@ where
     }
 }
 
-#[derive(Clone, Default, Debug)]
+#[derive(Clone, Default, Debug, Hash)]
 pub struct EnabledReactions {
     pub data: Vec<usize>,
 }
@@ -190,7 +190,7 @@ impl EnabledReactions {
     }
 }
 
-#[derive(Clone)]
+#[derive(Clone, Debug, Hash)]
 pub struct SlicingTrace<
     S: BasicSet,
     R: BasicReaction<Set = S>,