Added directory for TWT's model verification activities
Start of Mission as coloured Petri net (CPNTools format)