Ejemplo n.º 1
0
        private void Traverse(Dictionary<string, int> marking, Tree.Node tNode)
        {
            if (MarkFound != null)
                MarkFound(marking, tNode.Marking);

            if (StateExists(marking)) return;
            _foundMarkings.Add(marking);

            foreach (var newMarking in from trans in _transitions.Values
                                       where trans.ReadyForTransition(marking)
                                       select new { Mark = trans.Transit(marking), netNode = trans})
            {
                SetMaxMarks(newMarking.Mark);
                var node = new Tree.Node(newMarking.Mark, newMarking.netNode.Name);
                tNode.Children.Add(node);

                Traverse(newMarking.Mark,node);
            }
        }
Ejemplo n.º 2
0
 public void Traverse()
 {
     _startNode = new Tree.Node(_defMarking, "Root");
     Traverse(new Dictionary<string, int>(_defMarking),_startNode);
 }