diff --git a/notebooks/PICS/ChangeCounter-synopsis-1.svg b/notebooks/PICS/ChangeCounter-synopsis-1.svg
index 2783829f..aa80313f 100644
--- a/notebooks/PICS/ChangeCounter-synopsis-1.svg
+++ b/notebooks/PICS/ChangeCounter-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="414pt" height="329pt"
diff --git a/notebooks/PICS/PerformanceDebugger-synopsis-1.svg b/notebooks/PICS/PerformanceDebugger-synopsis-1.svg
index 5852a22c..d335e574 100644
--- a/notebooks/PICS/PerformanceDebugger-synopsis-1.svg
+++ b/notebooks/PICS/PerformanceDebugger-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="552pt" height="590pt"
diff --git a/notebooks/PICS/Repairer-synopsis-1.svg b/notebooks/PICS/Repairer-synopsis-1.svg
index 1cc826d1..05affd12 100644
--- a/notebooks/PICS/Repairer-synopsis-1.svg
+++ b/notebooks/PICS/Repairer-synopsis-1.svg
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 11.0.0 (20240428.1522)
+<!-- Generated by graphviz version 12.1.1 (20240910.0053)
  -->
 <!-- Pages: 1 -->
 <svg width="619pt" height="636pt"