/// <summary>
/// This method adds token to this place w/o
/// notification any interested parties. Usually used for debug and testing purposes
/// </summary>
/// <param name="t"></param>
public void putTokenSilently(Token t)
{
counters.token_put_silently++;
tokens.Add(t);
t.setCurrentPlace(this);
if (put_reaction != null)
{
put_reaction(this, t);
}
}
/// <summary>
/// This method adds token to this place
/// </summary>
/// <param name="t"></param>
public void putToken(Token t)
{
counters.token_put++;
tokens.Add(t);
t.setCurrentPlace(this);
if (put_reaction != null)
{
put_reaction(this, t);
}
base.notifyOutputArcs();
}