org.jbpt.petri.unfolding.IOccurrenceNet Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jbpt-petri Show documentation

The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes.

The newest version!

package org.jbpt.petri.unfolding;

import java.util.Collection;
import java.util.Set;

import org.jbpt.petri.IFlow;
import org.jbpt.petri.IMarking;
import org.jbpt.petri.INode;
import org.jbpt.petri.IPetriNet;
import org.jbpt.petri.IPlace;
import org.jbpt.petri.ITransition;

public interface IOccurrenceNet, C extends ICondition, E extends IEvent, F extends IFlow, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> 
	extends IPetriNet
{

	public ICompletePrefixUnfolding getCompletePrefixUnfolding();

	public E getEvent(T t);

	public C getCondition(P p);

	public P getPlace(C c);
	
	public Collection getPlaces(Collection conditions);

	public T getTransition(E e);
	
	public Collection getTransitions(Collection events);

	public BPN getUnfoldingNode(N n);

	public OrderingRelationType getOrderingRelation(N n1, N n2);

	public Set getCutoffEvents();

	public T getCorrespondingEvent(T t);

	public boolean isCutoffEvent(T t);
	
	public Set
 getCutInducedByLocalConfiguration(T t);
	
	public void setCompletePrefixUnfolding(ICompletePrefixUnfolding cpu);
	
	public void setBranchingProcess(IBranchingProcess bp);
	
	public String toDOT(Collection places, Collection transitions);

}