@@ -0,0 +1,922 @@
+package pipe.gui.plugin.concrete;%0A%0Aimport pipe.gui.analysis.GSPNAnalysis;%0Aimport pipe.gui.plugin.GuiModule;%0Aimport uk.ac.imperial.pipe.models.petrinet.PetriNet;%0A%0Aimport javax.swing.*;%0Aimport java.awt.FileDialog;%0A%0Apublic class GSPNAnalysisModule implements GuiModule %7B%0A    /**%0A     * Starts the GSPN analysis module%0A     * @param petriNet current Petri net to use%0A     */%0A    @Override%0A    public void start(PetriNet petriNet) %7B%0A        JFrame frame = new JFrame(%22GSPN analysis%22);%0A        FileDialog selector = new FileDialog(frame, %22Select petri net%22, FileDialog.LOAD);%0A%0A        frame.setContentPane(new GSPNAnalysis(petriNet, selector).getMainPanel());%0A        frame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);%0A        frame.pack();%0A        frame.setVisible(true);%0A    %7D%0A%0A    /**%0A     *%0A     * @return GSPN Analysis%0A     */%0A    @Override%0A    public String getName() %7B%0A        return %22GSPN Analysis%22;%0A    %7D%0A%7D%0A

Add GSPN analysis to PIPE