org.processmining.hybrid.algorithms.transformations

Class TransitionSystem2AcceptingPetriNet

java.lang.Object

org.processmining.hybrid.algorithms.transformations.TransitionSystem2AcceptingPetriNet

public class TransitionSystem2AcceptingPetriNet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TransitionSystem2AcceptingPetriNet()

Method Summary

Modifier and Type	Method and Description
static org.processmining.acceptingpetrinet.models.AcceptingPetriNet	transform(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem trans, org.processmining.models.graphbased.directed.transitionsystem.StartStateSet initial, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet accept)

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionSystem2AcceptingPetriNet

public TransitionSystem2AcceptingPetriNet()

Method Detail

transform

public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet transform(org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem trans,
                                                                                     org.processmining.models.graphbased.directed.transitionsystem.StartStateSet initial,
                                                                                     org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet accept)