vanted.petrinetelements
Interface Library

All Known Implementing Classes:
PNJFern

public interface Library

The Interface Library.


Method Summary
 void colorEnabledTransitions(boolean color)
          Color enabled transitions.
 void fireTransition(Transition transition)
          Fire transition.
 void fireTransitions(java.util.List<Transition> transitions)
          Fire transitions.
 double[] getMarking()
          Gets the marking.
 Marking getMarking2()
          Gets the marking2.
 Simulator getSimulator()
          Gets the simulator.
 void highlightEnabledTransitionsDelay(int ms)
          Highlight enabled transitions delay.
 Library parse2Lib(PetriNet petriNet)
          Parse to library.
 void setEnabledTransitionColor(java.awt.Color color)
          Sets the enabled transition color.
 void showTokenFlow(boolean show)
          Show token flow.
 void write2File(boolean write)
          Write2 file.
 

Method Detail

parse2Lib

Library parse2Lib(PetriNet petriNet)
Parse to library.

Parameters:
petriNet - the petri net
Returns:
the library

getMarking

double[] getMarking()
Gets the marking.

Returns:
the marking

getMarking2

Marking getMarking2()
Gets the marking2.

Returns:
the marking2

fireTransition

void fireTransition(Transition transition)
Fire transition.

Parameters:
transition - the transition

fireTransitions

void fireTransitions(java.util.List<Transition> transitions)
Fire transitions.

Parameters:
transitions - the transitions

setEnabledTransitionColor

void setEnabledTransitionColor(java.awt.Color color)
Sets the enabled transition color.

Parameters:
color - the new enabled transition color

colorEnabledTransitions

void colorEnabledTransitions(boolean color)
Color enabled transitions.

Parameters:
color - the color

highlightEnabledTransitionsDelay

void highlightEnabledTransitionsDelay(int ms)
Highlight enabled transitions delay.

Parameters:
ms - the ms

showTokenFlow

void showTokenFlow(boolean show)
Show token flow.

Parameters:
show - the show

write2File

void write2File(boolean write)
Write2 file.

Parameters:
write - the write

getSimulator

Simulator getSimulator()
Gets the simulator.

Returns:
the simulator