public class Automaton
extends java.lang.Object
Constructor and Description |
---|
Automaton(AutomatonFactory f)
Create a new automaton.
|
Modifier and Type | Method and Description |
---|---|
void |
checkConformance(ReflectedLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking iniM,
org.processmining.models.semantics.petrinet.Marking endM,
MultiETCResult res,
MultiETCSettings etcSett)
Check the conformance of an automaton.
|
void |
constructAutomaton(ReflectedLog log)
Construct the automaton with the information reflected in the given log.
|
edu.uci.ics.jung.graph.Graph<AutomatonNode,AutomatonEdge> |
getJUNG()
Return a JUNG Library Graph representation of the automaton.
|
public Automaton(AutomatonFactory f)
f
- Factory that creates the automaton.public void checkConformance(ReflectedLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking iniM, org.processmining.models.semantics.petrinet.Marking endM, MultiETCResult res, MultiETCSettings etcSett)
log
- Log reflecting the behavior to be considered for this precision automaton.net
- Petri net.iniM
- Initial marking of the Petri net.res
- Oject to store the results of the conformance checking.etcSett
- public void constructAutomaton(ReflectedLog log)
log
- Log of traces of Petri net transitions.public edu.uci.ics.jung.graph.Graph<AutomatonNode,AutomatonEdge> getJUNG()