org.jbpt.petri.unfolding.AbstractOccurrenceNet 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.ArrayList;
import java.util.Collection;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Map;
import java.util.Set;

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

/**
 * Occurrence net.
 * 
 * @author Artem Polyvyanyy
 */
public abstract class AbstractOccurrenceNet, C extends ICondition, E extends IEvent, F extends IFlow, N extends INode, P extends IPlace, T extends ITransition, M extends IMarking> 
		extends AbstractPetriNet 
		implements IOccurrenceNet
{

	@Override
	public F addFlow(N from, N to) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public Set getSourceNodes() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public Set getSinkNodes() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public Collection getPlaces(Collection conditions) {
		Collection
 result = new ArrayList
();
		for (C c : conditions)
			result.add(this.c2p.get(c));
		return result;
	}

	@Override
	public Collection getTransitions(Collection events) {
		Collection result = new ArrayList();
		for (E e : events)
			result.add(this.e2t.get(e));
		return result;
	}

	ICompletePrefixUnfolding cpu = null;
	
	private Map t2e = new HashMap();
	private Map p2c = new HashMap();
	private Map e2t = new HashMap();
	private Map c2p = new HashMap();
	
	protected AbstractOccurrenceNet() {
	}
	
	protected AbstractOccurrenceNet(ICompletePrefixUnfolding cpu) {
		this.setCompletePrefixUnfolding(cpu);
	}
	
	@Override
	public void setCompletePrefixUnfolding(ICompletePrefixUnfolding cpu) {
		this.cpu = cpu;
		this.clear();
		construct(this.cpu);
	}
	
	@Override
	public void setBranchingProcess(IBranchingProcess bp) {
		this.clear();
		construct(bp);
	}

	private void construct(IBranchingProcess bp) {
		for (E e : bp.getEvents()) {
        	T t = this.createTransition();
        	t.setLabel(e.getName());
        	this.addTransition(t);
        	e2t.put(e,t);
        	t2e.put(t,e);
        }
                
        for (C c : bp.getConditions()) {
        	P p = this.createPlace();
        	p.setLabel(c.getName());
        	this.addPlace(p);
        	c2p.put(c,p);
        	p2c.put(p,c);
        }
        
        for (E e : bp.getEvents()) {
        	for (C c : e.getPreConditions()) {
        		this.addFlow(c2p.get(c), e2t.get(e));
        	}
        }
        
        for (C c : bp.getConditions()) {
        	this.addFlow(e2t.get(c.getPreEvent()),c2p.get(c));
        }       
	}
	
	@Override
	public ICompletePrefixUnfolding getCompletePrefixUnfolding() {
		return this.cpu;
	}
	 
	@Override
	public E getEvent(T t) {
		return this.t2e.get(t);
	}
	 
	@Override
	public C getCondition(P p) {
		return this.p2c.get(p);
	}
	 
	@Override
	public P getPlace(C c) {
		return this.c2p.get(c);
	}
	
	@Override
	public T getTransition(E e) {
		return this.e2t.get(e);
	}
	
	@Override
	@SuppressWarnings("unchecked")
	public BPN getUnfoldingNode(N n) {
		if (n instanceof IPlace)
			return (BPN)this.getCondition((P) n);
		
		if (n instanceof ITransition)
			return (BPN)this.getEvent((T) n);
		
		return null;
	}
	
	@Override
	public OrderingRelationType getOrderingRelation(N n1, N n2) {
		BPN bpn1 = this.getUnfoldingNode(n1);
		BPN bpn2 = this.getUnfoldingNode(n2);
		
		if (bpn1!=null && bpn2!=null) 
			return this.cpu.getOrderingRelation(bpn1,bpn2);
		
		return OrderingRelationType.UNDEFINED;
	}

	@Override
	public Set getCutoffEvents() {
		Set result = new HashSet();
		if (this.cpu == null) return result;
		for (E e :this.cpu.getCutoffEvents()) result.add(this.e2t.get(e));
		return result;
	}
	
	@Override
	public T getCorrespondingEvent(T t) {
		return e2t.get(this.cpu.getCorrespondingEvent(t2e.get(t)));
	}
	
	@Override
	public boolean isCutoffEvent(T t) {
		if (this.cpu == null) return false;
		return this.cpu.isCutoffEvent(t2e.get(t));
	}

	@Override
	public String toDOT() {
		return this.toDOT(new ArrayList
(),new ArrayList());
	}
	
	@Override
	public String toDOT(Collection
 places, Collection transitions) {
		if (places == null) return "";
		if (transitions == null) return "";
		
		String result = "digraph G { label=\"" + this.getName() + "\";\n";
		result += "graph [fontname=\"Helvetica\" fontsize=\"10\" nodesep=\"0.35\" ranksep=\"0.25 equally\"];\n";
		result += "node [fontname=\"Helvetica\" fontsize=\"10\" fixedsize=\"true\" style=\"filled\" penwidth=\"2\"];\n";
		result += "edge [fontname=\"Helvetica\" fontsize=\"10\" arrowhead=\"normal\" color=\"black\"];\n";
		
		result += "\n";
		
		result += "node [shape=\"circle\"];\n";
		
		for (P p : this.getPlaces()) {
			if (places.contains(p))
				result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".5\" fillcolor=red];\n", p.getId().replace("-", ""), p.getLabel());
			else
				result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".5\" fillcolor=white];\n", p.getId().replace("-", ""), p.getLabel());
		}
			
		
		result += "\n";
		result += "node [shape=\"box\"];\n";
		
		for (T t : this.getTransitions()) {
			if (this.isCutoffEvent(t)) {
				if (t.getLabel()=="") result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".1\" fillcolor=orange];\n", t.getId().replace("-", ""), t.getLabel());
				else result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".5\" fillcolor=orange];\n", t.getId().replace("-", ""), t.getLabel());	
			}
			else if (transitions.contains(t)) {
				if (t.getLabel()=="") result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".1\" fillcolor=\"#9ACD32\"];\n", t.getId().replace("-", ""), t.getLabel());
				else result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".5\" fillcolor=green];\n", t.getId().replace("-", ""), t.getLabel());	
			}
			else {
				if (t.getLabel()=="") result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".1\" fillcolor=white];\n", t.getId().replace("-", ""), t.getLabel());
				else result += String.format("\tn%s[label=\"%s\" width=\".5\" height=\".5\" fillcolor=white];\n", t.getId().replace("-", ""), t.getLabel());
			}
		}
		
		result += "\n";
		for (F f: this.getFlow()) {
			result += String.format("\tn%s->n%s;\n", f.getSource().getId().replace("-", ""), f.getTarget().getId().replace("-", ""));
		}
		
		if (this.getCutoffEvents().size()>0) {
			result += "\n";
			result += "edge [fontname=\"Helvetica\" fontsize=\"8\" arrowhead=\"normal\" color=\"orange\"];\n";
			for (T t : this.getCutoffEvents()) {
				result += String.format("\tn%s->n%s;\n", t.getId().replace("-", ""), this.getCorrespondingEvent(t).getId().replace("-", ""));
			}
		}
		
		result += "}\n";
		
		return result;
	}
	
	public Set
 getCutInducedByLocalConfiguration(T t) {
        Set
 result = new HashSet();
        
        E e = this.getEvent(t);
        ICut cut = e.getLocalConfiguration().getCut();
        for (C c : cut) result.add(this.getPlace(c));
        
        return result;
	}

	
	/*public void rewire(Transition cutoff) {
		Transition corr = this.getCorrespondingEvent(cutoff);
		if (corr == null) return;
		
		if (this.getPostset(cutoff).size()>1) {			
			T t = this.getPreset(this.getPreset(cutoff).iterator().next()).iterator().next();
			this.removeTransition(cutoff);
			this.removePlaces(this.getPostset(t));
			for (Place p : this.getPreset(corr)) this.addFlow(cutoff,p);
		}
		else {
			this.removePlaces(this.getPostset(cutoff));
			for (Place p : this.getPostset(corr)) this.addFlow(cutoff,p);
		}
	}
	
	
	public void rewire() {
		for (T t : this.getCutoffEvents()) {
			this.rewire(t);
		}
	}*/
}