Exemplo n.º 1
0
 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);
     }
 }
Exemplo n.º 2
0
 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);
     }
 }