Package org.processmining.stochasticlabelledpetrinets.probability

Class CrossProduct

java.lang.Object

org.processmining.stochasticlabelledpetrinets.probability.CrossProduct

public class CrossProduct
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
CrossProduct()

Method Summary

Modifier and Type	Method	Description
static <B> void	traverse(StochasticLabelledPetriNetSemantics semanticsA, FollowerSemantics<B> systemB, CrossProductResult result, org.processmining.framework.plugin.ProMCanceller canceller)

Methods inherited from class java.lang.Object

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

Constructor Detail

CrossProduct

public CrossProduct()

Method Detail

traverse

public static <B> void traverse(StochasticLabelledPetriNetSemantics semanticsA,
                                FollowerSemantics<B> systemB,
                                CrossProductResult result,
                                org.processmining.framework.plugin.ProMCanceller canceller)