One has to call Place::resetCount() when creating a new net so that we always have |getId()| = |P] for each net. The correct solution is to do the mapping Place-> int in the Net-class and not in the Place
NOTE: The same goes for transition
Log in to post a comment.