org.jbpt.petri.structure

Class PetriNetProjector<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

java.lang.Object

org.jbpt.petri.structure.PetriNetProjector<F,N,P,T>

Type Parameters:

F - Flow template.

N - Node template.

P - Place template.

T - Transition template.

public class PetriNetProjector<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>
extends Object

Reduces a Petri net by removing places and transitions that are given as a projection set. The reduction is done in a way that the TAR (aka footprint, aka RelSet with lookahead 1) is preserved for the transitions of the projection set. Reduction is defined in: Johannes Prescher, Matthias Weidlich, and Jan Mendling. The Projected TAR and its Application to Conformance Checking. Proceedings of EMISA, Vienna, Austria, September, 2012.

Author:

Johannes Prescher, Matthias Weidlich

Constructor Summary

Constructors

Constructor and Description
PetriNetProjector()

Method Summary

Methods

Modifier and Type	Method and Description
void	reducePetriNetBasedOnProjectionSet(IPetriNet<F,N,P,T> pn, Set<T> projectionSet)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PetriNetProjector

public PetriNetProjector()

Method Detail

reducePetriNetBasedOnProjectionSet

public void reducePetriNetBasedOnProjectionSet(IPetriNet<F,N,P,T> pn,
                                      Set<T> projectionSet)