public void TestSetMarkingAffectsEnablementszx()
{
var p = TestFixture2.CreatePNTwoInOneOut();
var m = new Marking(3, new Dictionary<int, int>(){
{0,1}, {1,1}, {2,0}
});
Assert.AreEqual(true, p.IsEnabled(0, m));
m[0] = 0;
Assert.AreEqual(false, p.IsEnabled(0, m));
}