org.jbpt.petri.unfolding.CompletePrefixUnfolding 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;

/**
 * An implementation of a complete prefix unfloding of a net system.


 *
 * @see {@link AbstractCompletePrefixUnfolding} for details. 
 * 
 * @author Artem Polyvyanyy
 */
public class CompletePrefixUnfolding extends
		AbstractCompletePrefixUnfolding 
{

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