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