petri_jfern
Class Translation

java.lang.Object
  extended by petri_jfern.Translation

public class Translation
extends java.lang.Object

The Class Translation translates a graph into a Petri net.

Author:
Kevin Pucknat

Constructor Summary
Translation(org.graffiti.graph.Graph graph)
          Instantiates a new translation.
 
Method Summary
 void labels2PetriNetAttributes()
          Generates arc attributes from edge labels.
 void start()
          Starts the translation.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Translation

public Translation(org.graffiti.graph.Graph graph)
Instantiates a new translation.

Parameters:
graph - the graph
Method Detail

start

public void start()
Starts the translation.


labels2PetriNetAttributes

public void labels2PetriNetAttributes()
Generates arc attributes from edge labels.