data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Marking Editor: after a reload the set of markings is deleted
Created:
2011-06-29 11:39
Status:
Open
Category:
Bug
Assigned:
Priority:
4
Program: Charlie
Version:
Description:
When one has a set of markings and one reloads the net then all markings are removed.
When one has a set of markings and one reloads the net then all markings are removed.
It should be as follows:
- every added marking should be kept
- if a new place was added to the net then the number of tokens on this place is 0
- if a place was removed from the net then it must be removed from every marking
Comments
Current version:
- markings are kept, if a marking has changed in Snoopy the old is replaced with the new one
- neither new places nor removed places are considered, yet