private void btnSingleTransition_Click(object sender, RoutedEventArgs e) { if (int.TryParse(textBoxInputId.Text, out int id)) { _network.TryDoTransition(id, out string msg); Refresh(); lbResult.Items.Add(msg); } }
public static bool TryDoTransition(this NetworkPetri network, int transitionId, out string msg) { if (network.Transitions.ContainsKey(transitionId)) { var transition = network.Transitions[transitionId]; return(network.TryDoTransition(transition, out msg)); } else { msg = $"Network does not contain transition [ID = {transitionId}]"; return(false); } }