matrixes.java

Petri网分析工具PIPE is open-source

/**
 * 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);
  }
}