|
private static CreatePNInhibited ( ) : |
||
| return | ||
private static GraphPetriNet CreatePNInhibited()
{
var p = new GraphPetriNet(
"p",
new Dictionary<int, string> {
{0, "p0"},
{1, "p1"},
{2, "p2"}
},
//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, 1, true)}}
},
new Dictionary<int, List<OutArc>>(){
{0, new List<OutArc>(){new OutArc(2)}}
}
);
return p;
}