Java GraphicalPTNet类代码示例

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
private void openPNMLFile(String filename) throws Exception {
	if (!filename.toLowerCase().endsWith(".pnml")) {
		if(!filename.startsWith("-psn_"))//Catching OS X specific argument on the very first startup
                               JOptionPane.showMessageDialog(null, "File \""+filename+"\" is not in .pnml format", "Open Error", JOptionPane.ERROR_MESSAGE);
		filePaths = null;
		startApplication();
	} else {
		@SuppressWarnings("rawtypes")
		AbstractGraphicalPN net = new PNMLParser().parse(filename, EditorProperties.getInstance().getRequireNetType(), EditorProperties.getInstance().getPNValidation());
		switch (net.getPetriNet().getNetType()) {
		case CPN:
			new WolfgangCPN((GraphicalCPN) net).setUpGUI();
			break;
		case PTNet:
			new WolfgangPT((GraphicalPTNet) net).setUpGUI();
			break;
		default:
			throw new Exception("Incompatible net type: " + net.getPetriNet().getNetType());
		}
	}
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@Override
public void doFancyStuff(ActionEvent e) throws Exception{
	String netName = requestNetName("Please choose a name for the new net:", "New Petri-Net");
	if (swatNewNetToolbar != null)
		swatNewNetToolbar.getToolBar().disposeAllWindows();
	if (netName != null) {
		// Test new file name
		switch (type) {
		case NEW_CPN:
			GraphicalCPN newCPN = new GraphicalCPN();
			newCPN.getPetriNet().setName(netName);
                               SwatComponents.getInstance().getContainerPetriNets().addComponent(newCPN, true);
			//SwatComponents.getInstance().addPetriNet(newCPN);
			break;
		case NEW_PT:
			GraphicalPTNet newPTNet = new GraphicalPTNet();
			newPTNet.getPetriNet().setName(netName);
			SwatComponents.getInstance().getContainerPetriNets().addComponent(newPTNet, true);
			break;
		case NEW_IF:
			GraphicalIFNet newIFNet = new GraphicalIFNet(new IFNet());
			newIFNet.getPetriNet().setName(netName);
			SwatComponents.getInstance().getContainerPetriNets().addComponent(newIFNet, true);
			break;
		case NEW_RTPN:
			GraphicalTimedNet newRTPNet = new GraphicalTimedNet(new TimedNet());
			newRTPNet.getPetriNet().setName(netName);
			SwatComponents.getInstance().getContainerPetriNets().addComponent(newRTPNet,true);
			break;

		default:
			break;
		}
	}
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@Override
protected void doFancyStuff(ActionEvent e) throws Exception {
	File f = getFile();
	if (f == null) return;
	PTNet net = BPMN2PNStartup.generateIFnet(f.getAbsolutePath());
	
	String name = requestNetName("Please enter name for net", "Net-Name");
	net.setName(name);
	GraphicalPTNet result = new GraphicalPTNet(net, new PTGraphics());
	SwatComponents.getInstance().getContainerPetriNets().addComponent(result,true);
	SwatComponents.getInstance().getContainerPetriNets().setAskForLayout(name);
	Workbench.consoleMessage("Net Imported "+name);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@SuppressWarnings("unchecked")
@Override
public GraphicalPTNet parse(File file) throws IOException, ParserException {
    GraphicalPTNet net = new GraphicalPTNet();
    FileReader reader = new FileReader(file.getAbsolutePath());
    String nextLine;
    while ((nextLine = reader.readLine()) != null) {
        String lineContent;
        if (nextLine.startsWith(PREFIX_COMMENT)) {
            // Do nothing
        } else if (nextLine.startsWith(PREFIX_OUTPUTS)) {
            lineContent = nextLine.replace(PREFIX_OUTPUTS, "");
            insertTransitions(net.getPetriNet(), lineContent);
        } else if (nextLine.isEmpty() || nextLine.startsWith(PREFIX_GRAPH) || nextLine.startsWith(PREFIX_END)) {
            // Do nothing
        } else if (nextLine.startsWith(PREFIX_CAPACITIES)) {
            lineContent = nextLine.replace(PREFIX_CAPACITIES, "");
            setCapacities(net.getPetriNet(), lineContent);
        } else if (nextLine.startsWith(PREFIX_MARKING)) {
            lineContent = nextLine.replace(PREFIX_MARKING, "");
            lineContent = lineContent.replace("{", "");
            lineContent = lineContent.replace("}", "");
            setMarking(net.getPetriNet(), lineContent);
        } else {
            addFlowRelation(net.getPetriNet(), nextLine);
        }
    }
    reader.closeFile();
    return net;
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@Override
protected void doFancyStuff(ActionEvent e) throws Exception {
	if (wolfgang.getEditorComponent() == null)
		return;
	success = true;
	setUpGui();

	int returnVal = fch.showDialog(wolfgang.getEditorComponent().getGraphComponent(), "load PNML");

	if (returnVal == JFileChooser.APPROVE_OPTION) {
		String filename = fch.getSelectedFile().getAbsolutePath();

		if (filename.toLowerCase().endsWith(".pnml")) {
			AbstractGraphicalPN net = new PNMLParser().parse(filename, EditorProperties.getInstance().getRequireNetType(), EditorProperties.getInstance().getPNValidation());
			switch (net.getPetriNet().getNetType()) {
			case CPN:
				wolfgang = new WolfgangCPN((GraphicalCPN) net);
				break;
			case PTNet:
				wolfgang = new WolfgangPT((GraphicalPTNet) net);
				break;
			default:
				throw new Exception("Incompatible net type: " + net.getPetriNet().getNetType());
			}
			wolfgang.setUpGUI();
		} else
			throw new Exception("File is not in .pnml format");
	}

}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
public static void main(String[] args) throws PropertyException, IOException {
	PTNet ptNet = createPTNet();
	PTGraphics ptNetGraphics = createPTNetGraphics(ptNet);
	GraphicalPTNet netContainer = new GraphicalPTNet(ptNet, ptNetGraphics);
	JPanel pnlPv = new JPanel();
	PropertiesView propertiesView = new PropertiesView(new PTProperties(netContainer));
	propertiesView.setUpGUI();
	pnlPv.add(propertiesView);
	new DisplayFrame(pnlPv, true);

}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@SuppressWarnings({ "unchecked", "rawtypes" })
public static <	P extends AbstractPlace<F, S>, 
				T extends AbstractTransition<F, S>, 
				F extends AbstractFlowRelation<P, T, S>, 
				M extends AbstractMarking<S>, 
				S extends Object, 
				N extends AbstractPetriNet<P, T, F, M, S>, 
				G extends AbstractPNGraphics<P, T, F, M, S>>

PNSerializer<P, T, F, M, S, N, G>

getSerializer(AbstractGraphicalPN<P, T, F, M, S, N, G> net, PNSerializationFormat format) throws SerializationException {

	// ugly unbounded wildcards as work-around for bug JDK-6932571
	Object serializer = null;
	Object netObject = net;

	switch (format) {
	case PNML:
		if (netObject instanceof GraphicalIFNet) {
			serializer = new PNMLIFNetSerializer((AbstractGraphicalIFNet) net);
		}
		if (netObject instanceof GraphicalCPN) {
			serializer = new PNMLCPNSerializer((AbstractGraphicalCPN) net);
		}
		if (netObject instanceof GraphicalPTNet) {
			serializer = new PNMLPTNetSerializer((AbstractGraphicalPTNet) net);
		}
		if(netObject instanceof GraphicalTimedNet) {
			serializer = new PNMLTimedNetSerializer((AbstractGraphicalTimedNet)net);
		}
		
		break;
	case PETRIFY:
		if (netObject instanceof AbstractGraphicalPTNet)
			serializer = new PetrifyPTNetSerializer((AbstractGraphicalPTNet) net);
		break;
	default:
		throw new SerializationException(de.uni.freiburg.iig.telematik.sepia.serialize.SerializationException.ErrorCode.UNSUPPORTED_FORMAT, format);
	}

	if (serializer != null)
		return (PNSerializer<P, T, F, M, S, N, G>) serializer;
	else
		throw new SerializationException(de.uni.freiburg.iig.telematik.sepia.serialize.SerializationException.ErrorCode.UNSUPPORTED_NET_TYPE, net.getClass());
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
public static void main(String[] args) throws SerializationException, IOException {
	GraphicalPTNet net = new GraphicalPTNet();
	net.getPetriNet().setName("gerd");
	System.out.println(net.getPetriNet().getName());
	PNSerialization.serialize(net, PNSerializationFormat.PNML, "/Users/stocker/Desktop/test.pnml");
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@Override
protected GraphicalPTNet createNewGraphicalPN() {
	return new GraphicalPTNet();
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
/**
 * Overrides super{@link #getNetContainer()} and returns a
 * {@link GraphicalPTNet}.
 */
@Override
protected GraphicalPTNet getNetContainer() {
	return (GraphicalPTNet) super.getNetContainer();
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
public WolfgangPT(GraphicalPTNet net, boolean askForLayout) throws Exception {
	super(net, askForLayout);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@Override
protected PNEditorComponent newEditorComponent(GraphicalPTNet net, LayoutOption layoutOption) {
	return new PTNetEditorComponent(net, layoutOption);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@Override
protected GraphicalPTNet newNet() {
	return new GraphicalPTNet();
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
public PTNetEditorComponent(GraphicalPTNet netContainer, boolean askForLayout) {
	super(netContainer, askForLayout);
}
 

import de.uni.freiburg.iig.telematik.sepia.graphic.GraphicalPTNet; //导入依赖的package包/类
@Override
protected GraphicalPTNet createNetContainer() {
	return new GraphicalPTNet(new PTNet(), new PTGraphics());
}