diff --git a/prism/examples/pta/csma-auto.sh b/prism/examples/des/csma-auto.sh
similarity index 100%
rename from prism/examples/pta/csma-auto.sh
rename to prism/examples/des/csma-auto.sh
diff --git a/prism/examples/pta/csma-tests.sh b/prism/examples/des/csma-tests.sh
similarity index 100%
rename from prism/examples/pta/csma-tests.sh
rename to prism/examples/des/csma-tests.sh
diff --git a/prism/examples/pta/firewire-auto.sh b/prism/examples/des/firewire-auto.sh
similarity index 100%
rename from prism/examples/pta/firewire-auto.sh
rename to prism/examples/des/firewire-auto.sh
diff --git a/prism/examples/pta/firewire-tests.sh b/prism/examples/des/firewire-tests.sh
similarity index 100%
rename from prism/examples/pta/firewire-tests.sh
rename to prism/examples/des/firewire-tests.sh
diff --git a/prism/examples/pta/repudiation-auto.sh b/prism/examples/des/repudiation-auto.sh
similarity index 100%
rename from prism/examples/pta/repudiation-auto.sh
rename to prism/examples/des/repudiation-auto.sh
diff --git a/prism/examples/pta/repudiation-tests.sh b/prism/examples/des/repudiation-tests.sh
similarity index 100%
rename from prism/examples/pta/repudiation-tests.sh
rename to prism/examples/des/repudiation-tests.sh
diff --git a/prism/examples/pta/simple.sh b/prism/examples/des/simple-auto.sh
similarity index 100%
rename from prism/examples/pta/simple.sh
rename to prism/examples/des/simple-auto.sh
diff --git a/prism/examples/pta/simple/formats.des b/prism/examples/des/simple/formats.des
similarity index 100%
rename from prism/examples/pta/simple/formats.des
rename to prism/examples/des/simple/formats.des
diff --git a/prism/examples/pta/simple/formats.v1.des b/prism/examples/des/simple/formats.v1.des
similarity index 100%
rename from prism/examples/pta/simple/formats.v1.des
rename to prism/examples/des/simple/formats.v1.des
diff --git a/prism/examples/pta/simple/formats.v2.des b/prism/examples/des/simple/formats.v2.des
similarity index 100%
rename from prism/examples/pta/simple/formats.v2.des
rename to prism/examples/des/simple/formats.v2.des
diff --git a/prism/examples/pta/simple/gethin1.des b/prism/examples/des/simple/gethin1.des
similarity index 100%
rename from prism/examples/pta/simple/gethin1.des
rename to prism/examples/des/simple/gethin1.des
diff --git a/prism/examples/pta/simple/gethin2.des b/prism/examples/des/simple/gethin2.des
similarity index 100%
rename from prism/examples/pta/simple/gethin2.des
rename to prism/examples/des/simple/gethin2.des
diff --git a/prism/examples/pta/simple/iandc.des b/prism/examples/des/simple/iandc.des
similarity index 100%
rename from prism/examples/pta/simple/iandc.des
rename to prism/examples/des/simple/iandc.des
diff --git a/prism/examples/pta/simple/tcs.des b/prism/examples/des/simple/tcs.des
similarity index 100%
rename from prism/examples/pta/simple/tcs.des
rename to prism/examples/des/simple/tcs.des
diff --git a/prism/examples/pta/zeroconf-auto.sh b/prism/examples/des/zeroconf-auto.sh
similarity index 100%
rename from prism/examples/pta/zeroconf-auto.sh
rename to prism/examples/des/zeroconf-auto.sh
diff --git a/prism/examples/pta/zeroconf-tests.sh b/prism/examples/des/zeroconf-tests.sh
similarity index 100%
rename from prism/examples/pta/zeroconf-tests.sh
rename to prism/examples/des/zeroconf-tests.sh
diff --git a/prism/examples/pta/simple-prism.sh b/prism/examples/pta/simple-prism.sh
deleted file mode 100644
index 1b5dbf09..00000000
--- a/prism/examples/pta/simple-prism.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-
-#../../bin/ptamc simple/iandc.des sr 'z<6'
-
-#../../bin/ptamc simple/tcs.des l3 true
-
-#../../bin/ptamc simple/gethin1.des l2 true
-
-#../../bin/ptamc simple/gethin2.des l2 true
-
-prism-explicit simple/formats.nm -pctl 'Pmax=? [ F s=3 ]' -aroptions refine=first,v
-prism-explicit simple/formats.nm -pctl 'Rmin=? [ F s=1|s=3 ]'
-