org.processmining.projectedrecallandprecision.helperclasses

Class AcceptingPetriNet2automaton

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNet2automaton

public class AcceptingPetriNet2automaton
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static gnu.trove.strategy.HashingStrategy<byte[]>	hashingStrategy

Constructor Summary

Constructors

Constructor and Description
AcceptingPetriNet2automaton()

Method Summary

Modifier and Type	Method and Description
static DFA	convert(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, long maxStates, org.processmining.framework.plugin.ProMCanceller canceller) The ReachabilityGraph class of ProM gives errors.

Methods inherited from class java.lang.Object

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

Field Detail

hashingStrategy

public static final gnu.trove.strategy.HashingStrategy<byte[]> hashingStrategy

Constructor Detail

AcceptingPetriNet2automaton

public AcceptingPetriNet2automaton()

Method Detail

convert

public static DFA convert(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
                          long maxStates,
                          org.processmining.framework.plugin.ProMCanceller canceller)
                   throws AutomatonFailedException

The ReachabilityGraph class of ProM gives errors. Idea: construct an automaton directly.

Parameters:

net -

canceller -

Throws:

AutomatonFailedException