diff --git a/prism/examples/pta/csma/abst/des/args b/prism/examples/des/csma/abst/args
similarity index 100%
rename from prism/examples/pta/csma/abst/des/args
rename to prism/examples/des/csma/abst/args
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax1-s1.des b/prism/examples/des/csma/abst/csma-bmax1-s1.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax1-s1.des
rename to prism/examples/des/csma/abst/csma-bmax1-s1.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax1-s2.des b/prism/examples/des/csma/abst/csma-bmax1-s2.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax1-s2.des
rename to prism/examples/des/csma/abst/csma-bmax1-s2.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax2-s1.des b/prism/examples/des/csma/abst/csma-bmax2-s1.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax2-s1.des
rename to prism/examples/des/csma/abst/csma-bmax2-s1.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax2-s2.des b/prism/examples/des/csma/abst/csma-bmax2-s2.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax2-s2.des
rename to prism/examples/des/csma/abst/csma-bmax2-s2.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax3-s1.des b/prism/examples/des/csma/abst/csma-bmax3-s1.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax3-s1.des
rename to prism/examples/des/csma/abst/csma-bmax3-s1.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax3-s2.des b/prism/examples/des/csma/abst/csma-bmax3-s2.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax3-s2.des
rename to prism/examples/des/csma/abst/csma-bmax3-s2.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax4-s1.des b/prism/examples/des/csma/abst/csma-bmax4-s1.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax4-s1.des
rename to prism/examples/des/csma/abst/csma-bmax4-s1.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax4-s2.des b/prism/examples/des/csma/abst/csma-bmax4-s2.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax4-s2.des
rename to prism/examples/des/csma/abst/csma-bmax4-s2.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax5-s1.des b/prism/examples/des/csma/abst/csma-bmax5-s1.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax5-s1.des
rename to prism/examples/des/csma/abst/csma-bmax5-s1.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bmax5-s2.des b/prism/examples/des/csma/abst/csma-bmax5-s2.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bmax5-s2.des
rename to prism/examples/des/csma/abst/csma-bmax5-s2.des
diff --git a/prism/examples/pta/csma/abst/des/csma-bus.des b/prism/examples/des/csma/abst/csma-bus.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma-bus.des
rename to prism/examples/des/csma/abst/csma-bus.des
diff --git a/prism/examples/pta/csma/abst/des/csma1.1000.deslist b/prism/examples/des/csma/abst/csma1.1000.deslist
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma1.1000.deslist
rename to prism/examples/des/csma/abst/csma1.1000.deslist
diff --git a/prism/examples/pta/csma/abst/des/csma1.2000.deslist b/prism/examples/des/csma/abst/csma1.2000.deslist
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma1.2000.deslist
rename to prism/examples/des/csma/abst/csma1.2000.deslist
diff --git a/prism/examples/pta/csma/abst/des/csma1.3000.deslist b/prism/examples/des/csma/abst/csma1.3000.deslist
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma1.3000.deslist
rename to prism/examples/des/csma/abst/csma1.3000.deslist
diff --git a/prism/examples/pta/csma/abst/des/csma1.4000.deslist b/prism/examples/des/csma/abst/csma1.4000.deslist
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma1.4000.deslist
rename to prism/examples/des/csma/abst/csma1.4000.deslist
diff --git a/prism/examples/pta/csma/abst/des/csma1.deslist b/prism/examples/des/csma/abst/csma1.deslist
similarity index 100%
rename from prism/examples/pta/csma/abst/des/csma1.deslist
rename to prism/examples/des/csma/abst/csma1.deslist
diff --git a/prism/examples/pta/csma/abst/des/deadline1000.des b/prism/examples/des/csma/abst/deadline1000.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/deadline1000.des
rename to prism/examples/des/csma/abst/deadline1000.des
diff --git a/prism/examples/pta/csma/abst/des/deadline2000.des b/prism/examples/des/csma/abst/deadline2000.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/deadline2000.des
rename to prism/examples/des/csma/abst/deadline2000.des
diff --git a/prism/examples/pta/csma/abst/des/deadline3000.des b/prism/examples/des/csma/abst/deadline3000.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/deadline3000.des
rename to prism/examples/des/csma/abst/deadline3000.des
diff --git a/prism/examples/pta/csma/abst/des/deadline4000.des b/prism/examples/des/csma/abst/deadline4000.des
similarity index 100%
rename from prism/examples/pta/csma/abst/des/deadline4000.des
rename to prism/examples/des/csma/abst/deadline4000.des