Commit b30a37be authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

added models

parent a656c095
digraph g {
s0 [color="red"];
s1;
s2;
s3;
s0 -> s1 [label="X/B"];
s0 -> s1 [label="Y/W"];
s1 -> s2 [label="X/B"];
s1 -> s0 [label="Y/W"];
s2 -> s2 [label="X/B"];
s2 -> s3 [label="Y/W"];
s3 -> s0 [label="X/W"];
s3 -> s2 [label="Y/B"];
}
digraph g {
s0 [color="red"];
s1;
s0 -> s0 [label="A/NOK"];
s0 -> s1 [label="B/OK"];
s1 -> s0 [label="A/OK"];
s1 -> s1 [label="B/NOK"];
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment