~workcraft/workcraft/1.0

                                                set = set.minimise();

                                //              System.err.println("AFTER: " + set + "\n\n");

                                                

                                                for (DNFClause clause : set.clauses) {

                                                        EditablePetriTransition t = addPlusTransition(target, plusTag);

                                                        for (DNFLiteral literal : clause.pos) {

                                                                Object obj = nodes.get(literal.id);