org.processmining.unfolder

Class Unfolder

java.lang.Object

org.processmining.unfolder.Unfolder

public class Unfolder
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Unfolder()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
static org.processmining.models.graphbased.directed.petrinet.Petrinet	unfold(andbur.hub.top.petrinet.PetriNet net)

Methods inherited from class java.lang.Object

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

Constructor Detail

Unfolder

public Unfolder()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Throws:

java.lang.Exception

unfold

public static org.processmining.models.graphbased.directed.petrinet.Petrinet unfold(andbur.hub.top.petrinet.PetriNet net)
                                                                             throws java.lang.Exception

Throws:

java.lang.Exception