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
From: wegener?
Priority: 4

Program: Charlie

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


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

<< 00004 | BugList | 00006 >>

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy