Menu

#3 The ID count in Places is globale

open
nobody
None
5
2000-05-05
2000-05-05
No

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

Discussion


Log in to post a comment.