Ejemplo n.º 1
0
 /// <summary>
 /// Add a connection between this transition and the given following place.
 /// </summary>
 public void AddOutgoingPlace(Place outgoing)
 {
     if (!OutgoingPlaces.Contains(outgoing))
     {
         OutgoingPlaces.Add(outgoing);
     }
     outgoing.AppendIncomingTransition(this);
 }
Ejemplo n.º 2
0
 /// <summary>
 /// Add a connection between this transition and the given following places.
 /// </summary>
 public void AddOutgoingPlaces(List <Place> outgoing)
 {
     //foreach (Place Place in outgoing)
     //    AddOutgoingPlace(Place);
     OutgoingPlaces.AddRange(outgoing);
     foreach (Place place in outgoing)
     {
         place.AppendIncomingTransition(this);
     }
 }