Exemplos de NMF.Transformations.Example.PN ColoredPetriNet em C# (CSharp)

Exemplo n.º 1

Arquivo: ColoredPN.cs Projeto: FrederikP/NMF

 public override PetriNet CreateOutput(FSM.FiniteStateMachine input, ITransformationContext context)
 {
     var coloredNet = new ColoredPetriNet();
     var defaultColor = new Color();
     coloredNet.Colors.Add(defaultColor);
     context.Bag.DefaultColor = defaultColor;
     return coloredNet;
 }

Exemplo n.º 2

Arquivo: ColoredPN.cs Projeto: wasowski/NMF

            public override PetriNet CreateOutput(FSM.FiniteStateMachine input, ITransformationContext context)
            {
                var coloredNet   = new ColoredPetriNet();
                var defaultColor = new Color();

                coloredNet.Colors.Add(defaultColor);
                context.Bag.DefaultColor = defaultColor;
                return(coloredNet);
            }