showreachabilitygraph.java

petrinets小程序

import java.awt.*;

import javax.swing.JButton;
import javax.swing.JFrame;


public class ShowReachabilityGraph extends JFrame{
	
	static pn PNet;
	static Editor Ed;
	
//	visOfStructure visOfStr;
//	visOfStr = new visOfStructure(PNet);
	
	public ShowReachabilityGraph(Editor Ed){
		PNet = new pn(Ed.PNet);
		Container container = getContentPane();
		container.setLayout(new BorderLayout());
		Dimension dimvis = new Dimension(1000,1000);
		container.add(new visOfReachabilityGraph(dimvis), BorderLayout.CENTER);
		container.add(new JButton("update"), BorderLayout.SOUTH);
	}
	public static void main(String[]args){
		ShowStructure application = new ShowStructure(Ed);
		application.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
	}

}