private static GraphPetriNet CreatePNTwoInTwoOut()
{
var p = new GraphPetriNet(
"p",
new Dictionary<int, string> {
{0, "p0"},
{1, "p1"},
{2, "p2"},
{3, "p3"}
},
//new Dictionary<int, int> { { 0, 1 }, { 1, 1 } },
new Dictionary<int, string> { { 0, "t0" } },
new Dictionary<int, List<InArc>>(){
{0, new List<InArc>(){new InArc(0),new InArc(1)}}
},
new Dictionary<int, List<OutArc>>(){
{0, new List<OutArc>(){new OutArc(2),new OutArc(3)}}
}
);
return p;
}