public PMReplay() { InitializeComponent(); TokenReplayResult replayResult = TokenReplayAlgorithm.Replay((PetriNet)Viewer.CurrentField.ProcessModel, Viewer.CurrentField.EventLog); ReplayResultsView.ItemsSource = replayResult.ToDictionary(); NotFoundView.ItemsSource = replayResult.GetTransitionsNotFoundAsDictionary(); NotEnabledView.ItemsSource = replayResult.GetTransitionsNotEnabledAsDictionary(); }
public void ReplayTestFail() { var petriNet = PetriNetExample.OneTwoThreeFourFive(); var eventLog = EventLogExample.OneTwoThreeFourFiveWithErrors(); var actual = TokenReplayAlgorithm.Replay(petriNet, eventLog); Assert.AreEqual(3, actual.NumberOfCases); Assert.AreEqual(1, actual.SuccessfulReplays); Assert.AreEqual(1, actual.FailedCasesTransitionNotEnabled.Count); Assert.AreEqual(1, actual.FailedCasesTransitionNotFound.Count); }