public static Marking CreateMarking2() { return new Marking(2, new Dictionary<int, int> { { 0, 1 }, { 1, 1 } }); }