static void Main(string[] args)
{
FSM2PN fsm2pn = new FSM2PN();
FSM.FiniteStateMachine fsm = new FSM.FiniteStateMachine();
PN.PetriNet pn = new PN.PetriNet();
FillStateMachine(fsm);
var direction = SynchronizationDirection.LeftToRightForced;
var changePropagartion = ChangePropagationMode.None;
var context = fsm2pn.Synchronize(fsm2pn.SynchronizationRule <FSM2PN.AutomataToNet>(), ref fsm, ref pn, direction, changePropagartion);
var s4 = new FSM.State()
{
Name = "s4", IsStartState = false
};
fsm.States.Add(s4);
}
public void InitScene()
{
transformation = new FSM2PN();
}
public void InitScene()
{
transformation = new FSM2PN();
}
