/// <summary>
/// Add a connection between this transition and the given preceding place.
/// </summary>
public void AddIncomingPlace(Place incoming)
{
//if (!IncomingPlaces.Contains(incoming))
// IncomingPlaces.Add(incoming);
//incoming.AppendOutgoingTransition(this);
IncomingPlaces.Add(incoming);
incoming.AppendOutgoingTransition(this);
}
/// <summary>
/// Add a connection between this transition and the given preceding place.
/// </summary>
public void AddIncomingPlaces(List <Place> incoming)
{
//foreach (Place Place in incoming)
// AddIncomingPlace(Place);
IncomingPlaces.AddRange(incoming);
foreach (Place place in incoming)
{
place.AppendOutgoingTransition(this);
}
}
