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);
}
