pipe.modules
Interface Module

All Known Implementing Classes:
Classification, Comparison, Dnamaca, GSPN, GSPNNew, InvariantAnalysis, Matrixes, ReachabilityGraphGenerator, Simulation, SimulationClockWatcher, SimulationFiringCounter, SimulationPlaceWatcher, StateSpace

public interface Module


Method Summary
 java.lang.String getName()
           
 void run(DataLayer pnmldata)
           
 

Method Detail

getName

java.lang.String getName()

run

void run(DataLayer pnmldata)