org.processmining.hybrid.algorithms.transformations

Class Buchi2TransitionSystem

java.lang.Object

org.processmining.hybrid.algorithms.transformations.Buchi2TransitionSystem

public class Buchi2TransitionSystem
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Buchi2TransitionSystem()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

Buchi2TransitionSystem

public Buchi2TransitionSystem()