org.jbpt.petri.querying.NetSystemQuerying 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.querying;

import java.util.Collection;

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;
import org.jbpt.petri.unfolding.BPNode;
import org.jbpt.petri.unfolding.Condition;
import org.jbpt.petri.unfolding.Event;
import org.jbpt.petri.untangling.IProcess;

/**
 * This class can be used to check the presence of structural and/or behavioral information in a net system.  
 *
 * @author Artem Polyvyanyy
 */
public class NetSystemQuerying extends AbstractUntanglingBasedBehavioralQuerying {

	public NetSystemQuerying(INetSystem sys) {
		super(sys);
	}
	
	public NetSystemQuerying(INetSystem sys,
			Collection> untangling) {
		super(sys, untangling);
	}

}