org.processmining.hybrid.algorithms.transformations

Class TransitionSystem2Automaton

java.lang.Object

org.processmining.hybrid.algorithms.transformations.TransitionSystem2Automaton

public class TransitionSystem2Automaton
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TransitionSystem2Automaton()

Method Summary

Modifier and Type	Method and Description
static org.processmining.ltl2automaton.plugins.automaton.Automaton	transform(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem trans, org.processmining.models.graphbased.directed.transitionsystem.StartStateSet initialStates, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet accept, boolean determinise) Assumption: there is only 1 initial state

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionSystem2Automaton

public TransitionSystem2Automaton()

Method Detail

transform

public static org.processmining.ltl2automaton.plugins.automaton.Automaton transform(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem trans,
                                                                                    org.processmining.models.graphbased.directed.transitionsystem.StartStateSet initialStates,
                                                                                    org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet accept,
                                                                                    boolean determinise)

Assumption: there is only 1 initial state

Parameters:

trans -

initialState -

accept -

Returns: