org.jbpt.petri.unfolding.ProperCompletePrefixUnfolding 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 org.jbpt.petri.Flow;
import org.jbpt.petri.INetSystem;
import org.jbpt.petri.Marking;
import org.jbpt.petri.Node;
import org.jbpt.petri.Place;
import org.jbpt.petri.Transition;

public class ProperCompletePrefixUnfolding 
		extends AbstractProperCompletePrefixUnfolding {

	public ProperCompletePrefixUnfolding() {
		super();
	}

	public ProperCompletePrefixUnfolding(
			INetSystem sys,
			CompletePrefixUnfoldingSetup setup) {
		super(sys, setup);
	}

	public ProperCompletePrefixUnfolding(
			INetSystem sys) {
		super(sys);
	}

}