diff --git a/prism-examples/README.txt b/prism-examples/README.txt
index c4379f02..9601b8bd 100644
--- a/prism-examples/README.txt
+++ b/prism-examples/README.txt
@@ -1,5 +1,6 @@
 This directory contains a selection of examples for PRISM.
-Each example is in a separate subdirectory.
+Each example is in a separate subdirectory, and these are
+grouped by type of model (e.g. DTMC, CTMC, MDP).
 For every one, there is a README file, giving more information,
 and an auto file, which lists the command-line instructions
 that can be used to run PRISM on the example.
diff --git a/prism-examples/cell/README.txt b/prism-examples/ctmcs/cell/README.txt
similarity index 100%
rename from prism-examples/cell/README.txt
rename to prism-examples/ctmcs/cell/README.txt
diff --git a/prism-examples/cell/auto b/prism-examples/ctmcs/cell/auto
similarity index 100%
rename from prism-examples/cell/auto
rename to prism-examples/ctmcs/cell/auto
diff --git a/prism-examples/cell/cell.csl b/prism-examples/ctmcs/cell/cell.csl
similarity index 100%
rename from prism-examples/cell/cell.csl
rename to prism-examples/ctmcs/cell/cell.csl
diff --git a/prism-examples/cell/cell.sm b/prism-examples/ctmcs/cell/cell.sm
similarity index 100%
rename from prism-examples/cell/cell.sm
rename to prism-examples/ctmcs/cell/cell.sm
diff --git a/prism-examples/cluster/README.txt b/prism-examples/ctmcs/cluster/README.txt
similarity index 100%
rename from prism-examples/cluster/README.txt
rename to prism-examples/ctmcs/cluster/README.txt
diff --git a/prism-examples/cluster/auto b/prism-examples/ctmcs/cluster/auto
similarity index 100%
rename from prism-examples/cluster/auto
rename to prism-examples/ctmcs/cluster/auto
diff --git a/prism-examples/cluster/cluster.csl b/prism-examples/ctmcs/cluster/cluster.csl
similarity index 100%
rename from prism-examples/cluster/cluster.csl
rename to prism-examples/ctmcs/cluster/cluster.csl
diff --git a/prism-examples/cluster/cluster.sm b/prism-examples/ctmcs/cluster/cluster.sm
similarity index 100%
rename from prism-examples/cluster/cluster.sm
rename to prism-examples/ctmcs/cluster/cluster.sm
diff --git a/prism-examples/embedded/README.txt b/prism-examples/ctmcs/embedded/README.txt
similarity index 100%
rename from prism-examples/embedded/README.txt
rename to prism-examples/ctmcs/embedded/README.txt
diff --git a/prism-examples/embedded/auto b/prism-examples/ctmcs/embedded/auto
similarity index 100%
rename from prism-examples/embedded/auto
rename to prism-examples/ctmcs/embedded/auto
diff --git a/prism-examples/embedded/embedded.csl b/prism-examples/ctmcs/embedded/embedded.csl
similarity index 100%
rename from prism-examples/embedded/embedded.csl
rename to prism-examples/ctmcs/embedded/embedded.csl
diff --git a/prism-examples/embedded/embedded.sm b/prism-examples/ctmcs/embedded/embedded.sm
similarity index 100%
rename from prism-examples/embedded/embedded.sm
rename to prism-examples/ctmcs/embedded/embedded.sm
diff --git a/prism-examples/fms/README.txt b/prism-examples/ctmcs/fms/README.txt
similarity index 100%
rename from prism-examples/fms/README.txt
rename to prism-examples/ctmcs/fms/README.txt
diff --git a/prism-examples/fms/auto b/prism-examples/ctmcs/fms/auto
similarity index 100%
rename from prism-examples/fms/auto
rename to prism-examples/ctmcs/fms/auto
diff --git a/prism-examples/fms/fms.csl b/prism-examples/ctmcs/fms/fms.csl
similarity index 100%
rename from prism-examples/fms/fms.csl
rename to prism-examples/ctmcs/fms/fms.csl
diff --git a/prism-examples/fms/fms.sm b/prism-examples/ctmcs/fms/fms.sm
similarity index 100%
rename from prism-examples/fms/fms.sm
rename to prism-examples/ctmcs/fms/fms.sm
diff --git a/prism-examples/kanban/README.txt b/prism-examples/ctmcs/kanban/README.txt
similarity index 100%
rename from prism-examples/kanban/README.txt
rename to prism-examples/ctmcs/kanban/README.txt
diff --git a/prism-examples/kanban/auto b/prism-examples/ctmcs/kanban/auto
similarity index 100%
rename from prism-examples/kanban/auto
rename to prism-examples/ctmcs/kanban/auto
diff --git a/prism-examples/kanban/kanban.csl b/prism-examples/ctmcs/kanban/kanban.csl
similarity index 100%
rename from prism-examples/kanban/kanban.csl
rename to prism-examples/ctmcs/kanban/kanban.csl
diff --git a/prism-examples/kanban/kanban.sm b/prism-examples/ctmcs/kanban/kanban.sm
similarity index 100%
rename from prism-examples/kanban/kanban.sm
rename to prism-examples/ctmcs/kanban/kanban.sm
diff --git a/prism-examples/peer2peer/.autopp b/prism-examples/ctmcs/peer2peer/.autopp
similarity index 100%
rename from prism-examples/peer2peer/.autopp
rename to prism-examples/ctmcs/peer2peer/.autopp
diff --git a/prism-examples/peer2peer/.peer2peerN_K.sm.pp b/prism-examples/ctmcs/peer2peer/.peer2peerN_K.sm.pp
similarity index 100%
rename from prism-examples/peer2peer/.peer2peerN_K.sm.pp
rename to prism-examples/ctmcs/peer2peer/.peer2peerN_K.sm.pp
diff --git a/prism-examples/peer2peer/README.txt b/prism-examples/ctmcs/peer2peer/README.txt
similarity index 100%
rename from prism-examples/peer2peer/README.txt
rename to prism-examples/ctmcs/peer2peer/README.txt
diff --git a/prism-examples/peer2peer/auto b/prism-examples/ctmcs/peer2peer/auto
similarity index 100%
rename from prism-examples/peer2peer/auto
rename to prism-examples/ctmcs/peer2peer/auto
diff --git a/prism-examples/peer2peer/peer2peer.csl b/prism-examples/ctmcs/peer2peer/peer2peer.csl
similarity index 100%
rename from prism-examples/peer2peer/peer2peer.csl
rename to prism-examples/ctmcs/peer2peer/peer2peer.csl
diff --git a/prism-examples/peer2peer/peer2peer4_4.sm b/prism-examples/ctmcs/peer2peer/peer2peer4_4.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer4_4.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer4_4.sm
diff --git a/prism-examples/peer2peer/peer2peer4_5.sm b/prism-examples/ctmcs/peer2peer/peer2peer4_5.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer4_5.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer4_5.sm
diff --git a/prism-examples/peer2peer/peer2peer4_6.sm b/prism-examples/ctmcs/peer2peer/peer2peer4_6.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer4_6.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer4_6.sm
diff --git a/prism-examples/peer2peer/peer2peer4_7.sm b/prism-examples/ctmcs/peer2peer/peer2peer4_7.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer4_7.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer4_7.sm
diff --git a/prism-examples/peer2peer/peer2peer4_8.sm b/prism-examples/ctmcs/peer2peer/peer2peer4_8.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer4_8.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer4_8.sm
diff --git a/prism-examples/peer2peer/peer2peer5_4.sm b/prism-examples/ctmcs/peer2peer/peer2peer5_4.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer5_4.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer5_4.sm
diff --git a/prism-examples/peer2peer/peer2peer5_5.sm b/prism-examples/ctmcs/peer2peer/peer2peer5_5.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer5_5.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer5_5.sm
diff --git a/prism-examples/peer2peer/peer2peer5_6.sm b/prism-examples/ctmcs/peer2peer/peer2peer5_6.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer5_6.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer5_6.sm
diff --git a/prism-examples/peer2peer/peer2peer5_7.sm b/prism-examples/ctmcs/peer2peer/peer2peer5_7.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer5_7.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer5_7.sm
diff --git a/prism-examples/peer2peer/peer2peer5_8.sm b/prism-examples/ctmcs/peer2peer/peer2peer5_8.sm
similarity index 100%
rename from prism-examples/peer2peer/peer2peer5_8.sm
rename to prism-examples/ctmcs/peer2peer/peer2peer5_8.sm
diff --git a/prism-examples/polling/.autopp b/prism-examples/ctmcs/polling/.autopp
similarity index 100%
rename from prism-examples/polling/.autopp
rename to prism-examples/ctmcs/polling/.autopp
diff --git a/prism-examples/polling/.pollN.sm.pp b/prism-examples/ctmcs/polling/.pollN.sm.pp
similarity index 100%
rename from prism-examples/polling/.pollN.sm.pp
rename to prism-examples/ctmcs/polling/.pollN.sm.pp
diff --git a/prism-examples/polling/README.txt b/prism-examples/ctmcs/polling/README.txt
similarity index 100%
rename from prism-examples/polling/README.txt
rename to prism-examples/ctmcs/polling/README.txt
diff --git a/prism-examples/polling/auto b/prism-examples/ctmcs/polling/auto
similarity index 100%
rename from prism-examples/polling/auto
rename to prism-examples/ctmcs/polling/auto
diff --git a/prism-examples/polling/poll.csl b/prism-examples/ctmcs/polling/poll.csl
similarity index 100%
rename from prism-examples/polling/poll.csl
rename to prism-examples/ctmcs/polling/poll.csl
diff --git a/prism-examples/polling/poll10.sm b/prism-examples/ctmcs/polling/poll10.sm
similarity index 100%
rename from prism-examples/polling/poll10.sm
rename to prism-examples/ctmcs/polling/poll10.sm
diff --git a/prism-examples/polling/poll11.sm b/prism-examples/ctmcs/polling/poll11.sm
similarity index 100%
rename from prism-examples/polling/poll11.sm
rename to prism-examples/ctmcs/polling/poll11.sm
diff --git a/prism-examples/polling/poll12.sm b/prism-examples/ctmcs/polling/poll12.sm
similarity index 100%
rename from prism-examples/polling/poll12.sm
rename to prism-examples/ctmcs/polling/poll12.sm
diff --git a/prism-examples/polling/poll13.sm b/prism-examples/ctmcs/polling/poll13.sm
similarity index 100%
rename from prism-examples/polling/poll13.sm
rename to prism-examples/ctmcs/polling/poll13.sm
diff --git a/prism-examples/polling/poll14.sm b/prism-examples/ctmcs/polling/poll14.sm
similarity index 100%
rename from prism-examples/polling/poll14.sm
rename to prism-examples/ctmcs/polling/poll14.sm
diff --git a/prism-examples/polling/poll15.sm b/prism-examples/ctmcs/polling/poll15.sm
similarity index 100%
rename from prism-examples/polling/poll15.sm
rename to prism-examples/ctmcs/polling/poll15.sm
diff --git a/prism-examples/polling/poll16.sm b/prism-examples/ctmcs/polling/poll16.sm
similarity index 100%
rename from prism-examples/polling/poll16.sm
rename to prism-examples/ctmcs/polling/poll16.sm
diff --git a/prism-examples/polling/poll17.sm b/prism-examples/ctmcs/polling/poll17.sm
similarity index 100%
rename from prism-examples/polling/poll17.sm
rename to prism-examples/ctmcs/polling/poll17.sm
diff --git a/prism-examples/polling/poll18.sm b/prism-examples/ctmcs/polling/poll18.sm
similarity index 100%
rename from prism-examples/polling/poll18.sm
rename to prism-examples/ctmcs/polling/poll18.sm
diff --git a/prism-examples/polling/poll19.sm b/prism-examples/ctmcs/polling/poll19.sm
similarity index 100%
rename from prism-examples/polling/poll19.sm
rename to prism-examples/ctmcs/polling/poll19.sm
diff --git a/prism-examples/polling/poll2.sm b/prism-examples/ctmcs/polling/poll2.sm
similarity index 100%
rename from prism-examples/polling/poll2.sm
rename to prism-examples/ctmcs/polling/poll2.sm
diff --git a/prism-examples/polling/poll20.sm b/prism-examples/ctmcs/polling/poll20.sm
similarity index 100%
rename from prism-examples/polling/poll20.sm
rename to prism-examples/ctmcs/polling/poll20.sm
diff --git a/prism-examples/polling/poll3.sm b/prism-examples/ctmcs/polling/poll3.sm
similarity index 100%
rename from prism-examples/polling/poll3.sm
rename to prism-examples/ctmcs/polling/poll3.sm
diff --git a/prism-examples/polling/poll4.sm b/prism-examples/ctmcs/polling/poll4.sm
similarity index 100%
rename from prism-examples/polling/poll4.sm
rename to prism-examples/ctmcs/polling/poll4.sm
diff --git a/prism-examples/polling/poll5.sm b/prism-examples/ctmcs/polling/poll5.sm
similarity index 100%
rename from prism-examples/polling/poll5.sm
rename to prism-examples/ctmcs/polling/poll5.sm
diff --git a/prism-examples/polling/poll6.sm b/prism-examples/ctmcs/polling/poll6.sm
similarity index 100%
rename from prism-examples/polling/poll6.sm
rename to prism-examples/ctmcs/polling/poll6.sm
diff --git a/prism-examples/polling/poll7.sm b/prism-examples/ctmcs/polling/poll7.sm
similarity index 100%
rename from prism-examples/polling/poll7.sm
rename to prism-examples/ctmcs/polling/poll7.sm
diff --git a/prism-examples/polling/poll8.sm b/prism-examples/ctmcs/polling/poll8.sm
similarity index 100%
rename from prism-examples/polling/poll8.sm
rename to prism-examples/ctmcs/polling/poll8.sm
diff --git a/prism-examples/polling/poll9.sm b/prism-examples/ctmcs/polling/poll9.sm
similarity index 100%
rename from prism-examples/polling/poll9.sm
rename to prism-examples/ctmcs/polling/poll9.sm
diff --git a/prism-examples/tandem/README.txt b/prism-examples/ctmcs/tandem/README.txt
similarity index 100%
rename from prism-examples/tandem/README.txt
rename to prism-examples/ctmcs/tandem/README.txt
diff --git a/prism-examples/tandem/auto b/prism-examples/ctmcs/tandem/auto
similarity index 100%
rename from prism-examples/tandem/auto
rename to prism-examples/ctmcs/tandem/auto
diff --git a/prism-examples/tandem/tandem.csl b/prism-examples/ctmcs/tandem/tandem.csl
similarity index 100%
rename from prism-examples/tandem/tandem.csl
rename to prism-examples/ctmcs/tandem/tandem.csl
diff --git a/prism-examples/tandem/tandem.sm b/prism-examples/ctmcs/tandem/tandem.sm
similarity index 100%
rename from prism-examples/tandem/tandem.sm
rename to prism-examples/ctmcs/tandem/tandem.sm
diff --git a/prism-examples/brp/README.txt b/prism-examples/dtmcs/brp/README.txt
similarity index 100%
rename from prism-examples/brp/README.txt
rename to prism-examples/dtmcs/brp/README.txt
diff --git a/prism-examples/brp/auto b/prism-examples/dtmcs/brp/auto
similarity index 100%
rename from prism-examples/brp/auto
rename to prism-examples/dtmcs/brp/auto
diff --git a/prism-examples/brp/brp.pctl b/prism-examples/dtmcs/brp/brp.pctl
similarity index 100%
rename from prism-examples/brp/brp.pctl
rename to prism-examples/dtmcs/brp/brp.pctl
diff --git a/prism-examples/brp/brp.pm b/prism-examples/dtmcs/brp/brp.pm
similarity index 100%
rename from prism-examples/brp/brp.pm
rename to prism-examples/dtmcs/brp/brp.pm
diff --git a/prism-examples/self-stabilisation/herman/.autopp b/prism-examples/dtmcs/herman/.autopp
similarity index 100%
rename from prism-examples/self-stabilisation/herman/.autopp
rename to prism-examples/dtmcs/herman/.autopp
diff --git a/prism-examples/self-stabilisation/herman/.hermanN.pm.pp b/prism-examples/dtmcs/herman/.hermanN.pm.pp
similarity index 100%
rename from prism-examples/self-stabilisation/herman/.hermanN.pm.pp
rename to prism-examples/dtmcs/herman/.hermanN.pm.pp
diff --git a/prism-examples/self-stabilisation/herman/README.txt b/prism-examples/dtmcs/herman/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/herman/README.txt
rename to prism-examples/dtmcs/herman/README.txt
diff --git a/prism-examples/self-stabilisation/herman/auto b/prism-examples/dtmcs/herman/auto
similarity index 100%
rename from prism-examples/self-stabilisation/herman/auto
rename to prism-examples/dtmcs/herman/auto
diff --git a/prism-examples/self-stabilisation/herman/herman.pctl b/prism-examples/dtmcs/herman/herman.pctl
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman.pctl
rename to prism-examples/dtmcs/herman/herman.pctl
diff --git a/prism-examples/self-stabilisation/herman/herman11.pm b/prism-examples/dtmcs/herman/herman11.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman11.pm
rename to prism-examples/dtmcs/herman/herman11.pm
diff --git a/prism-examples/self-stabilisation/herman/herman13.pm b/prism-examples/dtmcs/herman/herman13.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman13.pm
rename to prism-examples/dtmcs/herman/herman13.pm
diff --git a/prism-examples/self-stabilisation/herman/herman15.pm b/prism-examples/dtmcs/herman/herman15.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman15.pm
rename to prism-examples/dtmcs/herman/herman15.pm
diff --git a/prism-examples/self-stabilisation/herman/herman17.pm b/prism-examples/dtmcs/herman/herman17.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman17.pm
rename to prism-examples/dtmcs/herman/herman17.pm
diff --git a/prism-examples/self-stabilisation/herman/herman19.pm b/prism-examples/dtmcs/herman/herman19.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman19.pm
rename to prism-examples/dtmcs/herman/herman19.pm
diff --git a/prism-examples/self-stabilisation/herman/herman21.pm b/prism-examples/dtmcs/herman/herman21.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman21.pm
rename to prism-examples/dtmcs/herman/herman21.pm
diff --git a/prism-examples/self-stabilisation/herman/herman3.pm b/prism-examples/dtmcs/herman/herman3.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman3.pm
rename to prism-examples/dtmcs/herman/herman3.pm
diff --git a/prism-examples/self-stabilisation/herman/herman5.pm b/prism-examples/dtmcs/herman/herman5.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman5.pm
rename to prism-examples/dtmcs/herman/herman5.pm
diff --git a/prism-examples/self-stabilisation/herman/herman7.pm b/prism-examples/dtmcs/herman/herman7.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman7.pm
rename to prism-examples/dtmcs/herman/herman7.pm
diff --git a/prism-examples/self-stabilisation/herman/herman9.pm b/prism-examples/dtmcs/herman/herman9.pm
similarity index 100%
rename from prism-examples/self-stabilisation/herman/herman9.pm
rename to prism-examples/dtmcs/herman/herman9.pm
diff --git a/prism-examples/leader/synchronous/.autopp b/prism-examples/dtmcs/leader_sync/.autopp
similarity index 100%
rename from prism-examples/leader/synchronous/.autopp
rename to prism-examples/dtmcs/leader_sync/.autopp
diff --git a/prism-examples/leader/synchronous/.leaderN_K.pm.pp b/prism-examples/dtmcs/leader_sync/.leaderN_K.pm.pp
similarity index 100%
rename from prism-examples/leader/synchronous/.leaderN_K.pm.pp
rename to prism-examples/dtmcs/leader_sync/.leaderN_K.pm.pp
diff --git a/prism-examples/leader/synchronous/README.txt b/prism-examples/dtmcs/leader_sync/README.txt
similarity index 100%
rename from prism-examples/leader/synchronous/README.txt
rename to prism-examples/dtmcs/leader_sync/README.txt
diff --git a/prism-examples/leader/synchronous/auto b/prism-examples/dtmcs/leader_sync/auto
similarity index 100%
rename from prism-examples/leader/synchronous/auto
rename to prism-examples/dtmcs/leader_sync/auto
diff --git a/prism-examples/leader/synchronous/leader.pctl b/prism-examples/dtmcs/leader_sync/leader.pctl
similarity index 100%
rename from prism-examples/leader/synchronous/leader.pctl
rename to prism-examples/dtmcs/leader_sync/leader.pctl
diff --git a/prism-examples/leader/synchronous/leader3_2.pm b/prism-examples/dtmcs/leader_sync/leader3_2.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader3_2.pm
rename to prism-examples/dtmcs/leader_sync/leader3_2.pm
diff --git a/prism-examples/leader/synchronous/leader3_3.pm b/prism-examples/dtmcs/leader_sync/leader3_3.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader3_3.pm
rename to prism-examples/dtmcs/leader_sync/leader3_3.pm
diff --git a/prism-examples/leader/synchronous/leader3_4.pm b/prism-examples/dtmcs/leader_sync/leader3_4.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader3_4.pm
rename to prism-examples/dtmcs/leader_sync/leader3_4.pm
diff --git a/prism-examples/leader/synchronous/leader3_5.pm b/prism-examples/dtmcs/leader_sync/leader3_5.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader3_5.pm
rename to prism-examples/dtmcs/leader_sync/leader3_5.pm
diff --git a/prism-examples/leader/synchronous/leader3_6.pm b/prism-examples/dtmcs/leader_sync/leader3_6.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader3_6.pm
rename to prism-examples/dtmcs/leader_sync/leader3_6.pm
diff --git a/prism-examples/leader/synchronous/leader3_8.pm b/prism-examples/dtmcs/leader_sync/leader3_8.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader3_8.pm
rename to prism-examples/dtmcs/leader_sync/leader3_8.pm
diff --git a/prism-examples/leader/synchronous/leader4_2.pm b/prism-examples/dtmcs/leader_sync/leader4_2.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader4_2.pm
rename to prism-examples/dtmcs/leader_sync/leader4_2.pm
diff --git a/prism-examples/leader/synchronous/leader4_3.pm b/prism-examples/dtmcs/leader_sync/leader4_3.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader4_3.pm
rename to prism-examples/dtmcs/leader_sync/leader4_3.pm
diff --git a/prism-examples/leader/synchronous/leader4_4.pm b/prism-examples/dtmcs/leader_sync/leader4_4.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader4_4.pm
rename to prism-examples/dtmcs/leader_sync/leader4_4.pm
diff --git a/prism-examples/leader/synchronous/leader4_5.pm b/prism-examples/dtmcs/leader_sync/leader4_5.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader4_5.pm
rename to prism-examples/dtmcs/leader_sync/leader4_5.pm
diff --git a/prism-examples/leader/synchronous/leader4_6.pm b/prism-examples/dtmcs/leader_sync/leader4_6.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader4_6.pm
rename to prism-examples/dtmcs/leader_sync/leader4_6.pm
diff --git a/prism-examples/leader/synchronous/leader4_8.pm b/prism-examples/dtmcs/leader_sync/leader4_8.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader4_8.pm
rename to prism-examples/dtmcs/leader_sync/leader4_8.pm
diff --git a/prism-examples/leader/synchronous/leader5_2.pm b/prism-examples/dtmcs/leader_sync/leader5_2.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader5_2.pm
rename to prism-examples/dtmcs/leader_sync/leader5_2.pm
diff --git a/prism-examples/leader/synchronous/leader5_3.pm b/prism-examples/dtmcs/leader_sync/leader5_3.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader5_3.pm
rename to prism-examples/dtmcs/leader_sync/leader5_3.pm
diff --git a/prism-examples/leader/synchronous/leader5_4.pm b/prism-examples/dtmcs/leader_sync/leader5_4.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader5_4.pm
rename to prism-examples/dtmcs/leader_sync/leader5_4.pm
diff --git a/prism-examples/leader/synchronous/leader5_5.pm b/prism-examples/dtmcs/leader_sync/leader5_5.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader5_5.pm
rename to prism-examples/dtmcs/leader_sync/leader5_5.pm
diff --git a/prism-examples/leader/synchronous/leader5_6.pm b/prism-examples/dtmcs/leader_sync/leader5_6.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader5_6.pm
rename to prism-examples/dtmcs/leader_sync/leader5_6.pm
diff --git a/prism-examples/leader/synchronous/leader5_8.pm b/prism-examples/dtmcs/leader_sync/leader5_8.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader5_8.pm
rename to prism-examples/dtmcs/leader_sync/leader5_8.pm
diff --git a/prism-examples/leader/synchronous/leader6_2.pm b/prism-examples/dtmcs/leader_sync/leader6_2.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader6_2.pm
rename to prism-examples/dtmcs/leader_sync/leader6_2.pm
diff --git a/prism-examples/leader/synchronous/leader6_3.pm b/prism-examples/dtmcs/leader_sync/leader6_3.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader6_3.pm
rename to prism-examples/dtmcs/leader_sync/leader6_3.pm
diff --git a/prism-examples/leader/synchronous/leader6_4.pm b/prism-examples/dtmcs/leader_sync/leader6_4.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader6_4.pm
rename to prism-examples/dtmcs/leader_sync/leader6_4.pm
diff --git a/prism-examples/leader/synchronous/leader6_5.pm b/prism-examples/dtmcs/leader_sync/leader6_5.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader6_5.pm
rename to prism-examples/dtmcs/leader_sync/leader6_5.pm
diff --git a/prism-examples/leader/synchronous/leader6_6.pm b/prism-examples/dtmcs/leader_sync/leader6_6.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader6_6.pm
rename to prism-examples/dtmcs/leader_sync/leader6_6.pm
diff --git a/prism-examples/leader/synchronous/leader6_8.pm b/prism-examples/dtmcs/leader_sync/leader6_8.pm
similarity index 100%
rename from prism-examples/leader/synchronous/leader6_8.pm
rename to prism-examples/dtmcs/leader_sync/leader6_8.pm
diff --git a/prism-examples/consensus/.autopp b/prism-examples/mdps/consensus/.autopp
similarity index 100%
rename from prism-examples/consensus/.autopp
rename to prism-examples/mdps/consensus/.autopp
diff --git a/prism-examples/consensus/.coinN.nm.pp b/prism-examples/mdps/consensus/.coinN.nm.pp
similarity index 100%
rename from prism-examples/consensus/.coinN.nm.pp
rename to prism-examples/mdps/consensus/.coinN.nm.pp
diff --git a/prism-examples/consensus/README.txt b/prism-examples/mdps/consensus/README.txt
similarity index 100%
rename from prism-examples/consensus/README.txt
rename to prism-examples/mdps/consensus/README.txt
diff --git a/prism-examples/consensus/auto b/prism-examples/mdps/consensus/auto
similarity index 100%
rename from prism-examples/consensus/auto
rename to prism-examples/mdps/consensus/auto
diff --git a/prism-examples/consensus/coin.pctl b/prism-examples/mdps/consensus/coin.pctl
similarity index 100%
rename from prism-examples/consensus/coin.pctl
rename to prism-examples/mdps/consensus/coin.pctl
diff --git a/prism-examples/consensus/coin10.nm b/prism-examples/mdps/consensus/coin10.nm
similarity index 100%
rename from prism-examples/consensus/coin10.nm
rename to prism-examples/mdps/consensus/coin10.nm
diff --git a/prism-examples/consensus/coin2.nm b/prism-examples/mdps/consensus/coin2.nm
similarity index 100%
rename from prism-examples/consensus/coin2.nm
rename to prism-examples/mdps/consensus/coin2.nm
diff --git a/prism-examples/consensus/coin4.nm b/prism-examples/mdps/consensus/coin4.nm
similarity index 100%
rename from prism-examples/consensus/coin4.nm
rename to prism-examples/mdps/consensus/coin4.nm
diff --git a/prism-examples/consensus/coin6.nm b/prism-examples/mdps/consensus/coin6.nm
similarity index 100%
rename from prism-examples/consensus/coin6.nm
rename to prism-examples/mdps/consensus/coin6.nm
diff --git a/prism-examples/consensus/coin8.nm b/prism-examples/mdps/consensus/coin8.nm
similarity index 100%
rename from prism-examples/consensus/coin8.nm
rename to prism-examples/mdps/consensus/coin8.nm
diff --git a/prism-examples/csma/.autopp b/prism-examples/mdps/csma/.autopp
similarity index 100%
rename from prism-examples/csma/.autopp
rename to prism-examples/mdps/csma/.autopp
diff --git a/prism-examples/csma/.csmaN_K.nm.pp b/prism-examples/mdps/csma/.csmaN_K.nm.pp
similarity index 100%
rename from prism-examples/csma/.csmaN_K.nm.pp
rename to prism-examples/mdps/csma/.csmaN_K.nm.pp
diff --git a/prism-examples/csma/README.txt b/prism-examples/mdps/csma/README.txt
similarity index 100%
rename from prism-examples/csma/README.txt
rename to prism-examples/mdps/csma/README.txt
diff --git a/prism-examples/csma/auto b/prism-examples/mdps/csma/auto
similarity index 100%
rename from prism-examples/csma/auto
rename to prism-examples/mdps/csma/auto
diff --git a/prism-examples/csma/csma.pctl b/prism-examples/mdps/csma/csma.pctl
similarity index 100%
rename from prism-examples/csma/csma.pctl
rename to prism-examples/mdps/csma/csma.pctl
diff --git a/prism-examples/csma/csma2_2.nm b/prism-examples/mdps/csma/csma2_2.nm
similarity index 100%
rename from prism-examples/csma/csma2_2.nm
rename to prism-examples/mdps/csma/csma2_2.nm
diff --git a/prism-examples/csma/csma2_4.nm b/prism-examples/mdps/csma/csma2_4.nm
similarity index 100%
rename from prism-examples/csma/csma2_4.nm
rename to prism-examples/mdps/csma/csma2_4.nm
diff --git a/prism-examples/csma/csma2_6.nm b/prism-examples/mdps/csma/csma2_6.nm
similarity index 100%
rename from prism-examples/csma/csma2_6.nm
rename to prism-examples/mdps/csma/csma2_6.nm
diff --git a/prism-examples/csma/csma3_2.nm b/prism-examples/mdps/csma/csma3_2.nm
similarity index 100%
rename from prism-examples/csma/csma3_2.nm
rename to prism-examples/mdps/csma/csma3_2.nm
diff --git a/prism-examples/csma/csma3_4.nm b/prism-examples/mdps/csma/csma3_4.nm
similarity index 100%
rename from prism-examples/csma/csma3_4.nm
rename to prism-examples/mdps/csma/csma3_4.nm
diff --git a/prism-examples/csma/csma3_6.nm b/prism-examples/mdps/csma/csma3_6.nm
similarity index 100%
rename from prism-examples/csma/csma3_6.nm
rename to prism-examples/mdps/csma/csma3_6.nm
diff --git a/prism-examples/csma/csma4_2.nm b/prism-examples/mdps/csma/csma4_2.nm
similarity index 100%
rename from prism-examples/csma/csma4_2.nm
rename to prism-examples/mdps/csma/csma4_2.nm
diff --git a/prism-examples/csma/csma4_4.nm b/prism-examples/mdps/csma/csma4_4.nm
similarity index 100%
rename from prism-examples/csma/csma4_4.nm
rename to prism-examples/mdps/csma/csma4_4.nm
diff --git a/prism-examples/csma/csma4_6.nm b/prism-examples/mdps/csma/csma4_6.nm
similarity index 100%
rename from prism-examples/csma/csma4_6.nm
rename to prism-examples/mdps/csma/csma4_6.nm
diff --git a/prism-examples/dining_crypt/.autopp b/prism-examples/mdps/dining_crypt/.autopp
similarity index 100%
rename from prism-examples/dining_crypt/.autopp
rename to prism-examples/mdps/dining_crypt/.autopp
diff --git a/prism-examples/dining_crypt/.dining_cryptN.nm.pp b/prism-examples/mdps/dining_crypt/.dining_cryptN.nm.pp
similarity index 100%
rename from prism-examples/dining_crypt/.dining_cryptN.nm.pp
rename to prism-examples/mdps/dining_crypt/.dining_cryptN.nm.pp
diff --git a/prism-examples/dining_crypt/README.txt b/prism-examples/mdps/dining_crypt/README.txt
similarity index 100%
rename from prism-examples/dining_crypt/README.txt
rename to prism-examples/mdps/dining_crypt/README.txt
diff --git a/prism-examples/dining_crypt/anonymity.pctl b/prism-examples/mdps/dining_crypt/anonymity.pctl
similarity index 100%
rename from prism-examples/dining_crypt/anonymity.pctl
rename to prism-examples/mdps/dining_crypt/anonymity.pctl
diff --git a/prism-examples/dining_crypt/auto b/prism-examples/mdps/dining_crypt/auto
similarity index 100%
rename from prism-examples/dining_crypt/auto
rename to prism-examples/mdps/dining_crypt/auto
diff --git a/prism-examples/dining_crypt/correctness.pctl b/prism-examples/mdps/dining_crypt/correctness.pctl
similarity index 100%
rename from prism-examples/dining_crypt/correctness.pctl
rename to prism-examples/mdps/dining_crypt/correctness.pctl
diff --git a/prism-examples/dining_crypt/dining_crypt10.nm b/prism-examples/mdps/dining_crypt/dining_crypt10.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt10.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt10.nm
diff --git a/prism-examples/dining_crypt/dining_crypt15.nm b/prism-examples/mdps/dining_crypt/dining_crypt15.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt15.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt15.nm
diff --git a/prism-examples/dining_crypt/dining_crypt3.nm b/prism-examples/mdps/dining_crypt/dining_crypt3.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt3.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt3.nm
diff --git a/prism-examples/dining_crypt/dining_crypt4.nm b/prism-examples/mdps/dining_crypt/dining_crypt4.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt4.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt4.nm
diff --git a/prism-examples/dining_crypt/dining_crypt5.nm b/prism-examples/mdps/dining_crypt/dining_crypt5.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt5.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt5.nm
diff --git a/prism-examples/dining_crypt/dining_crypt6.nm b/prism-examples/mdps/dining_crypt/dining_crypt6.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt6.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt6.nm
diff --git a/prism-examples/dining_crypt/dining_crypt7.nm b/prism-examples/mdps/dining_crypt/dining_crypt7.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt7.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt7.nm
diff --git a/prism-examples/dining_crypt/dining_crypt8.nm b/prism-examples/mdps/dining_crypt/dining_crypt8.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt8.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt8.nm
diff --git a/prism-examples/dining_crypt/dining_crypt9.nm b/prism-examples/mdps/dining_crypt/dining_crypt9.nm
similarity index 100%
rename from prism-examples/dining_crypt/dining_crypt9.nm
rename to prism-examples/mdps/dining_crypt/dining_crypt9.nm
diff --git a/prism-examples/firewire/README.txt b/prism-examples/mdps/firewire/README.txt
similarity index 100%
rename from prism-examples/firewire/README.txt
rename to prism-examples/mdps/firewire/README.txt
diff --git a/prism-examples/firewire/abst/auto b/prism-examples/mdps/firewire/abst/auto
similarity index 100%
rename from prism-examples/firewire/abst/auto
rename to prism-examples/mdps/firewire/abst/auto
diff --git a/prism-examples/firewire/abst/deadline.nm b/prism-examples/mdps/firewire/abst/deadline.nm
similarity index 100%
rename from prism-examples/firewire/abst/deadline.nm
rename to prism-examples/mdps/firewire/abst/deadline.nm
diff --git a/prism-examples/firewire/abst/deadline.pctl b/prism-examples/mdps/firewire/abst/deadline.pctl
similarity index 100%
rename from prism-examples/firewire/abst/deadline.pctl
rename to prism-examples/mdps/firewire/abst/deadline.pctl
diff --git a/prism-examples/firewire/abst/expected.pctl b/prism-examples/mdps/firewire/abst/expected.pctl
similarity index 100%
rename from prism-examples/firewire/abst/expected.pctl
rename to prism-examples/mdps/firewire/abst/expected.pctl
diff --git a/prism-examples/firewire/abst/firewire.nm b/prism-examples/mdps/firewire/abst/firewire.nm
similarity index 100%
rename from prism-examples/firewire/abst/firewire.nm
rename to prism-examples/mdps/firewire/abst/firewire.nm
diff --git a/prism-examples/firewire/abst/liveness.pctl b/prism-examples/mdps/firewire/abst/liveness.pctl
similarity index 100%
rename from prism-examples/firewire/abst/liveness.pctl
rename to prism-examples/mdps/firewire/abst/liveness.pctl
diff --git a/prism-examples/firewire/impl/auto b/prism-examples/mdps/firewire/impl/auto
similarity index 100%
rename from prism-examples/firewire/impl/auto
rename to prism-examples/mdps/firewire/impl/auto
diff --git a/prism-examples/firewire/impl/deadline.nm b/prism-examples/mdps/firewire/impl/deadline.nm
similarity index 100%
rename from prism-examples/firewire/impl/deadline.nm
rename to prism-examples/mdps/firewire/impl/deadline.nm
diff --git a/prism-examples/firewire/impl/deadline.pctl b/prism-examples/mdps/firewire/impl/deadline.pctl
similarity index 100%
rename from prism-examples/firewire/impl/deadline.pctl
rename to prism-examples/mdps/firewire/impl/deadline.pctl
diff --git a/prism-examples/firewire/impl/expected.pctl b/prism-examples/mdps/firewire/impl/expected.pctl
similarity index 100%
rename from prism-examples/firewire/impl/expected.pctl
rename to prism-examples/mdps/firewire/impl/expected.pctl
diff --git a/prism-examples/firewire/impl/firewire.nm b/prism-examples/mdps/firewire/impl/firewire.nm
similarity index 100%
rename from prism-examples/firewire/impl/firewire.nm
rename to prism-examples/mdps/firewire/impl/firewire.nm
diff --git a/prism-examples/firewire/impl/liveness.pctl b/prism-examples/mdps/firewire/impl/liveness.pctl
similarity index 100%
rename from prism-examples/firewire/impl/liveness.pctl
rename to prism-examples/mdps/firewire/impl/liveness.pctl
diff --git a/prism-examples/leader/asynchronous/.autopp b/prism-examples/mdps/leader_async/.autopp
similarity index 100%
rename from prism-examples/leader/asynchronous/.autopp
rename to prism-examples/mdps/leader_async/.autopp
diff --git a/prism-examples/leader/asynchronous/.leaderN.nm.pp b/prism-examples/mdps/leader_async/.leaderN.nm.pp
similarity index 100%
rename from prism-examples/leader/asynchronous/.leaderN.nm.pp
rename to prism-examples/mdps/leader_async/.leaderN.nm.pp
diff --git a/prism-examples/leader/asynchronous/README.txt b/prism-examples/mdps/leader_async/README.txt
similarity index 100%
rename from prism-examples/leader/asynchronous/README.txt
rename to prism-examples/mdps/leader_async/README.txt
diff --git a/prism-examples/leader/asynchronous/auto b/prism-examples/mdps/leader_async/auto
similarity index 100%
rename from prism-examples/leader/asynchronous/auto
rename to prism-examples/mdps/leader_async/auto
diff --git a/prism-examples/leader/asynchronous/leader.pctl b/prism-examples/mdps/leader_async/leader.pctl
similarity index 100%
rename from prism-examples/leader/asynchronous/leader.pctl
rename to prism-examples/mdps/leader_async/leader.pctl
diff --git a/prism-examples/leader/asynchronous/leader10.nm b/prism-examples/mdps/leader_async/leader10.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader10.nm
rename to prism-examples/mdps/leader_async/leader10.nm
diff --git a/prism-examples/leader/asynchronous/leader3.nm b/prism-examples/mdps/leader_async/leader3.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader3.nm
rename to prism-examples/mdps/leader_async/leader3.nm
diff --git a/prism-examples/leader/asynchronous/leader4.nm b/prism-examples/mdps/leader_async/leader4.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader4.nm
rename to prism-examples/mdps/leader_async/leader4.nm
diff --git a/prism-examples/leader/asynchronous/leader5.nm b/prism-examples/mdps/leader_async/leader5.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader5.nm
rename to prism-examples/mdps/leader_async/leader5.nm
diff --git a/prism-examples/leader/asynchronous/leader6.nm b/prism-examples/mdps/leader_async/leader6.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader6.nm
rename to prism-examples/mdps/leader_async/leader6.nm
diff --git a/prism-examples/leader/asynchronous/leader7.nm b/prism-examples/mdps/leader_async/leader7.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader7.nm
rename to prism-examples/mdps/leader_async/leader7.nm
diff --git a/prism-examples/leader/asynchronous/leader8.nm b/prism-examples/mdps/leader_async/leader8.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader8.nm
rename to prism-examples/mdps/leader_async/leader8.nm
diff --git a/prism-examples/leader/asynchronous/leader9.nm b/prism-examples/mdps/leader_async/leader9.nm
similarity index 100%
rename from prism-examples/leader/asynchronous/leader9.nm
rename to prism-examples/mdps/leader_async/leader9.nm
diff --git a/prism-examples/mutual/.autopp b/prism-examples/mdps/mutual/.autopp
similarity index 100%
rename from prism-examples/mutual/.autopp
rename to prism-examples/mdps/mutual/.autopp
diff --git a/prism-examples/mutual/.mutualN.nm.pp b/prism-examples/mdps/mutual/.mutualN.nm.pp
similarity index 100%
rename from prism-examples/mutual/.mutualN.nm.pp
rename to prism-examples/mdps/mutual/.mutualN.nm.pp
diff --git a/prism-examples/mutual/README.txt b/prism-examples/mdps/mutual/README.txt
similarity index 100%
rename from prism-examples/mutual/README.txt
rename to prism-examples/mdps/mutual/README.txt
diff --git a/prism-examples/mutual/auto b/prism-examples/mdps/mutual/auto
similarity index 100%
rename from prism-examples/mutual/auto
rename to prism-examples/mdps/mutual/auto
diff --git a/prism-examples/mutual/mutual.pctl b/prism-examples/mdps/mutual/mutual.pctl
similarity index 100%
rename from prism-examples/mutual/mutual.pctl
rename to prism-examples/mdps/mutual/mutual.pctl
diff --git a/prism-examples/mutual/mutual10.nm b/prism-examples/mdps/mutual/mutual10.nm
similarity index 100%
rename from prism-examples/mutual/mutual10.nm
rename to prism-examples/mdps/mutual/mutual10.nm
diff --git a/prism-examples/mutual/mutual3.nm b/prism-examples/mdps/mutual/mutual3.nm
similarity index 100%
rename from prism-examples/mutual/mutual3.nm
rename to prism-examples/mdps/mutual/mutual3.nm
diff --git a/prism-examples/mutual/mutual4.nm b/prism-examples/mdps/mutual/mutual4.nm
similarity index 100%
rename from prism-examples/mutual/mutual4.nm
rename to prism-examples/mdps/mutual/mutual4.nm
diff --git a/prism-examples/mutual/mutual5.nm b/prism-examples/mdps/mutual/mutual5.nm
similarity index 100%
rename from prism-examples/mutual/mutual5.nm
rename to prism-examples/mdps/mutual/mutual5.nm
diff --git a/prism-examples/mutual/mutual8.nm b/prism-examples/mdps/mutual/mutual8.nm
similarity index 100%
rename from prism-examples/mutual/mutual8.nm
rename to prism-examples/mdps/mutual/mutual8.nm
diff --git a/prism-examples/phil/nofair/.autopp b/prism-examples/mdps/phil/nofair/.autopp
similarity index 100%
rename from prism-examples/phil/nofair/.autopp
rename to prism-examples/mdps/phil/nofair/.autopp
diff --git a/prism-examples/phil/nofair/.phil-nofairN.nm.pp b/prism-examples/mdps/phil/nofair/.phil-nofairN.nm.pp
similarity index 100%
rename from prism-examples/phil/nofair/.phil-nofairN.nm.pp
rename to prism-examples/mdps/phil/nofair/.phil-nofairN.nm.pp
diff --git a/prism-examples/phil/nofair/README.txt b/prism-examples/mdps/phil/nofair/README.txt
similarity index 100%
rename from prism-examples/phil/nofair/README.txt
rename to prism-examples/mdps/phil/nofair/README.txt
diff --git a/prism-examples/phil/nofair/auto b/prism-examples/mdps/phil/nofair/auto
similarity index 100%
rename from prism-examples/phil/nofair/auto
rename to prism-examples/mdps/phil/nofair/auto
diff --git a/prism-examples/phil/nofair/phil-nofair10.nm b/prism-examples/mdps/phil/nofair/phil-nofair10.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair10.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair10.nm
diff --git a/prism-examples/phil/nofair/phil-nofair3.nm b/prism-examples/mdps/phil/nofair/phil-nofair3.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair3.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair3.nm
diff --git a/prism-examples/phil/nofair/phil-nofair4.nm b/prism-examples/mdps/phil/nofair/phil-nofair4.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair4.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair4.nm
diff --git a/prism-examples/phil/nofair/phil-nofair5.nm b/prism-examples/mdps/phil/nofair/phil-nofair5.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair5.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair5.nm
diff --git a/prism-examples/phil/nofair/phil-nofair6.nm b/prism-examples/mdps/phil/nofair/phil-nofair6.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair6.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair6.nm
diff --git a/prism-examples/phil/nofair/phil-nofair7.nm b/prism-examples/mdps/phil/nofair/phil-nofair7.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair7.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair7.nm
diff --git a/prism-examples/phil/nofair/phil-nofair8.nm b/prism-examples/mdps/phil/nofair/phil-nofair8.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair8.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair8.nm
diff --git a/prism-examples/phil/nofair/phil-nofair9.nm b/prism-examples/mdps/phil/nofair/phil-nofair9.nm
similarity index 100%
rename from prism-examples/phil/nofair/phil-nofair9.nm
rename to prism-examples/mdps/phil/nofair/phil-nofair9.nm
diff --git a/prism-examples/phil/nofair/phil.pctl b/prism-examples/mdps/phil/nofair/phil.pctl
similarity index 100%
rename from prism-examples/phil/nofair/phil.pctl
rename to prism-examples/mdps/phil/nofair/phil.pctl
diff --git a/prism-examples/phil/original/.autopp b/prism-examples/mdps/phil/original/.autopp
similarity index 100%
rename from prism-examples/phil/original/.autopp
rename to prism-examples/mdps/phil/original/.autopp
diff --git a/prism-examples/phil/original/.philN.nm.pp b/prism-examples/mdps/phil/original/.philN.nm.pp
similarity index 100%
rename from prism-examples/phil/original/.philN.nm.pp
rename to prism-examples/mdps/phil/original/.philN.nm.pp
diff --git a/prism-examples/phil/original/README.txt b/prism-examples/mdps/phil/original/README.txt
similarity index 100%
rename from prism-examples/phil/original/README.txt
rename to prism-examples/mdps/phil/original/README.txt
diff --git a/prism-examples/phil/original/auto b/prism-examples/mdps/phil/original/auto
similarity index 100%
rename from prism-examples/phil/original/auto
rename to prism-examples/mdps/phil/original/auto
diff --git a/prism-examples/phil/original/phil.pctl b/prism-examples/mdps/phil/original/phil.pctl
similarity index 100%
rename from prism-examples/phil/original/phil.pctl
rename to prism-examples/mdps/phil/original/phil.pctl
diff --git a/prism-examples/phil/original/phil10.nm b/prism-examples/mdps/phil/original/phil10.nm
similarity index 100%
rename from prism-examples/phil/original/phil10.nm
rename to prism-examples/mdps/phil/original/phil10.nm
diff --git a/prism-examples/phil/original/phil15.nm b/prism-examples/mdps/phil/original/phil15.nm
similarity index 100%
rename from prism-examples/phil/original/phil15.nm
rename to prism-examples/mdps/phil/original/phil15.nm
diff --git a/prism-examples/phil/original/phil20.nm b/prism-examples/mdps/phil/original/phil20.nm
similarity index 100%
rename from prism-examples/phil/original/phil20.nm
rename to prism-examples/mdps/phil/original/phil20.nm
diff --git a/prism-examples/phil/original/phil25.nm b/prism-examples/mdps/phil/original/phil25.nm
similarity index 100%
rename from prism-examples/phil/original/phil25.nm
rename to prism-examples/mdps/phil/original/phil25.nm
diff --git a/prism-examples/phil/original/phil3.nm b/prism-examples/mdps/phil/original/phil3.nm
similarity index 100%
rename from prism-examples/phil/original/phil3.nm
rename to prism-examples/mdps/phil/original/phil3.nm
diff --git a/prism-examples/phil/original/phil30.nm b/prism-examples/mdps/phil/original/phil30.nm
similarity index 100%
rename from prism-examples/phil/original/phil30.nm
rename to prism-examples/mdps/phil/original/phil30.nm
diff --git a/prism-examples/phil/original/phil4.nm b/prism-examples/mdps/phil/original/phil4.nm
similarity index 100%
rename from prism-examples/phil/original/phil4.nm
rename to prism-examples/mdps/phil/original/phil4.nm
diff --git a/prism-examples/phil/original/phil5.nm b/prism-examples/mdps/phil/original/phil5.nm
similarity index 100%
rename from prism-examples/phil/original/phil5.nm
rename to prism-examples/mdps/phil/original/phil5.nm
diff --git a/prism-examples/phil/original/phil6.nm b/prism-examples/mdps/phil/original/phil6.nm
similarity index 100%
rename from prism-examples/phil/original/phil6.nm
rename to prism-examples/mdps/phil/original/phil6.nm
diff --git a/prism-examples/phil/original/phil7.nm b/prism-examples/mdps/phil/original/phil7.nm
similarity index 100%
rename from prism-examples/phil/original/phil7.nm
rename to prism-examples/mdps/phil/original/phil7.nm
diff --git a/prism-examples/phil/original/phil8.nm b/prism-examples/mdps/phil/original/phil8.nm
similarity index 100%
rename from prism-examples/phil/original/phil8.nm
rename to prism-examples/mdps/phil/original/phil8.nm
diff --git a/prism-examples/phil/original/phil9.nm b/prism-examples/mdps/phil/original/phil9.nm
similarity index 100%
rename from prism-examples/phil/original/phil9.nm
rename to prism-examples/mdps/phil/original/phil9.nm
diff --git a/prism-examples/phil_lss/README.txt b/prism-examples/mdps/phil_lss/README.txt
similarity index 100%
rename from prism-examples/phil_lss/README.txt
rename to prism-examples/mdps/phil_lss/README.txt
diff --git a/prism-examples/phil_lss/auto b/prism-examples/mdps/phil_lss/auto
similarity index 100%
rename from prism-examples/phil_lss/auto
rename to prism-examples/mdps/phil_lss/auto
diff --git a/prism-examples/phil_lss/phil_lss3.nm b/prism-examples/mdps/phil_lss/phil_lss3.nm
similarity index 100%
rename from prism-examples/phil_lss/phil_lss3.nm
rename to prism-examples/mdps/phil_lss/phil_lss3.nm
diff --git a/prism-examples/phil_lss/phil_lss3.pctl b/prism-examples/mdps/phil_lss/phil_lss3.pctl
similarity index 100%
rename from prism-examples/phil_lss/phil_lss3.pctl
rename to prism-examples/mdps/phil_lss/phil_lss3.pctl
diff --git a/prism-examples/phil_lss/phil_lss4.nm b/prism-examples/mdps/phil_lss/phil_lss4.nm
similarity index 100%
rename from prism-examples/phil_lss/phil_lss4.nm
rename to prism-examples/mdps/phil_lss/phil_lss4.nm
diff --git a/prism-examples/phil_lss/phil_lss4.pctl b/prism-examples/mdps/phil_lss/phil_lss4.pctl
similarity index 100%
rename from prism-examples/phil_lss/phil_lss4.pctl
rename to prism-examples/mdps/phil_lss/phil_lss4.pctl
diff --git a/prism-examples/rabin/.autopp b/prism-examples/mdps/rabin/.autopp
similarity index 100%
rename from prism-examples/rabin/.autopp
rename to prism-examples/mdps/rabin/.autopp
diff --git a/prism-examples/rabin/.rabinN.nm.pp b/prism-examples/mdps/rabin/.rabinN.nm.pp
similarity index 100%
rename from prism-examples/rabin/.rabinN.nm.pp
rename to prism-examples/mdps/rabin/.rabinN.nm.pp
diff --git a/prism-examples/rabin/README.txt b/prism-examples/mdps/rabin/README.txt
similarity index 100%
rename from prism-examples/rabin/README.txt
rename to prism-examples/mdps/rabin/README.txt
diff --git a/prism-examples/rabin/auto b/prism-examples/mdps/rabin/auto
similarity index 100%
rename from prism-examples/rabin/auto
rename to prism-examples/mdps/rabin/auto
diff --git a/prism-examples/rabin/rabin.pctl b/prism-examples/mdps/rabin/rabin.pctl
similarity index 100%
rename from prism-examples/rabin/rabin.pctl
rename to prism-examples/mdps/rabin/rabin.pctl
diff --git a/prism-examples/rabin/rabin10.nm b/prism-examples/mdps/rabin/rabin10.nm
similarity index 100%
rename from prism-examples/rabin/rabin10.nm
rename to prism-examples/mdps/rabin/rabin10.nm
diff --git a/prism-examples/rabin/rabin3.nm b/prism-examples/mdps/rabin/rabin3.nm
similarity index 100%
rename from prism-examples/rabin/rabin3.nm
rename to prism-examples/mdps/rabin/rabin3.nm
diff --git a/prism-examples/rabin/rabin4.nm b/prism-examples/mdps/rabin/rabin4.nm
similarity index 100%
rename from prism-examples/rabin/rabin4.nm
rename to prism-examples/mdps/rabin/rabin4.nm
diff --git a/prism-examples/rabin/rabin5.nm b/prism-examples/mdps/rabin/rabin5.nm
similarity index 100%
rename from prism-examples/rabin/rabin5.nm
rename to prism-examples/mdps/rabin/rabin5.nm
diff --git a/prism-examples/rabin/rabin6.nm b/prism-examples/mdps/rabin/rabin6.nm
similarity index 100%
rename from prism-examples/rabin/rabin6.nm
rename to prism-examples/mdps/rabin/rabin6.nm
diff --git a/prism-examples/rabin/rabin7.nm b/prism-examples/mdps/rabin/rabin7.nm
similarity index 100%
rename from prism-examples/rabin/rabin7.nm
rename to prism-examples/mdps/rabin/rabin7.nm
diff --git a/prism-examples/rabin/rabin8.nm b/prism-examples/mdps/rabin/rabin8.nm
similarity index 100%
rename from prism-examples/rabin/rabin8.nm
rename to prism-examples/mdps/rabin/rabin8.nm
diff --git a/prism-examples/rabin/rabin9.nm b/prism-examples/mdps/rabin/rabin9.nm
similarity index 100%
rename from prism-examples/rabin/rabin9.nm
rename to prism-examples/mdps/rabin/rabin9.nm
diff --git a/prism-examples/self-stabilisation/beauquier/.autopp b/prism-examples/mdps/self-stabilisation/beauquier/.autopp
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/.autopp
rename to prism-examples/mdps/self-stabilisation/beauquier/.autopp
diff --git a/prism-examples/self-stabilisation/beauquier/.beauquierN.nm.pp b/prism-examples/mdps/self-stabilisation/beauquier/.beauquierN.nm.pp
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/.beauquierN.nm.pp
rename to prism-examples/mdps/self-stabilisation/beauquier/.beauquierN.nm.pp
diff --git a/prism-examples/self-stabilisation/beauquier/README.txt b/prism-examples/mdps/self-stabilisation/beauquier/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/README.txt
rename to prism-examples/mdps/self-stabilisation/beauquier/README.txt
diff --git a/prism-examples/self-stabilisation/beauquier/auto b/prism-examples/mdps/self-stabilisation/beauquier/auto
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/auto
rename to prism-examples/mdps/self-stabilisation/beauquier/auto
diff --git a/prism-examples/self-stabilisation/beauquier/beauquier.pctl b/prism-examples/mdps/self-stabilisation/beauquier/beauquier.pctl
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/beauquier.pctl
rename to prism-examples/mdps/self-stabilisation/beauquier/beauquier.pctl
diff --git a/prism-examples/self-stabilisation/beauquier/beauquier11.nm b/prism-examples/mdps/self-stabilisation/beauquier/beauquier11.nm
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/beauquier11.nm
rename to prism-examples/mdps/self-stabilisation/beauquier/beauquier11.nm
diff --git a/prism-examples/self-stabilisation/beauquier/beauquier3.nm b/prism-examples/mdps/self-stabilisation/beauquier/beauquier3.nm
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/beauquier3.nm
rename to prism-examples/mdps/self-stabilisation/beauquier/beauquier3.nm
diff --git a/prism-examples/self-stabilisation/beauquier/beauquier5.nm b/prism-examples/mdps/self-stabilisation/beauquier/beauquier5.nm
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/beauquier5.nm
rename to prism-examples/mdps/self-stabilisation/beauquier/beauquier5.nm
diff --git a/prism-examples/self-stabilisation/beauquier/beauquier7.nm b/prism-examples/mdps/self-stabilisation/beauquier/beauquier7.nm
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/beauquier7.nm
rename to prism-examples/mdps/self-stabilisation/beauquier/beauquier7.nm
diff --git a/prism-examples/self-stabilisation/beauquier/beauquier9.nm b/prism-examples/mdps/self-stabilisation/beauquier/beauquier9.nm
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/beauquier9.nm
rename to prism-examples/mdps/self-stabilisation/beauquier/beauquier9.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/.autopp b/prism-examples/mdps/self-stabilisation/israeli-jalfon/.autopp
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/.autopp
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/.autopp
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/.ijN.nm.pp b/prism-examples/mdps/self-stabilisation/israeli-jalfon/.ijN.nm.pp
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/.ijN.nm.pp
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/.ijN.nm.pp
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/README.txt b/prism-examples/mdps/self-stabilisation/israeli-jalfon/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/README.txt
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/README.txt
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/auto b/prism-examples/mdps/self-stabilisation/israeli-jalfon/auto
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/auto
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/auto
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij.pctl b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij.pctl
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij.pctl
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij.pctl
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij10.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij10.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij10.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij10.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij11.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij11.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij11.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij11.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij12.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij12.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij12.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij12.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij13.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij13.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij13.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij13.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij14.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij14.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij14.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij14.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij15.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij15.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij15.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij15.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij16.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij16.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij16.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij16.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij17.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij17.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij17.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij17.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij18.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij18.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij18.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij18.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij19.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij19.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij19.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij19.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij20.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij20.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij20.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij20.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij21.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij21.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij21.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij21.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij3.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij3.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij3.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij3.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij4.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij4.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij4.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij4.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij5.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij5.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij5.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij5.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij6.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij6.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij6.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij6.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij7.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij7.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij7.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij7.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij8.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij8.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij8.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij8.nm
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/ij9.nm b/prism-examples/mdps/self-stabilisation/israeli-jalfon/ij9.nm
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/ij9.nm
rename to prism-examples/mdps/self-stabilisation/israeli-jalfon/ij9.nm
diff --git a/prism-examples/wlan/README.txt b/prism-examples/mdps/wlan/README.txt
similarity index 100%
rename from prism-examples/wlan/README.txt
rename to prism-examples/mdps/wlan/README.txt
diff --git a/prism-examples/wlan/auto b/prism-examples/mdps/wlan/auto
similarity index 100%
rename from prism-examples/wlan/auto
rename to prism-examples/mdps/wlan/auto
diff --git a/prism-examples/wlan/wlan.pctl b/prism-examples/mdps/wlan/wlan.pctl
similarity index 100%
rename from prism-examples/wlan/wlan.pctl
rename to prism-examples/mdps/wlan/wlan.pctl
diff --git a/prism-examples/wlan/wlan0.nm b/prism-examples/mdps/wlan/wlan0.nm
similarity index 100%
rename from prism-examples/wlan/wlan0.nm
rename to prism-examples/mdps/wlan/wlan0.nm
diff --git a/prism-examples/wlan/wlan0_collide.nm b/prism-examples/mdps/wlan/wlan0_collide.nm
similarity index 100%
rename from prism-examples/wlan/wlan0_collide.nm
rename to prism-examples/mdps/wlan/wlan0_collide.nm
diff --git a/prism-examples/wlan/wlan0_time_bounded.nm b/prism-examples/mdps/wlan/wlan0_time_bounded.nm
similarity index 100%
rename from prism-examples/wlan/wlan0_time_bounded.nm
rename to prism-examples/mdps/wlan/wlan0_time_bounded.nm
diff --git a/prism-examples/wlan/wlan1.nm b/prism-examples/mdps/wlan/wlan1.nm
similarity index 100%
rename from prism-examples/wlan/wlan1.nm
rename to prism-examples/mdps/wlan/wlan1.nm
diff --git a/prism-examples/wlan/wlan1_collide.nm b/prism-examples/mdps/wlan/wlan1_collide.nm
similarity index 100%
rename from prism-examples/wlan/wlan1_collide.nm
rename to prism-examples/mdps/wlan/wlan1_collide.nm
diff --git a/prism-examples/wlan/wlan1_time_bounded.nm b/prism-examples/mdps/wlan/wlan1_time_bounded.nm
similarity index 100%
rename from prism-examples/wlan/wlan1_time_bounded.nm
rename to prism-examples/mdps/wlan/wlan1_time_bounded.nm
diff --git a/prism-examples/wlan/wlan2.nm b/prism-examples/mdps/wlan/wlan2.nm
similarity index 100%
rename from prism-examples/wlan/wlan2.nm
rename to prism-examples/mdps/wlan/wlan2.nm
diff --git a/prism-examples/wlan/wlan2_collide.nm b/prism-examples/mdps/wlan/wlan2_collide.nm
similarity index 100%
rename from prism-examples/wlan/wlan2_collide.nm
rename to prism-examples/mdps/wlan/wlan2_collide.nm
diff --git a/prism-examples/wlan/wlan2_time_bounded.nm b/prism-examples/mdps/wlan/wlan2_time_bounded.nm
similarity index 100%
rename from prism-examples/wlan/wlan2_time_bounded.nm
rename to prism-examples/mdps/wlan/wlan2_time_bounded.nm
diff --git a/prism-examples/wlan/wlan3.nm b/prism-examples/mdps/wlan/wlan3.nm
similarity index 100%
rename from prism-examples/wlan/wlan3.nm
rename to prism-examples/mdps/wlan/wlan3.nm
diff --git a/prism-examples/wlan/wlan3_collide.nm b/prism-examples/mdps/wlan/wlan3_collide.nm
similarity index 100%
rename from prism-examples/wlan/wlan3_collide.nm
rename to prism-examples/mdps/wlan/wlan3_collide.nm
diff --git a/prism-examples/wlan/wlan3_time_bounded.nm b/prism-examples/mdps/wlan/wlan3_time_bounded.nm
similarity index 100%
rename from prism-examples/wlan/wlan3_time_bounded.nm
rename to prism-examples/mdps/wlan/wlan3_time_bounded.nm
diff --git a/prism-examples/wlan/wlan4.nm b/prism-examples/mdps/wlan/wlan4.nm
similarity index 100%
rename from prism-examples/wlan/wlan4.nm
rename to prism-examples/mdps/wlan/wlan4.nm
diff --git a/prism-examples/wlan/wlan4_collide.nm b/prism-examples/mdps/wlan/wlan4_collide.nm
similarity index 100%
rename from prism-examples/wlan/wlan4_collide.nm
rename to prism-examples/mdps/wlan/wlan4_collide.nm
diff --git a/prism-examples/wlan/wlan4_time_bounded.nm b/prism-examples/mdps/wlan/wlan4_time_bounded.nm
similarity index 100%
rename from prism-examples/wlan/wlan4_time_bounded.nm
rename to prism-examples/mdps/wlan/wlan4_time_bounded.nm
diff --git a/prism-examples/wlan/wlan5.nm b/prism-examples/mdps/wlan/wlan5.nm
similarity index 100%
rename from prism-examples/wlan/wlan5.nm
rename to prism-examples/mdps/wlan/wlan5.nm
diff --git a/prism-examples/wlan/wlan5_collide.nm b/prism-examples/mdps/wlan/wlan5_collide.nm
similarity index 100%
rename from prism-examples/wlan/wlan5_collide.nm
rename to prism-examples/mdps/wlan/wlan5_collide.nm
diff --git a/prism-examples/wlan/wlan5_time_bounded.nm b/prism-examples/mdps/wlan/wlan5_time_bounded.nm
similarity index 100%
rename from prism-examples/wlan/wlan5_time_bounded.nm
rename to prism-examples/mdps/wlan/wlan5_time_bounded.nm
diff --git a/prism-examples/wlan/wlan6.nm b/prism-examples/mdps/wlan/wlan6.nm
similarity index 100%
rename from prism-examples/wlan/wlan6.nm
rename to prism-examples/mdps/wlan/wlan6.nm
diff --git a/prism-examples/wlan/wlan6_collide.nm b/prism-examples/mdps/wlan/wlan6_collide.nm
similarity index 100%
rename from prism-examples/wlan/wlan6_collide.nm
rename to prism-examples/mdps/wlan/wlan6_collide.nm
diff --git a/prism-examples/wlan/wlan6_time_bounded.nm b/prism-examples/mdps/wlan/wlan6_time_bounded.nm
similarity index 100%
rename from prism-examples/wlan/wlan6_time_bounded.nm
rename to prism-examples/mdps/wlan/wlan6_time_bounded.nm
diff --git a/prism-examples/wlan/wlan_collide.pctl b/prism-examples/mdps/wlan/wlan_collide.pctl
similarity index 100%
rename from prism-examples/wlan/wlan_collide.pctl
rename to prism-examples/mdps/wlan/wlan_collide.pctl
diff --git a/prism-examples/wlan/wlan_time_bounded.pctl b/prism-examples/mdps/wlan/wlan_time_bounded.pctl
similarity index 100%
rename from prism-examples/wlan/wlan_time_bounded.pctl
rename to prism-examples/mdps/wlan/wlan_time_bounded.pctl
diff --git a/prism-examples/zeroconf/README.txt b/prism-examples/mdps/zeroconf/README.txt
similarity index 100%
rename from prism-examples/zeroconf/README.txt
rename to prism-examples/mdps/zeroconf/README.txt
diff --git a/prism-examples/zeroconf/auto b/prism-examples/mdps/zeroconf/auto
similarity index 100%
rename from prism-examples/zeroconf/auto
rename to prism-examples/mdps/zeroconf/auto
diff --git a/prism-examples/zeroconf/zeroconf.nm b/prism-examples/mdps/zeroconf/zeroconf.nm
similarity index 100%
rename from prism-examples/zeroconf/zeroconf.nm
rename to prism-examples/mdps/zeroconf/zeroconf.nm
diff --git a/prism-examples/zeroconf/zeroconf.pctl b/prism-examples/mdps/zeroconf/zeroconf.pctl
similarity index 100%
rename from prism-examples/zeroconf/zeroconf.pctl
rename to prism-examples/mdps/zeroconf/zeroconf.pctl
diff --git a/prism-examples/zeroconf/zeroconf_time_bounded.nm b/prism-examples/mdps/zeroconf/zeroconf_time_bounded.nm
similarity index 100%
rename from prism-examples/zeroconf/zeroconf_time_bounded.nm
rename to prism-examples/mdps/zeroconf/zeroconf_time_bounded.nm
diff --git a/prism-examples/zeroconf/zeroconf_time_bounded.pctl b/prism-examples/mdps/zeroconf/zeroconf_time_bounded.pctl
similarity index 100%
rename from prism-examples/zeroconf/zeroconf_time_bounded.pctl
rename to prism-examples/mdps/zeroconf/zeroconf_time_bounded.pctl
diff --git a/prism-examples/pta/csma/abst/.args b/prism-examples/ptas/csma/abst/.args
similarity index 100%
rename from prism-examples/pta/csma/abst/.args
rename to prism-examples/ptas/csma/abst/.args
diff --git a/prism-examples/pta/csma/abst/.models b/prism-examples/ptas/csma/abst/.models
similarity index 100%
rename from prism-examples/pta/csma/abst/.models
rename to prism-examples/ptas/csma/abst/.models
diff --git a/prism-examples/pta/csma/abst/.props b/prism-examples/ptas/csma/abst/.props
similarity index 100%
rename from prism-examples/pta/csma/abst/.props
rename to prism-examples/ptas/csma/abst/.props
diff --git a/prism-examples/pta/csma/abst/auto b/prism-examples/ptas/csma/abst/auto
similarity index 100%
rename from prism-examples/pta/csma/abst/auto
rename to prism-examples/ptas/csma/abst/auto
diff --git a/prism-examples/pta/csma/abst/csma.nm b/prism-examples/ptas/csma/abst/csma.nm
similarity index 100%
rename from prism-examples/pta/csma/abst/csma.nm
rename to prism-examples/ptas/csma/abst/csma.nm
diff --git a/prism-examples/pta/csma/abst/deadline.pctl b/prism-examples/ptas/csma/abst/deadline.pctl
similarity index 100%
rename from prism-examples/pta/csma/abst/deadline.pctl
rename to prism-examples/ptas/csma/abst/deadline.pctl
diff --git a/prism-examples/pta/csma/abst/eventually.pctl b/prism-examples/ptas/csma/abst/eventually.pctl
similarity index 100%
rename from prism-examples/pta/csma/abst/eventually.pctl
rename to prism-examples/ptas/csma/abst/eventually.pctl
diff --git a/prism-examples/pta/csma/full/.args b/prism-examples/ptas/csma/full/.args
similarity index 100%
rename from prism-examples/pta/csma/full/.args
rename to prism-examples/ptas/csma/full/.args
diff --git a/prism-examples/pta/csma/full/.models b/prism-examples/ptas/csma/full/.models
similarity index 100%
rename from prism-examples/pta/csma/full/.models
rename to prism-examples/ptas/csma/full/.models
diff --git a/prism-examples/pta/csma/full/.props b/prism-examples/ptas/csma/full/.props
similarity index 100%
rename from prism-examples/pta/csma/full/.props
rename to prism-examples/ptas/csma/full/.props
diff --git a/prism-examples/pta/csma/full/auto b/prism-examples/ptas/csma/full/auto
similarity index 100%
rename from prism-examples/pta/csma/full/auto
rename to prism-examples/ptas/csma/full/auto
diff --git a/prism-examples/pta/csma/full/collisions.pctl b/prism-examples/ptas/csma/full/collisions.pctl
similarity index 100%
rename from prism-examples/pta/csma/full/collisions.pctl
rename to prism-examples/ptas/csma/full/collisions.pctl
diff --git a/prism-examples/pta/csma/full/csma.nm b/prism-examples/ptas/csma/full/csma.nm
similarity index 100%
rename from prism-examples/pta/csma/full/csma.nm
rename to prism-examples/ptas/csma/full/csma.nm
diff --git a/prism-examples/pta/csma/full/eventually.pctl b/prism-examples/ptas/csma/full/eventually.pctl
similarity index 100%
rename from prism-examples/pta/csma/full/eventually.pctl
rename to prism-examples/ptas/csma/full/eventually.pctl
diff --git a/prism-examples/pta/csma/full/time.pctl b/prism-examples/ptas/csma/full/time.pctl
similarity index 100%
rename from prism-examples/pta/csma/full/time.pctl
rename to prism-examples/ptas/csma/full/time.pctl
diff --git a/prism-examples/pta/firewire/README.txt b/prism-examples/ptas/firewire/README.txt
similarity index 100%
rename from prism-examples/pta/firewire/README.txt
rename to prism-examples/ptas/firewire/README.txt
diff --git a/prism-examples/pta/firewire/abst/.args b/prism-examples/ptas/firewire/abst/.args
similarity index 100%
rename from prism-examples/pta/firewire/abst/.args
rename to prism-examples/ptas/firewire/abst/.args
diff --git a/prism-examples/pta/firewire/abst/.models b/prism-examples/ptas/firewire/abst/.models
similarity index 100%
rename from prism-examples/pta/firewire/abst/.models
rename to prism-examples/ptas/firewire/abst/.models
diff --git a/prism-examples/pta/firewire/abst/.props b/prism-examples/ptas/firewire/abst/.props
similarity index 100%
rename from prism-examples/pta/firewire/abst/.props
rename to prism-examples/ptas/firewire/abst/.props
diff --git a/prism-examples/pta/firewire/abst/auto b/prism-examples/ptas/firewire/abst/auto
similarity index 100%
rename from prism-examples/pta/firewire/abst/auto
rename to prism-examples/ptas/firewire/abst/auto
diff --git a/prism-examples/pta/firewire/abst/deadline-max.pctl b/prism-examples/ptas/firewire/abst/deadline-max.pctl
similarity index 100%
rename from prism-examples/pta/firewire/abst/deadline-max.pctl
rename to prism-examples/ptas/firewire/abst/deadline-max.pctl
diff --git a/prism-examples/pta/firewire/abst/deadline.pctl b/prism-examples/ptas/firewire/abst/deadline.pctl
similarity index 100%
rename from prism-examples/pta/firewire/abst/deadline.pctl
rename to prism-examples/ptas/firewire/abst/deadline.pctl
diff --git a/prism-examples/pta/firewire/abst/eventually.pctl b/prism-examples/ptas/firewire/abst/eventually.pctl
similarity index 100%
rename from prism-examples/pta/firewire/abst/eventually.pctl
rename to prism-examples/ptas/firewire/abst/eventually.pctl
diff --git a/prism-examples/pta/firewire/abst/firewire.nm b/prism-examples/ptas/firewire/abst/firewire.nm
similarity index 100%
rename from prism-examples/pta/firewire/abst/firewire.nm
rename to prism-examples/ptas/firewire/abst/firewire.nm
diff --git a/prism-examples/pta/firewire/abst/time.pctl b/prism-examples/ptas/firewire/abst/time.pctl
similarity index 100%
rename from prism-examples/pta/firewire/abst/time.pctl
rename to prism-examples/ptas/firewire/abst/time.pctl
diff --git a/prism-examples/pta/firewire/impl/.args b/prism-examples/ptas/firewire/impl/.args
similarity index 100%
rename from prism-examples/pta/firewire/impl/.args
rename to prism-examples/ptas/firewire/impl/.args
diff --git a/prism-examples/pta/firewire/impl/.models b/prism-examples/ptas/firewire/impl/.models
similarity index 100%
rename from prism-examples/pta/firewire/impl/.models
rename to prism-examples/ptas/firewire/impl/.models
diff --git a/prism-examples/pta/firewire/impl/.props b/prism-examples/ptas/firewire/impl/.props
similarity index 100%
rename from prism-examples/pta/firewire/impl/.props
rename to prism-examples/ptas/firewire/impl/.props
diff --git a/prism-examples/pta/firewire/impl/auto b/prism-examples/ptas/firewire/impl/auto
similarity index 100%
rename from prism-examples/pta/firewire/impl/auto
rename to prism-examples/ptas/firewire/impl/auto
diff --git a/prism-examples/pta/firewire/impl/deadline.pctl b/prism-examples/ptas/firewire/impl/deadline.pctl
similarity index 100%
rename from prism-examples/pta/firewire/impl/deadline.pctl
rename to prism-examples/ptas/firewire/impl/deadline.pctl
diff --git a/prism-examples/pta/firewire/impl/eventually.pctl b/prism-examples/ptas/firewire/impl/eventually.pctl
similarity index 100%
rename from prism-examples/pta/firewire/impl/eventually.pctl
rename to prism-examples/ptas/firewire/impl/eventually.pctl
diff --git a/prism-examples/pta/firewire/impl/firewire.nm b/prism-examples/ptas/firewire/impl/firewire.nm
similarity index 100%
rename from prism-examples/pta/firewire/impl/firewire.nm
rename to prism-examples/ptas/firewire/impl/firewire.nm
diff --git a/prism-examples/pta/firewire/impl/time.pctl b/prism-examples/ptas/firewire/impl/time.pctl
similarity index 100%
rename from prism-examples/pta/firewire/impl/time.pctl
rename to prism-examples/ptas/firewire/impl/time.pctl
diff --git a/prism-examples/pta/formats09.sh b/prism-examples/ptas/formats09.sh
similarity index 100%
rename from prism-examples/pta/formats09.sh
rename to prism-examples/ptas/formats09.sh
diff --git a/prism-examples/pta/repudiation/honest/.args b/prism-examples/ptas/repudiation/honest/.args
similarity index 100%
rename from prism-examples/pta/repudiation/honest/.args
rename to prism-examples/ptas/repudiation/honest/.args
diff --git a/prism-examples/pta/repudiation/honest/.models b/prism-examples/ptas/repudiation/honest/.models
similarity index 100%
rename from prism-examples/pta/repudiation/honest/.models
rename to prism-examples/ptas/repudiation/honest/.models
diff --git a/prism-examples/pta/repudiation/honest/.props b/prism-examples/ptas/repudiation/honest/.props
similarity index 100%
rename from prism-examples/pta/repudiation/honest/.props
rename to prism-examples/ptas/repudiation/honest/.props
diff --git a/prism-examples/pta/repudiation/honest/auto b/prism-examples/ptas/repudiation/honest/auto
similarity index 100%
rename from prism-examples/pta/repudiation/honest/auto
rename to prism-examples/ptas/repudiation/honest/auto
diff --git a/prism-examples/pta/repudiation/honest/deadline.pctl b/prism-examples/ptas/repudiation/honest/deadline.pctl
similarity index 100%
rename from prism-examples/pta/repudiation/honest/deadline.pctl
rename to prism-examples/ptas/repudiation/honest/deadline.pctl
diff --git a/prism-examples/pta/repudiation/honest/eventually.pctl b/prism-examples/ptas/repudiation/honest/eventually.pctl
similarity index 100%
rename from prism-examples/pta/repudiation/honest/eventually.pctl
rename to prism-examples/ptas/repudiation/honest/eventually.pctl
diff --git a/prism-examples/pta/repudiation/honest/repudiation.nm b/prism-examples/ptas/repudiation/honest/repudiation.nm
similarity index 100%
rename from prism-examples/pta/repudiation/honest/repudiation.nm
rename to prism-examples/ptas/repudiation/honest/repudiation.nm
diff --git a/prism-examples/pta/repudiation/malicious/.args b/prism-examples/ptas/repudiation/malicious/.args
similarity index 100%
rename from prism-examples/pta/repudiation/malicious/.args
rename to prism-examples/ptas/repudiation/malicious/.args
diff --git a/prism-examples/pta/repudiation/malicious/.models b/prism-examples/ptas/repudiation/malicious/.models
similarity index 100%
rename from prism-examples/pta/repudiation/malicious/.models
rename to prism-examples/ptas/repudiation/malicious/.models
diff --git a/prism-examples/pta/repudiation/malicious/.props b/prism-examples/ptas/repudiation/malicious/.props
similarity index 100%
rename from prism-examples/pta/repudiation/malicious/.props
rename to prism-examples/ptas/repudiation/malicious/.props
diff --git a/prism-examples/pta/repudiation/malicious/auto b/prism-examples/ptas/repudiation/malicious/auto
similarity index 100%
rename from prism-examples/pta/repudiation/malicious/auto
rename to prism-examples/ptas/repudiation/malicious/auto
diff --git a/prism-examples/pta/repudiation/malicious/deadline.pctl b/prism-examples/ptas/repudiation/malicious/deadline.pctl
similarity index 100%
rename from prism-examples/pta/repudiation/malicious/deadline.pctl
rename to prism-examples/ptas/repudiation/malicious/deadline.pctl
diff --git a/prism-examples/pta/repudiation/malicious/eventually.pctl b/prism-examples/ptas/repudiation/malicious/eventually.pctl
similarity index 100%
rename from prism-examples/pta/repudiation/malicious/eventually.pctl
rename to prism-examples/ptas/repudiation/malicious/eventually.pctl
diff --git a/prism-examples/pta/repudiation/malicious/repudiation.nm b/prism-examples/ptas/repudiation/malicious/repudiation.nm
similarity index 100%
rename from prism-examples/pta/repudiation/malicious/repudiation.nm
rename to prism-examples/ptas/repudiation/malicious/repudiation.nm
diff --git a/prism-examples/pta/simple/auto b/prism-examples/ptas/simple/auto
similarity index 100%
rename from prism-examples/pta/simple/auto
rename to prism-examples/ptas/simple/auto
diff --git a/prism-examples/pta/simple/formats09.nm b/prism-examples/ptas/simple/formats09.nm
similarity index 100%
rename from prism-examples/pta/simple/formats09.nm
rename to prism-examples/ptas/simple/formats09.nm
diff --git a/prism-examples/pta/simple/formats09.pctl b/prism-examples/ptas/simple/formats09.pctl
similarity index 100%
rename from prism-examples/pta/simple/formats09.pctl
rename to prism-examples/ptas/simple/formats09.pctl
diff --git a/prism-examples/pta/zeroconf/.args b/prism-examples/ptas/zeroconf/.args
similarity index 100%
rename from prism-examples/pta/zeroconf/.args
rename to prism-examples/ptas/zeroconf/.args
diff --git a/prism-examples/pta/zeroconf/.models b/prism-examples/ptas/zeroconf/.models
similarity index 100%
rename from prism-examples/pta/zeroconf/.models
rename to prism-examples/ptas/zeroconf/.models
diff --git a/prism-examples/pta/zeroconf/.props b/prism-examples/ptas/zeroconf/.props
similarity index 100%
rename from prism-examples/pta/zeroconf/.props
rename to prism-examples/ptas/zeroconf/.props
diff --git a/prism-examples/pta/zeroconf/auto b/prism-examples/ptas/zeroconf/auto
similarity index 100%
rename from prism-examples/pta/zeroconf/auto
rename to prism-examples/ptas/zeroconf/auto
diff --git a/prism-examples/pta/zeroconf/deadline.pctl b/prism-examples/ptas/zeroconf/deadline.pctl
similarity index 100%
rename from prism-examples/pta/zeroconf/deadline.pctl
rename to prism-examples/ptas/zeroconf/deadline.pctl
diff --git a/prism-examples/pta/zeroconf/eventually.pctl b/prism-examples/ptas/zeroconf/eventually.pctl
similarity index 100%
rename from prism-examples/pta/zeroconf/eventually.pctl
rename to prism-examples/ptas/zeroconf/eventually.pctl
diff --git a/prism-examples/pta/zeroconf/incorrect.pctl b/prism-examples/ptas/zeroconf/incorrect.pctl
similarity index 100%
rename from prism-examples/pta/zeroconf/incorrect.pctl
rename to prism-examples/ptas/zeroconf/incorrect.pctl
diff --git a/prism-examples/pta/zeroconf/time.pctl b/prism-examples/ptas/zeroconf/time.pctl
similarity index 100%
rename from prism-examples/pta/zeroconf/time.pctl
rename to prism-examples/ptas/zeroconf/time.pctl
diff --git a/prism-examples/pta/zeroconf/used.pctl b/prism-examples/ptas/zeroconf/used.pctl
similarity index 100%
rename from prism-examples/pta/zeroconf/used.pctl
rename to prism-examples/ptas/zeroconf/used.pctl
diff --git a/prism-examples/pta/zeroconf/zeroconf.nm b/prism-examples/ptas/zeroconf/zeroconf.nm
similarity index 100%
rename from prism-examples/pta/zeroconf/zeroconf.nm
rename to prism-examples/ptas/zeroconf/zeroconf.nm
diff --git a/prism-examples/dice/README.txt b/prism-examples/simple/dice/README.txt
similarity index 100%
rename from prism-examples/dice/README.txt
rename to prism-examples/simple/dice/README.txt
diff --git a/prism-examples/dice/auto b/prism-examples/simple/dice/auto
similarity index 100%
rename from prism-examples/dice/auto
rename to prism-examples/simple/dice/auto
diff --git a/prism-examples/dice/dice.pctl b/prism-examples/simple/dice/dice.pctl
similarity index 100%
rename from prism-examples/dice/dice.pctl
rename to prism-examples/simple/dice/dice.pctl
diff --git a/prism-examples/dice/dice.pm b/prism-examples/simple/dice/dice.pm
similarity index 100%
rename from prism-examples/dice/dice.pm
rename to prism-examples/simple/dice/dice.pm
diff --git a/prism-examples/dice/two_dice.nm b/prism-examples/simple/dice/two_dice.nm
similarity index 100%
rename from prism-examples/dice/two_dice.nm
rename to prism-examples/simple/dice/two_dice.nm
diff --git a/prism-examples/dice/two_dice.pctl b/prism-examples/simple/dice/two_dice.pctl
similarity index 100%
rename from prism-examples/dice/two_dice.pctl
rename to prism-examples/simple/dice/two_dice.pctl
diff --git a/prism-examples/dice/two_dice_knuth.pctl b/prism-examples/simple/dice/two_dice_knuth.pctl
similarity index 100%
rename from prism-examples/dice/two_dice_knuth.pctl
rename to prism-examples/simple/dice/two_dice_knuth.pctl
diff --git a/prism-examples/dice/two_dice_knuth.pm b/prism-examples/simple/dice/two_dice_knuth.pm
similarity index 100%
rename from prism-examples/dice/two_dice_knuth.pm
rename to prism-examples/simple/dice/two_dice_knuth.pm
diff --git a/prism-examples/molecules/README.txt b/prism-examples/simple/molecules/README.txt
similarity index 100%
rename from prism-examples/molecules/README.txt
rename to prism-examples/simple/molecules/README.txt
diff --git a/prism-examples/molecules/auto b/prism-examples/simple/molecules/auto
similarity index 100%
rename from prism-examples/molecules/auto
rename to prism-examples/simple/molecules/auto
diff --git a/prism-examples/molecules/knacl.csl b/prism-examples/simple/molecules/knacl.csl
similarity index 100%
rename from prism-examples/molecules/knacl.csl
rename to prism-examples/simple/molecules/knacl.csl
diff --git a/prism-examples/molecules/knacl.sm b/prism-examples/simple/molecules/knacl.sm
similarity index 100%
rename from prism-examples/molecules/knacl.sm
rename to prism-examples/simple/molecules/knacl.sm
diff --git a/prism-examples/molecules/mc.csl b/prism-examples/simple/molecules/mc.csl
similarity index 100%
rename from prism-examples/molecules/mc.csl
rename to prism-examples/simple/molecules/mc.csl
diff --git a/prism-examples/molecules/mc.sm b/prism-examples/simple/molecules/mc.sm
similarity index 100%
rename from prism-examples/molecules/mc.sm
rename to prism-examples/simple/molecules/mc.sm
diff --git a/prism-examples/molecules/nacl.csl b/prism-examples/simple/molecules/nacl.csl
similarity index 100%
rename from prism-examples/molecules/nacl.csl
rename to prism-examples/simple/molecules/nacl.csl
diff --git a/prism-examples/molecules/nacl.sm b/prism-examples/simple/molecules/nacl.sm
similarity index 100%
rename from prism-examples/molecules/nacl.sm
rename to prism-examples/simple/molecules/nacl.sm