plugin/src/java/org/pm4knime/util/PetriNetUtil.java
public static List<String> extractTransitionNames(Petrinet net){
		Collection<Transition> transitions = net.getTransitions();
		SortedSet<String> tSet = new TreeSet();
		SortedSet<String> tauSet = new TreeSet();
		for(Transition t: transitions) {
			if(t.isInvisible())
				tauSet.add(t.getLabel() + TRANSITION_TAU_SUFFIX);
			else
				tSet.add(t.getLabel());
		}
		// there is one method for this, get the transitions, add them here
		List<String> nameList = new ArrayList<String>();
		nameList.addAll(tSet);
		nameList.addAll(tauSet);
		return nameList;
	}
/*
	 * this function collects the transition from log and outputs the names in the sorted order.
	 * we list the visible transitions at first, then silent transitions in order
	 */
this function collects the transition from log and outputs the names in the sorted order.
we list the visible transitions at first, then silent transitions in order
this function collects the transition from log and outputs the names in the sorted order . we list the visible transitions at first then silent transitions in order
public static List<String> extractTransitionNames(Petrinet net){
		Collection<Transition> transitions = net.getTransitions();
		SortedSet<String> tSet = new TreeSet();
		SortedSet<String> tauSet = new TreeSet();
		for(Transition t: transitions) {
			if(t.isInvisible())
				tauSet.add(t.getLabel() + TRANSITION_TAU_SUFFIX);
			else
				tSet.add(t.getLabel());
		}
		List<String> nameList = new ArrayList<String>();
		nameList.addAll(tSet);
		nameList.addAll(tauSet);
		return nameList;
	}
public static List < String > extractTransitionNames ( Petrinet net ) { Collection < Transition > transitions = net . getTransitions ( ) ; SortedSet < String > tSet = new TreeSet ( ) ; SortedSet < String > tauSet = new TreeSet ( ) ; for ( Transition t : transitions ) { if ( t . isInvisible ( ) ) tauSet . add ( t . getLabel ( ) + TRANSITION_TAU_SUFFIX ) ; else tSet . add ( t . getLabel ( ) ) ; } List < String > nameList = new ArrayList < String > ( ) ; nameList . addAll ( tSet ) ; nameList . addAll ( tauSet ) ; return nameList ; }
this function collects the transition from log and outputs the names in the sorted order.
this function collects the transition from log and outputs the names in the sorted order .
// there is one method for this, get the transitions, add them here