vanted.petrinetelements.misc
Class Check

java.lang.Object
  extended by vanted.petrinetelements.misc.Check

public class Check
extends java.lang.Object

The Class Check proofs if the Petri net structure.


Constructor Summary
Check()
           
 
Method Summary
static boolean isPurePN(PetriNet pn)
          Checks if the Petri net is pure.
static boolean isReversibleEdge(org.graffiti.graph.Edge edge)
          Checks if the edge is a visual inverted edge.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Check

public Check()
Method Detail

isPurePN

public static boolean isPurePN(PetriNet pn)
Checks if the Petri net is pure.

Parameters:
pn - the pn
Returns:
true, if is pure pn

isReversibleEdge

public static boolean isReversibleEdge(org.graffiti.graph.Edge edge)
Checks if the edge is a visual inverted edge.

Parameters:
edge - the edge
Returns:
true, if is reversible edge