data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Summary: Decouple computation of bad siphons from create all
Created: 2011-05-17 11:40
Status: Confirmed
Category: Feature
From: wegener?
Priority: 3

Program: Charlie

I would prefer to get the bad siphons decoupled from "create all"; sometimes I want to check first if there are bad siphons at all, and I don't want to wait to get all of them.


There are some problems when we decouple "bad siphons only" from all other options. Especially when it can be selected with "stp". Then the algorithm might not find any bad siphon, because it can find a siphon with a trap that is not sufficiently marked and thus stops the computation before a bad siphon is found.

Additional Information

(1) decide stp

     - without protocol: just yes or no, and one witness for the no
         -> written to the log file;

     - with protocol written to log file, and to external file, if specified so:

       if stp does not hold
       then give
           all min siphons, which are not sufficiently marked;
           indicate all bad siphons
           give the list of all minimal siphons and the contained max traps;

(2) {check for, compute all} x [write to a file]

     x {siphons, trap}
     x {min, max}
     x { [marked, clean] sound, bad, proper}

 - sound siphon - a siphon, which contains a trap;
 - marked, sound siphon - a siphon, where the contained max trap is marked;
 - clean, sound siphon - a siphon, where the contained max trap is unmarked;
 - bad siphon - siphon, which does not contain a trap;
 - proper siphon/trap - siphon/trap, which is not a P-invariant;


to (1):

  • remove "create all" checkbox and link the behavior to the "export" checkbox
  • improve the output to the log file: if the stp does not hold, print all "counter examples" and then print all "good examples". if the stp holds, print all "good examples" only.

current behavior, if "create all" is selected but no other checkbox, then all computed siphons are printed

<< 00001 | BugList | 00003 >>

the end

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