org.processmining.maxsyncalignments.algorithms

Class PetrinetToMarkingGraph

java.lang.Object

org.processmining.maxsyncalignments.algorithms.PetrinetToMarkingGraph

public class PetrinetToMarkingGraph
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetrinetToMarkingGraph()

Method Summary

Modifier and Type	Method and Description
static MarkingGraph	Convert(org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrinetToMarkingGraph

public PetrinetToMarkingGraph()

Method Detail

Convert

public static MarkingGraph Convert(org.processmining.models.graphbased.directed.petrinet.Petrinet net)