/** * Incidence and Marking module * @author James D Bloom 2003-03-12 * @author Maxim 2004 (better GUI, cleaned up code) */package pipe.modules.matrixes;import java.awt.Container;import java.awt.event.ActionEvent;import java.awt.event.ActionListener;import java.util.ArrayList;import javax.swing.BoxLayout;import javax.swing.JDialog;import pipe.dataLayer.DataLayer;import pipe.dataLayer.Place;import pipe.dataLayer.Transition;import pipe.gui.CreateGui;import pipe.gui.widgets.ButtonBar;import pipe.gui.widgets.PetriNetChooserPanel;import pipe.gui.widgets.ResultsHTMLPane;import pipe.modules.Module;public class Matrixes implements Module {  private static final String MODULE_NAME = "Incidence & Marking";  private PetriNetChooserPanel sourceFilePanel;  private ResultsHTMLPane results;  public void run(DataLayer pnmlData) {    // Build interface    JDialog guiDialog = new JDialog(CreateGui.getApp(),MODULE_NAME,true);       // 1 Set layout    Container contentPane=guiDialog.getContentPane();    contentPane.setLayout(new BoxLayout(contentPane,BoxLayout.PAGE_AXIS));        // 2 Add file browser    contentPane.add(sourceFilePanel=new PetriNetChooserPanel("Source net",pnmlData));        // 3 Add results pane    contentPane.add(results=new ResultsHTMLPane());        // 4 Add button    contentPane.add(new ButtonBar("Calculate",calculateButtonClick));       // 5 Make window fit contents' preferred size    guiDialog.pack();        // 6 Move window to the middle of the screen    guiDialog.setLocationRelativeTo(null);        guiDialog.setVisible(true);  }  public String getName() {    return MODULE_NAME;  }  /**   * Calculate button click handler   */  ActionListener calculateButtonClick=new ActionListener() {    public void actionPerformed(ActionEvent arg0) {      DataLayer data=sourceFilePanel.getDataLayer();      String s="<h2>Petri net incidence and marking</h2>";      if(data==null) return;      if(!data.getPetriNetObjects().hasNext()) s+="No Petri net objects defined!";      else {        s+=ResultsHTMLPane.makeTable(new String[] {            "Forwards incidence matrix <i>I<sup>+</sup></i>",            renderIncidenceMatrix(data,data.getForwardsIncidenceMatrix())        },1,false,false,true,false);        s+=ResultsHTMLPane.makeTable(new String[] {            "Backwards incidence matrix <i>I<sup>-</sup></i>",            renderIncidenceMatrix(data,data.getBackwardsIncidenceMatrix())        },1,false,false,true,false);        s+=ResultsHTMLPane.makeTable(new String[] {            "Combined incidence matrix <i>I</i>",            renderIncidenceMatrix(data,data.getIncidenceMatrix())        },1,false,false,true,false);        s+=ResultsHTMLPane.makeTable(new String[] {            "Marking",            renderMarkingMatrices(data)        },1,false,false,true,false);        s+=ResultsHTMLPane.makeTable(new String[] {            "Enabled transitions",            renderTransitionStates(data)        },1,false,false,true,false);      }      results.setText(s);    }  };    private String renderIncidenceMatrix(DataLayer data,int[][] matrix) {    if((matrix.length==0)||(matrix[0].length==0)) return "n/a";    ArrayList result=new ArrayList();    // add headers to table    result.add("");    for (int i=0;i<matrix[0].length;i++) result.add(data.getTransition(i).getName());        for (int i=0; i<matrix.length; i++) {      result.add(data.getPlace(i).getName());      for (int j=0; j<matrix[i].length; j++)        result.add(Integer.toString(matrix[i][j]));    }        return ResultsHTMLPane.makeTable(result.toArray(),matrix[0].length+1,false,true,true,true);  }    private String renderMarkingMatrices(DataLayer data) {    Place[] places=data.getPlaces();    if(places.length==0) return "n/a";        int[] initial=data.getInitialMarkupMatrix();    int[] current=data.getCurrentMarkupMatrix();    ArrayList result=new ArrayList();    // add headers to table    result.add("");    for (int i=0;i<places.length;i++) result.add(places[i].getName());        result.add("Initial");    for (int i=0; i<initial.length; i++) result.add(Integer.toString(initial[i]));    result.add("Current");    for (int i=0; i<current.length; i++) result.add(Integer.toString(current[i]));        return ResultsHTMLPane.makeTable(result.toArray(),places.length+1,false,true,true,true);  }  private String renderTransitionStates(DataLayer data) {    Transition[] transitions=data.getTransitions();    if(transitions.length==0) return "n/a";    ArrayList result=new ArrayList();    data.setEnabledTransitions();    for(int i=0;i<transitions.length;i++) result.add(transitions[i].getName());    for(int i=0;i<transitions.length;i++) result.add((transitions[i].isEnabled()?"yes":"no"));    data.resetEnabledTransitions();        return ResultsHTMLPane.makeTable(result.toArray(),transitions.length,false,true,true,false);  }}