org.processmining.plugins.transitionsystem.topetrinet

Class TS2PetrinetInput

java.lang.Object

org.processmining.plugins.transitionsystem.topetrinet.TS2PetrinetInput

public class TS2PetrinetInput
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TS2PetrinetInput()

Method Summary

Modifier and Type	Method and Description
void	exportTemp(java.io.FileOutputStream stream, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)

Methods inherited from class java.lang.Object

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

Constructor Detail

TS2PetrinetInput

public TS2PetrinetInput()

Method Detail

exportTemp

public void exportTemp(java.io.FileOutputStream stream,
                       org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)