public Place(string label = "") { this.id = Subnet.GetNextID(); this.label = label; this.tokens = new List <Token>(); this.isTransition = false; }
public Place(string label, bool isTransition) { this.id = Subnet.GetNextID(); this.label = label; this.tokens = new List <Token>(); this.isTransition = isTransition; }
public Subnet(string label = "") { this.id = Subnet.GetNextID(); this.label = label; placesTransitions = new Dictionary <int, Place>(); arcs = new List <Arc>(); }