public void TestFireConflictingTransitions()
{
var m = new Marking(3, new Dictionary<int, int>
{
{ 0, 1 } ,
{ 2, 0 } ,
{ 1, 0 }
});
var p = new MatrixPetriNet("p",
new Dictionary<int, string> {
{0, "p0"},
{1, "p1"},
{2, "p2"}
},
new Dictionary<int, string>
{
{ 0, "t1" }
},
new Dictionary<int, List<InArc>>(){
{0, new List<InArc>(){new InArc(0),new InArc(2)}}
},
new Dictionary<int, List<OutArc>>(){
{0, new List<OutArc>(){new OutArc(1)}}
});
Assert.AreEqual(false, p.IsEnabled(0, m));
m[2] = 1;
Assert.AreEqual(true, p.IsEnabled(0, m));
}