/************************************************************/
/* Dialoge.java Version 2003/03/28                          */
/*                                                          */
/* Tom Fellmann, Christoph Weißenborn                       */
/*                                                          */
/************************************************************/

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.border.*;
import javax.swing.event.*;
import javax.swing.text.*;

/********************************************************************/
/* Klasse NeuDialog -- Anlegen eines Netzes                         */
/********************************************************************/
class NeuDialog extends JDialog{
	protected int FarbAnzahl = 0;
	private JPanel panel1;
	 private JPanel inPanel1;
	  private myJButton button1;
	  private myJButton button2;
	 private JPanel panel2;
	  private JPanel inPanel2;
	   private JSlider slider;
	   private myJLabel number;

	/******************************/
	/* Konstruktor                */
	/******************************/
	public NeuDialog(Frame parent, String titel) {
		super(parent, titel, false);
		enableEvents(AWTEvent.WINDOW_EVENT_MASK);
		try {
			init();
		} catch (Exception e) { e.printStackTrace(); }
	}//NeuDialog-Konstruktor

	private void init() throws Exception { //Initialisierung der Komponenten
		setResizable(true);
		setModal(true);
		number = new myJLabel( "3");
		slider = new JSlider(JSlider.HORIZONTAL, Netz.MIN_FARBANZAHL, Netz.MAX_FARBANZAHL, 3);
		slider.addChangeListener(new ChangeListener() {
				public void stateChanged(ChangeEvent e) { number.setText( ""+ slider.getValue()); }
			});
		slider.setPaintTrack( true);
		slider.setMajorTickSpacing( 2);
		slider.setPaintTicks( true);
		slider.setMinorTickSpacing( 1);
		slider.setSnapToTicks(true);
		panel2 = new JPanel(new BorderLayout());
		panel2.setBorder(new EmptyBorder(10,10,10,10));
			inPanel2 = new JPanel(new GridLayout(2,2,10,0));
			inPanel2.setBorder(new EmptyBorder(10,10,10,10));
			inPanel2.add(new myJLabel("Anzahl der Farben:"));
			inPanel2.add(number); //myJLabel("3")
			inPanel2.add(new myJLabel("(maximal "+ Netz.MAX_FARBENDARSTELLANZ+" darstellbar)"));
			//inPanel2.add(slider); //JSlider(horiz, min, max, 3)
		panel2.add(inPanel2, BorderLayout.NORTH);
		panel2.add(slider, BorderLayout.CENTER);

		button1 = new myJButton("OK", "neues Netz anlegen", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button1) ok(); }
			});
		button2 = new myJButton("Abbrechen", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button2) cancel(); }
			});
		panel1 = new JPanel(new BorderLayout());
			inPanel1 = new JPanel(new FlowLayout());
			inPanel1.add(button1); //OK-Button
			inPanel1.add(button2); //Abbrechen-Button
		panel1.add(inPanel1, BorderLayout.SOUTH);
		panel1.add(panel2, BorderLayout.CENTER);

		getContentPane().add(panel1);
		getRootPane().setDefaultButton( button1);
	}//init

	protected void processWindowEvent(WindowEvent e) { //überschrieben, damit ein Beenden beim Schließen des Fensters möglich ist.
		if (e.getID() == WindowEvent.WINDOW_CLOSING) cancel();
		super.processWindowEvent(e);
	}//processWindowEvent

	public void show() {
		pack();
		Rectangle r = new Rectangle( getSize());
		r.add( 365, 175); //nach pack: 348, 167
		if( new Rectangle( Petri.screenSize).contains( r) ) setSize( r.width, r.height);
		setLocation( Petri.calculateDimensions_getGlobalLocation( getSize(), getParent()));
		slider.setValue( 3);
		FarbAnzahl = -1;
		getRootPane().setDefaultButton( button1);
		super.show();
	}//show

	private void ok() {
		FarbAnzahl = slider.getValue();
		hide();
	}//ok

	public void cancel() {
		FarbAnzahl = -1;
		hide();
	}//cancel
}//NeuDialog


class PlatzDialog extends JDialog{
	private int FarbAnzahl;
	private Platz bearbeitePlatz;
	private JPanel panel1;
	 private JPanel inPanel1;
	  private myJButton button1;
	  private myJButton button2;

	private JPanel panel2;
	  private JPanel inPanel21;
	   private JPanel inPanel31;
	   private JPanel inPanel32;

	private JTextField eingabeTF;
	private JTextField[] eingabeTFMarken;
	private JTextField[] eingabeTFKapazitaet;

	/******************************/
	/* Konstruktor                */
	/******************************/
	public PlatzDialog(Platz einstellPlatz) {
		super( Petri.frame, "Eigenschaften - Platz", false);
		bearbeitePlatz = einstellPlatz;
		enableEvents(AWTEvent.WINDOW_EVENT_MASK);
		try {
			init();
		} catch (Exception e) { e.printStackTrace(); }
	}//KanteDialog-Konstruktor

	private void init() throws Exception { //Initialisierung der Komponenten
		FocusListener TF_FocusListener = new TextFieldFocusListener();
		FarbAnzahl = bearbeitePlatz.getKopieMarken().getAnz();
		(eingabeTF = new JTextField( new String( bearbeitePlatz.getText()))).addFocusListener( TF_FocusListener);
		eingabeTFMarken = new JTextField[ FarbAnzahl];
		eingabeTFKapazitaet = new JTextField[ FarbAnzahl];
		setResizable(true);
		setModal(true);

		panel2 = new JPanel(new BorderLayout());
		panel2.setBorder(new EmptyBorder(20,20,20,20));
			inPanel21 = new JPanel(new GridLayout(1,2,10,0));
			inPanel21.setBorder(new EmptyBorder(0,0,10,0));
			inPanel21.add(new myJLabel("Beschriftung:"));
			inPanel21.add(eingabeTF);
		panel2.add(inPanel21, BorderLayout.NORTH);

			inPanel21 = new JPanel(new BorderLayout(10,0));
				inPanel31 = new JPanel(new GridLayout(FarbAnzahl+1,1,0,2));
				 inPanel32 = new JPanel(new GridLayout(FarbAnzahl+1,2,10,2));
				inPanel31.add(new myJLabel("Farbe"), null);
				 inPanel32.add(new myJLabel("Marken"), null);
				 inPanel32.add(new myJLabel("Kapazität"), null);

				Tupel Marken = bearbeitePlatz.getKopieMarken();
				Tupel Kapaz = bearbeitePlatz.getKopieKapazitaetMarken();
				for( int i=0; i<FarbAnzahl; i++ ){
					(eingabeTFMarken[i] = new JTextField( ""+ Marken.getWert(i), 3)).addFocusListener( TF_FocusListener);
					(eingabeTFKapazitaet[i] = new JTextField( ""+ Kapaz.getWert(i), 3)).addFocusListener( TF_FocusListener);
					inPanel31.add( new myJLabel( PetriFrame.FARB_NAME[i], PetriFrame.FARB_WERT[i], JLabel.RIGHT));
					 inPanel32.add( eingabeTFMarken[i]);
					 inPanel32.add( eingabeTFKapazitaet[i]);
				}
			inPanel21.add(inPanel31, BorderLayout.WEST);
			inPanel21.add(inPanel32, BorderLayout.CENTER);
		panel2.add(inPanel21, BorderLayout.CENTER);
		panel2.add(new myJLabel("(maximal "+ Netz.MAX_MARKENDARSTELLANZ+ " darstellbar)", JLabel.RIGHT), BorderLayout.SOUTH);

		button1 = new myJButton( "OK", "Eigenschaften &Uuml;bernehmen", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button1) ok(); }
			});
		button2 = new myJButton( "Abbruch", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button2) cancel(); }
			});
		panel1 = new JPanel(new BorderLayout());
			inPanel1 = new JPanel(new FlowLayout());
			inPanel1.add( button1); //OK-Button
			inPanel1.add( button2); //Abbruch-Button
		panel1.add(inPanel1, BorderLayout.SOUTH);
		panel1.add(panel2, BorderLayout.CENTER);

		getContentPane().add(panel1);
		getRootPane().setDefaultButton( button1);
	}//init

	protected void processWindowEvent(WindowEvent e) { //überschrieben, damit ein Beenden beim Schließen des Fensters möglich ist.
		if (e.getID() == WindowEvent.WINDOW_CLOSING) cancel();
		super.processWindowEvent(e);
	}//processWindowEvent

	public void show() {
		pack();
		Rectangle r = new Rectangle( getSize());
		r.add( 350, 190+23*FarbAnzahl); //nach pack: 256 bis 239, 183+23*FarbAnzahl
		if( new Rectangle( Petri.screenSize).contains( r) ) setSize( r.width, r.height);
		setLocation( Petri.calculateDimensions_getGlobalLocation( getSize(), getParent()));
		super.show();
	}//show

	public void ok() {
		int i;
		int neueMarken[] = new int[FarbAnzahl];
		int neueKapazitaet[] = new int[FarbAnzahl];
		Tupel maxKapaz = new Tupel(99);
		Tupel minWerte = new Tupel(0);
		Tupel neuMarkenTupel;
		Tupel neuKapazTupel;
		try{
			String eingabeText;
			for( i=0; i<FarbAnzahl; i++ ){
				eingabeText = eingabeTFMarken[i].getText();
				neueMarken[i] = (eingabeText.length()>0) ? Integer.parseInt( eingabeText): 0 ;
				eingabeText = eingabeTFKapazitaet[i].getText();
				neueKapazitaet[i] = (eingabeText.length()>0) ? Integer.parseInt( eingabeText): 0 ;
			}
			neuMarkenTupel = new Tupel( neueMarken);
			neuKapazTupel = new Tupel( neueKapazitaet);
			if( !neuKapazTupel.ArgumentKleinerGleich( minWerte) || !maxKapaz.ArgumentKleinerGleich(neuKapazTupel) ){
				PetriFrame.Mitteilung( "Die Kapazit&auml;t mu&szlig; im Bereich von 0 bis 99 liegen!",
									   "Werte pruefen", JOptionPane.DEFAULT_OPTION, JOptionPane.INFORMATION_MESSAGE);
				for( i=0; i<FarbAnzahl; i++ )
					if( (minWerte.getWert(i)>neuKapazTupel.getWert(i)) || (neuKapazTupel.getWert(i)>maxKapaz.getWert(i)) ) break;
				eingabeTFKapazitaet[i].requestFocus();
				return;
			}
			if( !neuMarkenTupel.ArgumentKleinerGleich( minWerte) || !neuKapazTupel.ArgumentKleinerGleich( neuMarkenTupel)) {
				PetriFrame.Mitteilung( "Die Marken m&uuml;ssen positiv sein und die Kapazit&auml;tsbeschr&auml;nkung einhalten!",
									   "Werte pruefen", JOptionPane.DEFAULT_OPTION, JOptionPane.INFORMATION_MESSAGE);
				for( i=0; i<FarbAnzahl; i++ )
					if( (minWerte.getWert(i)>neuMarkenTupel.getWert(i)) || (neuMarkenTupel.getWert(i)>neuKapazTupel.getWert(i)) ) break;
				eingabeTFMarken[i].requestFocus();
				return;
			}
			/* erst alle Fehlermöglichkeiten ausschließen, danach (gültige) Werte eintragen */
			bearbeitePlatz.TextAendern( eingabeTF.getText());
			if( bearbeitePlatz.KapazitaetZuweisen( neuKapazTupel) && bearbeitePlatz.MarkenZuweisen( neuMarkenTupel)) {
				Petri.frame.jStatusBar.setText("Eigenschaften des Platzes <"+ bearbeitePlatz.getText()+ "> erfolgreich ge&auml;ndert.");
				Petri.frame.gefNetz.setVeraendert( true, false);
				hide();
			}
		} catch(Exception e) {
			PetriFrame.Mitteilung( "Die Eingabewerte konnten nicht erfolgreich intepretiert werden!",
								   "Werte pruefen", PetriFrame.WEITER_OPTION, JOptionPane.ERROR_MESSAGE);
		}
	}//ok

	public void cancel() { //Dialog schließen
		Petri.frame.jStatusBar.setText("&Auml;ndern der Eigenschaften des Platzes <"+ bearbeitePlatz.getText()+"> abgebrochen.");
		hide();
	}//cancel
}//PlatzDialog



class TransDialog extends JDialog{
	private Transition bearbeiteTrans;
	private JPanel panel1;
	 private JPanel inPanel1;
	  private myJButton button1;
	  private myJButton button2;

	private JPanel panel2;
	  private JPanel inPanel2;

	private JTextField eingabeTF;

	/******************************/
	/* Konstruktor                */
	/******************************/
	public TransDialog(Transition eineTrans) {
		super( Petri.frame, "Eigenschaften - Transition", false);
		bearbeiteTrans = eineTrans;
		enableEvents(AWTEvent.WINDOW_EVENT_MASK);
		try {
			init();
		} catch (Exception e) { e.printStackTrace(); }
	}//KanteDialog-Konstruktor

	private void init() throws Exception { //Initialisierung der Komponenten
		FocusListener TF_FocusListener = new TextFieldFocusListener();
		(eingabeTF = new JTextField( new String( bearbeiteTrans.getText()))).addFocusListener( TF_FocusListener);
		setResizable( true);
		setModal(true);

		panel2 = new JPanel( new BorderLayout());
		panel2.setBorder( new EmptyBorder(20,20,20,20));
			inPanel2 = new JPanel( new GridLayout(1,2,10,0));
			inPanel2.setBorder(new EmptyBorder(0,0,10,0));
			inPanel2.add( new myJLabel("Beschriftung:"));
			inPanel2.add( eingabeTF);
		panel2.add( inPanel2, BorderLayout.NORTH);

		button1 = new myJButton( "OK", "Eigenschaften &Uuml;bernehmen", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button1) ok(); }
			});
		button2 = new myJButton( "Abbruch", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button2) cancel(); }
			});
		panel1 = new JPanel( new BorderLayout());
			inPanel1 = new JPanel( new FlowLayout());
			inPanel1.add( button1);
			inPanel1.add( button2);
		panel1.add( inPanel1, BorderLayout.SOUTH);
		panel1.add( panel2, BorderLayout.CENTER);

		getContentPane().add(panel1, null);
		getRootPane().setDefaultButton( button1);
	}//init

	protected void processWindowEvent(WindowEvent e) { //überschrieben, damit ein Beenden beim Schließen des Fensters möglich ist.
		if (e.getID() == WindowEvent.WINDOW_CLOSING) cancel();
		super.processWindowEvent(e);
	}//processWindowEvent

	public void show() {
		pack();
		Rectangle r = new Rectangle( getSize());
		r.add(275,145); //nach pack: 228, 142
		if( new Rectangle( Petri.screenSize).contains( r) ) setSize( r.width, r.height);
		setLocation( Petri.calculateDimensions_getGlobalLocation( getSize(), getParent()));
		super.show();
	}//show

	public void ok() {
		try{
			bearbeiteTrans.TextAendern( eingabeTF.getText());
			Petri.frame.jStatusBar.setText("Eigenschaften der Transition <"+ bearbeiteTrans.getText()+ "> erfolgreich ge&auml;ndert.");
			Petri.frame.gefNetz.setVeraendert( true, false);
			hide();
		} catch(Exception e) {
			PetriFrame.Mitteilung( "Die Eingabewerte konnten nicht erfolgreich intepretiert werden!",
								   "Werte pruefen", PetriFrame.WEITER_OPTION, JOptionPane.ERROR_MESSAGE);
		}
	}//ok

	public void cancel() { //Dialog schließen
		Petri.frame.jStatusBar.setText("&Auml;ndern der Eigenschaften der Transition <"+ bearbeiteTrans.getText()+"> abgebrochen.");
		hide();
	}//cancel
}//TransDialog


class KanteDialog extends JDialog{
	private int FarbAnzahl;
	private Kante bearbeiteKante;
	private JPanel panel1;
	 private JPanel inPanel1;
	  private myJButton button1;
	  private myJButton button2;

	private JPanel panel2;
	  private JPanel inPanel21;
	   private JPanel inPanel31;
	   private JPanel inPanel32;
	  private JPanel inPanel22;
	private JPanel panel3;

	private JTextField eingabeTF;
	private JTextField[] eingabeTFwanderMarken;

	/******************************/
	/* Konstruktor                */
	/******************************/
	public KanteDialog(Kante eineKante) {
		super( Petri.frame, "Eigenschaften - Kante", false);
		bearbeiteKante = eineKante;
		enableEvents(AWTEvent.WINDOW_EVENT_MASK);
		try {
			init();
		} catch (Exception e) { e.printStackTrace(); }
	}//KanteDialog-Konstruktor

	private void init() throws Exception { //Initialisierung der Komponenten
		FocusListener TF_FocusListener = new TextFieldFocusListener();
		FarbAnzahl = bearbeiteKante.getKopieMarkenFluss().getAnz();
		(eingabeTF = new JTextField( new String( bearbeiteKante.getText()))).addFocusListener( TF_FocusListener);
		eingabeTFwanderMarken = new JTextField[Netz.MAX_FARBANZAHL];
		setResizable(true);
		setModal(true);

		panel2 = new JPanel(new BorderLayout());
		panel2.setBorder(new EmptyBorder(20,20,20,20));
			inPanel21 = new JPanel(new GridLayout(1,2,10,0));
			inPanel21.setBorder(new EmptyBorder(0,0,10,0));
			inPanel21.add(new myJLabel("Beschriftung:"));
			inPanel21.add(eingabeTF);
		panel2.add(inPanel21, BorderLayout.NORTH);

			inPanel21 = new JPanel(new BorderLayout(10,0));
				inPanel31 = new JPanel(new GridLayout(FarbAnzahl+1,1,0,2));
				  inPanel32 = new JPanel(new GridLayout(FarbAnzahl+1,1,0,2));
				inPanel31.add(new myJLabel("Farbe"));
				  inPanel32.add(new myJLabel("Marken"));
				Tupel Marken = bearbeiteKante.getKopieMarkenFluss();
				for(int i=0; i<FarbAnzahl; i++) {
					(eingabeTFwanderMarken[i] = new JTextField( ""+ Marken.getWert(i), 3)).addFocusListener( TF_FocusListener);
					inPanel31.add(new myJLabel( PetriFrame.FARB_NAME[i], PetriFrame.FARB_WERT[i], JLabel.RIGHT));
					inPanel32.add(eingabeTFwanderMarken[i]);
				}
			inPanel21.add(inPanel31, BorderLayout.WEST);
			inPanel21.add(inPanel32, BorderLayout.CENTER);
		panel2.add( inPanel21, BorderLayout.CENTER);
		panel2.add( new myJLabel("(maximal "+ Netz.MAX_MARKENDARSTELLANZ+ " darstellbar)", JLabel.RIGHT), BorderLayout.SOUTH);

		button1 = new myJButton("OK", "Eigenschaften &Uuml;bernehmen", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button1) ok(); }
			});
		button2 = new myJButton("Abbruch", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button2) cancel(); }
			});
		panel1 = new JPanel(new BorderLayout());
			inPanel1 = new JPanel(new FlowLayout());
			inPanel1.add( button1);
			inPanel1.add( button2);
		panel1.add(inPanel1, BorderLayout.SOUTH);
		panel1.add(panel2, BorderLayout.CENTER);

		getContentPane().add(panel1, null);
		getRootPane().setDefaultButton( button1);
	}//init

	protected void processWindowEvent(WindowEvent e) { //überschrieben, damit ein Beenden beim Schließen des Fensters möglich ist.
		if (e.getID() == WindowEvent.WINDOW_CLOSING) cancel();
		super.processWindowEvent(e);
	}//processWindowEvent

	public void show() {
		pack();
		Rectangle r = new Rectangle( getSize());
		r.add(320,190+FarbAnzahl*23); //nach pack: 228, 528
		if( new Rectangle( Petri.screenSize).contains( r) ) setSize( r.width, r.height);
		setLocation( Petri.calculateDimensions_getGlobalLocation( getSize(), getParent()));
		super.show();
	}//show

	public void ok() {
		int i;
		bearbeiteKante.TextAendern( eingabeTF.getText());
		int neueWerte[] = new int[FarbAnzahl];
		Tupel maxKapaz = new Tupel(99);
		Tupel minWerte = new Tupel(0);
		Tupel neuTupel;
		try{
			String eingabeText;
			for( i=0; i<FarbAnzahl; i++ ){
				eingabeText = eingabeTFwanderMarken[i].getText();
				neueWerte[i] = (eingabeText.length()>0) ? Integer.parseInt( eingabeText): 0 ;
			}

			neuTupel = new Tupel( neueWerte);
			if( !neuTupel.ArgumentKleinerGleich( minWerte) || !maxKapaz.ArgumentKleinerGleich( neuTupel) ){
				PetriFrame.Mitteilung( "Die Markenanzahl mu&szlig; im Bereich von 0 bis 99 liegen!",
									   "Werte pruefen", JOptionPane.DEFAULT_OPTION, JOptionPane.INFORMATION_MESSAGE);
				for( i=0; i<FarbAnzahl; i++ )
					if( (minWerte.getWert(i)>neuTupel.getWert(i)) || (neuTupel.getWert(i)>maxKapaz.getWert(i)) ) break;
				eingabeTFwanderMarken[i].requestFocus();
				return;
			}
			if( bearbeiteKante.MarkenZuweisen( neuTupel) ){
				Petri.frame.jStatusBar.setText("Eigenschaften der Kante <"+ bearbeiteKante.getText()+ "> erfolgreich ge&auml;ndert.");
				Petri.frame.gefNetz.setVeraendert( true, false);
				hide();
			}
		} catch (Exception e) {
			PetriFrame.Mitteilung( "Die Eingabewerte konnten nicht erfolgreich intepretiert werden!",
								   "Werte pruefen", PetriFrame.WEITER_OPTION, JOptionPane.ERROR_MESSAGE);
		}
	}//ok

	public void cancel() { //Dialog schließen
		Petri.frame.jStatusBar.setText("&Auml;ndern der Eigenschaften der Kante <"+ bearbeiteKante.getText()+"> abgebrochen.");
		hide();
	}//cancel
}//KanteDialogDialog



class HilfeDialog extends JDialog{
	private JPanel panel1;
	 private JPanel inPanel1;
	  private myJButton button1;
	private JEditorPane jEditorPane;
	private JScrollPane jScrollPane;
	private boolean zuerst = true;

	/******************************/
	/* Konstruktor                */
	/******************************/
	public HilfeDialog(Frame parent, String titel) {
		super(parent, titel, false);
		enableEvents(AWTEvent.WINDOW_EVENT_MASK);
		try {
			init();
		} catch (Exception e) { e.printStackTrace(); }
	}//HilfeDialog-Konstruktor

	private void init() throws Exception { //Initialisierung der Komponenten
		setResizable(true);
		setModal(false);
		jEditorPane = new JEditorPane( "text/html", "");

		jEditorPane.setText( "<html><h1>Men&uuml;</h1>"+
			"Unter Datei findet man die &uuml;blichen Funktionen zum &Ouml;ffnen, Schlie&szlig;en, Speichern usw. einer Datei.<br>"+
			"Bei Bearbeiten kann man die Auswahl treffen ob man Pl&auml;tze, Transitionen und Kanten anlegen oder entfernen m&ouml;chte.<br>"+
			"Ansicht erm&ouml;glicht die Auswahl zwischen Kanten-Matrix bzw. Platz-Matrix An- und Auszuschalten. Dies soll einer besseren "+
			"&Uuml;bersicht dienen.<br>"+
			"Unter Simulation kann man das Petri-Netz zum Schalten bringen und dies auch wieder beenden.</p><br>"+

			"<h2>Anlegen von Pl&auml;tzen, Transitionen und Kanten</h2>"+
			"Um Pl&auml;tze, Transitionen oder Kanten anzulegen, muss man zuerst im Men&uuml; auf 'Datei | Neu' gehen. Dann w&auml;hlt "+
			"man die Anzahl der zur Verf&uumlgung stehenden Farben (f&uuml;r die bunten Marken) aus. Und schon kann es losgehen!<br>"+
			"Es gibt 2 M&ouml;glichkeiten Pl&auml;tze, Transitionen und Kanten anzulegen. Entweder man geht im Men&uuml; auf 'Bearbeiten "+
			"| Anlegen' oder man klickt mit der rechten Maustaste auf die &quot;Zeichen&quot;-fl&auml;che. Daraufhin erscheint in beiden "+
			"F&auml;llen ein (Kontekt)-Men&uuml;. Darin kann man 'Pl&auml;tze', 'Transitionen' oder 'Kanten' ausw&auml;hlen. Im "+
			"Anschlu&szlig; daran k&ouml;nnen dann neue Exemplare der ausgew&auml;hlten Art im Netz abgelegt werden.<br>"+
			"Dazu wird der Mauszeiger zu einem Zielkreuz. So kann man feststellen, das man sich gerade im &quot;Anlege&quot;-Modus "+
			"befindet. Im Zweifelsfall gibt die Statuszeile auch Auskunft dar&uuml;ber.<br>"+
			"Das Anlegen der Kanten ist, im Gegensatz zu Pl&auml;tzen und Transitionen, etwas komplizierter. Das liegt daran, daß eine "+
			"Kante stets einen Start- und einen Endpunkt ben&ouml;tigt. Unter den beiden Punkten m&uuml;ssen genau ein Platz und genau "+
			"eine Transition sein. Da Kanten eine Richtung haben, ist auch die Reihenfolge (Start -> Ende) wichtig. Die Kante macht das "+
			"mit einem Pfeil deutlich.</p><br>"+

			"<h2>Entfernen von Pl&auml;tzen, Transitionen und Kanten</h2>"+
			"Um Pl&auml;tze, Transitionen oder Kanten zu entfernen, gibt es auch wieder zwei M&ouml;glichkeiten. Entweder man geht im "+
			"Men&uuml; auf 'Bearbeiten | Entfernen' oder man klickt mit der rechten Maustaste auf die Oberfl&auml;che. Daraufhin "+
			"erscheint, wie oben bereits erw&auml;hnt, das (Kontekt)-Men&uuml;. Dort w&auml;hlt man zwischen 'Pl&auml;tzen', "+
			"'Transitionen' und 'Kanten' aus. Im Anschlu&szlig; daran bleibt der Mauszeiger jedoch &quot;normal&quot;. Ein folgendes "+
			"Abfragefenster m&ouml;chte vor versehentlichem L&ouml;schen sch&uuml;tzen.</p><br>"+

			"<h2>&Auml;ndern der Eigenschaften von Pl&auml;tzen, Transitionen und Kanten</h2>"+
			"Um die Eigenschaften von Pl&auml;tzen, Transitionen oder Kanten &auml;ndern zu k&ouml;nnen, bedient man sich wieder dem "+
			"(Kontekt)-Men&uuml;. Danach gen&uuml;gt ein Doppelklick auf die entsprechende Komponente des Petrinetzes. Was folgt, ist ein "+
			"passender Dialog. Dort kann man alle &auml;nderbaren Eigenschaften der ausgew&auml;hlten Komponente bearbeiten. Mit 'OK' "+
			"best&auml;tigt man die vorgenommenen &Auml;nderungen. Dabei gelten die folgenden:</p><br>"+

			"<h2>Regeln f&uuml;r die Marken und Kapazit&auml;ten</h2>"+
			"Marken sind kleine runde Scheiben, die hier eine Farbe annehmen k&ouml;nnen. Wieviele verschiedene Farben zur Auswahl stehen, "+
			"wird beim Anlegen eines (neuen) Netzes festgelegt. Allen Pl&auml;tzen und Kanten kann man solche bunten Marken zuordnen. Bei "+
			"Pl&auml;tzen zus&auml;tzlich auch noch eine Kapazit&auml;t von Marken.<br>"+
			"Man kann sich die Pl&auml;tze als ein Lager f&uuml;r bunte Marken vorstellen. Wie in der realen Welt sind hier aber auch die "+
			"Resourcen knapp. Also ist der &quot;Speicherplatz&quot; f&uuml;r jeden Platz durch seine Kapazit&auml;t beschr&auml;nkt. Die "+
			"Kanten k&ouml;nnten auch als Transportb&auml;nder aufgefa&szlig;t werden (allerdings sind diese unendlich schnell). So "+
			"k&ouml;nnen &uuml;ber eine Kante bestimmte Marken transportiert werden. Welche, das gibt das Marken-Tupel der Kante an. Wann "+
			"etwas flie&szlig;t/transportiert wird, wird bei der Erkl&auml;rung der Simulation beschrieben.</p><br>"+

			"<h2>Verschieben von Pl&auml;tzen und Transitionen</h2>"+
			"Um Pl&auml;tze und Transitionen verschieben zu k&ouml;nnen, mu&szlig; man im Eingabe-Modus sein. W&auml;hrend einer "+
			"Simulation ist dies nicht m&ouml;glich. Das Verschieben wird mit Niederdr&uuml;cken der linken Maustaste gestartet. Mit noch "+
			"gedr&uuml;ckter Maustaste wird das entsprechende Objekt an eine neue Position gef&uuml;hrt. Dabei sollte die N&auml;he zu "+
			"anderen Objekten beachtet werden.<br>"+
			"W&auml;hrend dem Anlegen und Entfernen von Netz-Komponenten ist das Verschieben aus technischen Gr&uuml;nden nicht immer "+
			"m&ouml;glich. Beim &Auml;ndern der Eigenschaften ist es hingegen stets unproblematisch. Probieren Sie es aus! Die Benutzung "+
			"ist ziemlich intuitiv.</p><br>"+

			"<h2>Simulation starten</h2>"+
			"Zum Start der Simulation mu&szlig; ein neues Netz angelegt oder eines geladen sein. Danach w&auml;hlt man im Men&uuml; "+
			"'Simulation | Starten' aus. Daraufhin werden alle schaltf&auml;higen Transitionen farbig dargestellt. Die Auswahl der zu "+
			"schaltenden Transition erfolgt mit einem Klick der linken Maustaste.<br>"+
			"Eine Transition ist schaltf&auml;hig, wenn zwei Bedingungen erf&uuml;llt sind. Die eine wird Vor- und die andere "+
			"Nachbedingung genannt. Zur Vorbedingung mu&szlig; jede Vorkante der Transition aus ihrem zugeordneten Platz gen&uuml;gend "+
			"Marken entnehmen k&ouml;nnen. Welche Marken, das gibt das, der Kante zugeordnete, Marken-Tupel an. Als Vorkanten werden "+
			"diejenigen Kanten bezeichnet, die von einem Platz zu einer Transition verlaufen. Die Nachkanten sind entsprechend die "+
			"Kanten, die von einer Transition weg und hin zu einem Platz gehen. Die Nachbedingung umfa&szlig;t nun alle Nachkanten der "+
			"Transition. Entsprechend der Marken, die zu einer Nachkante geh&ouml;ren, m&uuml;ssen am Platz der Nachkante noch "+
			"ausreichend freie Kapazit&auml;ten vorhanden sein.<br>"+
			"Nochmal, kurz zusammengefa&szlig;t: alle Kanten an einer Transition m&uuml;ssen entsprechende Marken holen bzw. wegbringen "+
			"k&ouml;nnen.</p><br>"+

			"<h2>Petri-Netz Speichern</h2>"+
			"Um ein Petri-Netz zu speichern, geht man ganz einfach im Men&uuml; auf 'Datei | Speichern' bzw. 'Datei | Speichern unter'. "+
			"Gegebenenfalls w&auml;hlt man noch ein Verzeichnis und einen Namen f&uuml;r das Petri-Netz aus und dr&uuml;ckt schließlich "+
			"'Save'.</p><br>"+

			"<h2>Petri-Netz &Ouml;ffnen</h2>"+
			"Zum &Ouml;ffnen eines Petri-Netzes, w&auml;hlt man im Men&uuml; 'Datei | &Ouml;ffnen', sucht das Verzeichnis und den Namen "+
			"des Petri-Netzes aus. Mit 'Open' wird dann das Lesen der Datei gestartet.</p><br>"+

			"<br><br><small>Autoren: Chr. Wei&szlig;enborn & Tom Fellmann</small>"+
			"</html>");
		jEditorPane.setEditable( false);
		jEditorPane.setEnabled( false);

		button1 = new myJButton("OK", "Schlie&szlig;en", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button1) cancel(); }
			});
		panel1 = new JPanel(new BorderLayout());
		panel1.setBorder( new EmptyBorder(5,5,5,5));
			inPanel1 = new JPanel(new FlowLayout());
			inPanel1.add(button1); //OK-Button
		panel1.add( inPanel1, BorderLayout.SOUTH);
		panel1.add( jScrollPane = new myJScrollPane(jEditorPane), BorderLayout.CENTER);

		Dimension altegroesse = getSize();
		setSize( 0, 0);
		show();
		hide();
		setSize( altegroesse);

		getContentPane().add(panel1);
		getRootPane().setDefaultButton( button1);
		jScrollPane.requestDefaultFocus();
	}//init

	protected void processWindowEvent(WindowEvent e) { //überschrieben, damit ein Beenden beim Schließen des Fensters möglich ist.
		if (e.getID() == WindowEvent.WINDOW_CLOSING) cancel();
		super.processWindowEvent(e);
	}//processWindowEvent

	public void show() {
		if( !zuerst ){
			Rectangle r = new Rectangle( getSize());
			r.add( Petri.screenSize.width*3/5, Petri.screenSize.height*3/5);
			if( new Rectangle( Petri.screenSize).contains( r) ) setSize( r.width, r.height);
			setLocation( Petri.calculateDimensions_getGlobalLocation( getSize(), getParent()));
		} else zuerst = false;
		jScrollPane.getViewport().setViewPosition( new Point( 0, 0));
		jScrollPane.requestFocus();
		super.show();
	}//show

	public void cancel() {
		hide();
	}//cancel
}//HilfeDialog


class DefDialog extends JDialog{
	private JPanel panel1;
	 private JPanel inPanel1;
	  private myJButton button1;

	private JEditorPane jEditorPane;
	private JScrollPane jScrollPane;
	private boolean zuerst = true;

	/******************************/
	/* Konstruktor                */
	/******************************/
	public DefDialog(Frame parent, String titel) {
		super(parent, titel, false);
		enableEvents(AWTEvent.WINDOW_EVENT_MASK);
		try { init(); }
		catch (Exception e) { e.printStackTrace(); }
	}//DefDialog-Konstruktor

	private void init() throws Exception { //Initialisierung der Komponenten
		setResizable(true);
		setModal(false);
		jEditorPane = new JEditorPane("text/html", "");

		jEditorPane.setText( "<html><h1>Petri-Netze (mit gef&auml;rbten Marken)</h1>"+
			"<h2>Formlos:</h2>"+
			"Bei gef&auml;rbten Petrinetzen wird jeder Marke ein Attribut zugeordnet, im allgemeinen Farbe genannt.<br>"+
			"Hier wird davon ausgegangen, daß die Anzahl der benutzten, verschiedenen Farben mit n festgelegt ist. So l&auml;&szlig;t "+
			"sich die Kapazit&auml;t eines Platzes als ein n-Tupel angeben. In diesem n-Tupel wird f&uuml;r jede Farbe die Kapazit&auml;t "+
			"durch eine Zahl repr&auml;sentiert.<br>"+
			"Eine Belegung von Marken f&uuml;r den Platz kann auch als n-Tupel angegeben werden. Ebenso gibt es f&uuml;r jede Kante ein "+
			"n-Tupel. Dabei handelt es sich um die Marken, die beim Schalten/Feuern &uuml;ber diese Kante flie&szlig;en.</p><br>"+

			"<h2>Definition:</h2>"+
			"Ein gef&auml;rbtes Petrinetz (CP-Netz) ist ein Tupel <i>CPN = (n, P, T, B, F, K, S, I)</i> mit folgenden Eigenschaften:<br>"+
			"1)	n ist eine positive Zahl (gibt Anzahl der Farben an);<br>"+
//TODO: ab hier die Sonderzeichen & Umlaute ändern!
			"2)	Sigma sei die Menge aller n-Tupel von nichtnegativen Zahlen;<br>"+
			"3)	P ist eine endliche Menge von Stellen (auch Platz genannt);<br>"+
			"4)	T ist eine endliche Menge von Transitionen, T vereinigt P = Ø;<br>"+
			"5)	B ist eine endliche Menge von Kanten (auch Bogen genannt), B vereinigt T= B vereinigt T = Ø;<br>"+
			"6)	F: B -> (PxT) vereinigt (TxP) ist eine Flußrelation (beschreibt Kanten);<br>"+
			"7)	K: P -> Sigma ist eine Platz-Farb-Relation (gibt Platzkapazität an), Für alle p Element von P: Es gibt ein K(p);<br>"+
			"8)	S: B -> Sigma ist eine Kanten-Farb-Relation, (gibt Marken an, die beim Schalten über die Kante fließenden), Für alle b "+
			"Element von B: Es gibt ein S(b);<br>"+
			"9)	I: P-> Sigma ist die Anfangsmarkierung, Für alle p Element von P: (Es gibt ein I(p) - I(p)<=K(p)#).</p><br>"+

			"<h1>Transitionsregel</h1>"+
			"<h2>Formlos:</h2>"+
			"Wie bei ungefärbten Petrinetzen müssen für einen Schritt alle Vor- und Nachbedingungen  der zu schaltenden Transition "+
			"erfüllt sein. Bei einem gefärbten Petrinetz bedeutet das folgendes:<br>"+
			"Ein Schritt wird in einem bestimmten Zustand genau dann möglich, wenn<br>"+
			"<b>(1):</b> entlang aller Kanten, die zu einer Transition hinführen, entsprechend der Beschriftung ausreichend farbige "+
			"Marken (von allen beteiligten Plätzen) abtransportiert/gelöscht werden können, und<br>"+
			"<b>(2):</b> alle Plätze derjenigen Kanten, die von der Transition wegführen, entsprechend der jeweiligen Kantenbeschriftung, "+
			"auch genügend freie Kapazitäten passender Farbe aufweisen.<br>"+
			"In einem bestimmten Zustand können mehrere Schritte möglich sein.</p><br>"+

			"<h2>Definition:</h2>"+
			"Hierzu sind noch andere Begriffe notwendig.<br>"+
			"<b>1)	Zustand</b><br>"+
			"In jedem Zustand M: P -> Sigma gilt: Für alle p Element von P: (Es gibt ein M(p) - M(p)<=K(p)#).<br>"+
			"<b>2)	Schritt</b><br>"+
			"Ein Schritt Y stellt eine Transition t Element von T und einen Zustand m0 in Relation zu einem Folgezustand m1. (Er "+
			"beschreibt also das Schalten von t im Zustand m0.)<br>"+
			"<b>3)	Transitionsregel</b><br>"+
			"Im Zustand m0 heißt ein Schritt Y mit der Transition t Element von T genau dann möglich, wenn<br> Für alle p Element von P: "+
			"( Für alle b Element von B mit F(b)=(p,t)): S(b)<=m0(p) - (Für alle b Element von B mit F(b)=(t,p)): m0(p)+S(b)=K(p))##.<br>"+
			"Man sagt dann auch, t ist in m0 möglich. Sind nun zwei Schritte in m0 mit Transition t1 bzw. t2 möglich, so heißen t1 und "+
			"t2 gleichzeitig möglich.<br>"+
			"Der Folgezustand m1 von einem möglichen Schritt Y mit m0 und t ergibt sich wie folgt:<br> Für alle p Element von P: ((Für "+
			"alle bV Element von B mit F(bV)=(p,t)) - (Für alle bN Element von B mit F(bN)=(t,p)): m0(p)+S(bV)-S(bN)=m1(p))</p><br>"+

			"<br><br><small>Autoren: Chr. Weißenborn & Tom Fellmann</small>"+
			"</html>");
		jEditorPane.setEditable( false);
		jEditorPane.setEnabled( false);

		button1 = new myJButton("OK", "Schlie&szlig;en", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button1) cancel(); }
			});
		panel1 = new JPanel(new BorderLayout());
		panel1.setBorder( new EmptyBorder(5,5,5,5));
			inPanel1 = new JPanel(new FlowLayout());
			inPanel1.add(button1); //OK-Button
		panel1.add(inPanel1, BorderLayout.SOUTH);
		panel1.add( jScrollPane = new myJScrollPane( jEditorPane), BorderLayout.CENTER);

		Dimension altegroesse = getSize();
		setSize( 0, 0);
		show();
		hide();
		setSize( altegroesse);

		getContentPane().add(panel1);
		getRootPane().setDefaultButton( button1);
		jScrollPane.requestFocus();
	}//init

	public boolean isFocusTraversable(){
		return false;
	}


	protected void processWindowEvent(WindowEvent e) { //überschrieben, damit ein Beenden beim Schließen des Fensters möglich ist.
		if (e.getID() == WindowEvent.WINDOW_CLOSING) cancel();
		super.processWindowEvent(e);
	}//processWindowEvent

	public void show() {
		if( !zuerst ){
			Rectangle r = new Rectangle( getSize());
			r.add( Petri.screenSize.width*3/5, Petri.screenSize.height*3/5);
			if( new Rectangle( Petri.screenSize).contains( r) ) setSize( r.width, r.height);
			setLocation( Petri.calculateDimensions_getGlobalLocation( getSize(), getParent()));
		} else zuerst = false;
		jScrollPane.getViewport().setViewPosition( new Point( 0, 0));
		jScrollPane.requestFocus();
		super.show();
	}//show

	public void cancel() { //Dialog schließen
		hide();
	}//cancel
}//DefDialog


class InfoDialog extends JDialog{
	private JPanel panel1;
	 private JPanel inPanel1;
	  private myJButton button1;
	 private JPanel panel2;
	  private JPanel inPanel2;

	/******************************/
	/* Konstruktor                */
	/******************************/
	public InfoDialog(Frame parent, String titel) {
		super(parent, titel, false);
		enableEvents(AWTEvent.WINDOW_EVENT_MASK);
		try { init(); }
		catch (Exception e) { e.printStackTrace(); }
	}//InfoDialog-Konstruktor

	private void init() throws Exception { //Initialisierung der Komponenten
		setResizable(true);
		setModal(true);
		panel2 = new JPanel(new BorderLayout());
		panel2.setBorder(new EmptyBorder(15,20,15,20));
		inPanel2 = new JPanel(new GridLayout(5,1));
		inPanel2.add(new myJLabel("Petrinetze mit gef&auml;rbten Marken"), null);
		inPanel2.add(new myJLabel("von Chr. Wei&szlig;enborn & Tom Fellmann"), null);
		inPanel2.add(new myJLabel("Version 1.0"), null);
		inPanel2.add(new myJLabel("Copyright (c) 2003"), null);
		inPanel2.add(new myJLabel("ein Projekt zur Vorlesung \"Petrinetze 1\" von Prof. Gerber"), null);
		panel2.add(inPanel2, BorderLayout.CENTER);

		button1 = new myJButton( "OK", "Schlie&szlig;en", new ActionListener() {
				public void actionPerformed(ActionEvent e) { if (e.getSource()==button1) cancel(); }
			});
		panel1 = new JPanel(new BorderLayout());
			inPanel1 = new JPanel(new FlowLayout());
			inPanel1.add(button1); //OK-Button
		panel1.add(inPanel1, BorderLayout.SOUTH);
		panel1.add(panel2, BorderLayout.CENTER);
		getContentPane().add(panel1);
		getRootPane().setDefaultButton( button1);
	}//init

	protected void processWindowEvent(WindowEvent e) { //überschrieben, damit ein Beenden beim Schließen des Fensters möglich ist.
		if (e.getID() == WindowEvent.WINDOW_CLOSING) cancel();
		super.processWindowEvent(e);
	}//processWindowEvent

	public void show() {
		pack();
		Rectangle r = new Rectangle( getSize());
		r.add(420,205); //nach pack: 410, 201
		if( new Rectangle( Petri.screenSize).contains( r) ) setSize( r.width, r.height);
		setLocation( Petri.calculateDimensions_getGlobalLocation( getSize(), getParent()));
		getRootPane().setDefaultButton( button1);
		super.show();
	}//show

	public void cancel() { //Dialog schließen
		hide();
	}//cancel
}//InfoDialog



class myJMenuItem extends JMenuItem{
	public myJMenuItem( String text){
		super( );
		char	key = 0;
		int		pos = text.indexOf('%');
		if( (-1 < pos) && (pos < text.length()) ){
			key = Character.toLowerCase( text.charAt( pos+1));
			text = text.substring( 0, pos) + "<u>" + text.charAt(pos+1) + "</u>" + text.substring( pos+2);
		}
		setText( text);
		if( key != 0 ) setMnemonic( key);
	}//myJMenuItem-Konstruktor

	public myJMenuItem( String text, ActionListener ActList) {
		this( text);
		if (ActList != null) addActionListener(ActList);
	}//myJMenuItem-Konstruktor

	public myJMenuItem( String name, ActionListener ActList, boolean isEnabled) {
		this( name, ActList);
		setEnabled( isEnabled);
	}//myJMenuItem-Konstruktor

	public myJMenuItem( String text, ActionListener ActList, boolean isEnabled, boolean isVisible) {
		this( text, ActList, isEnabled);
		setVisible( isVisible);
	}//myJMenuItem-Konstruktor

	public void setText(String text){
		if( !text.startsWith( "<html>") ){
			if( isEnabled() ) text = "<html><b>" + text + "</b></html>";
			else text = "<html>" + text + "</html>";
		} else {
			if( isEnabled() && !text.startsWith( "<b>", 6) ) text = "<html><b>" + text.substring( 6, text.length()-6) + "</b></html>";
			else if( !isEnabled() && text.startsWith( "<b>", 6) ) text = "<html>" + text.substring( 9, text.length()-10) + "<html>";
		}
		super.setText(text);
	}//setText

	public void setEnabled(boolean b){
		super.setEnabled(b);
		setText( getText());
	}//setEnabled
}//myJMenuItem

class myJMenu extends JMenu{
	public myJMenu( String text){
		super( );
		char	key = 0;
		int		pos = text.indexOf('%');
		if( (-1 < pos) && (pos < text.length()) ){
			key = Character.toLowerCase( text.charAt(pos+1));
			text = text.substring( 0, pos) + "<u>" + text.charAt(pos+1) + "</u>" + text.substring( pos+2);
		}
		setText( text);
		if( key != 0 ) setMnemonic( key);
	}//myJMenu-Konstruktor

	public myJMenu(String text, boolean isEnabled) {
		this( text);
		setEnabled( isEnabled);
	}//myJMenu-Konstruktor

	public void setText(String text){
		if( !text.startsWith( "<html>") ){
			if( isEnabled() ) text = "<html><b>" + text + "</b></html>";
			else text = "<html>" + text + "</html>";
		} else {
			if( isEnabled() && !text.startsWith( "<b>", 6) ) text = "<html><b>" + text.substring( 6, text.length()-6) + "</b></html>";
			else if( !isEnabled() && text.startsWith( "<b>", 6) ) text = "<html>" + text.substring( 9, text.length()-10) + "<html>";
		}
		super.setText(text);
	}//setText

	public void setEnabled(boolean b){
		super.setEnabled(b);
		setText( getText());
	}//setEnabled
}//myJMenu

class myJLabel extends JLabel{
	public myJLabel( String text){
		super( "<html><b>" + text + "</b></html>");
	}//myJLabel-Konstruktor
	public myJLabel( String text, Color col){
		super( "<html><b><font color=\"#"+ ColToHex( col)+ "\">" + text + "</font></b></html>");
	}//myJLabel-Konstruktor
	public myJLabel( String text, int horizontalAlignment){
		super( "<html><b>" + text + "</b></html>", horizontalAlignment);
	}//myJLabel-Konstruktor
	public myJLabel( String text, Color col, int horizontalAlignment){
		super( "<html><b><font color=\"#"+ ColToHex( col)+ "\">" + text + "</font></b></html>", horizontalAlignment);
	}//myJLabel-Konstruktor
	private static String ColToHex(Color col) {
		String	red = Integer.toHexString( col.getRed()).toUpperCase(),
				green = Integer.toHexString( col.getGreen()).toUpperCase(),
				blue = Integer.toHexString( col.getBlue()).toUpperCase();
		while( red.length() < 2 ) red = "0"+ red;
		while( green.length() < 2 ) green = "0"+ green;
		while( blue.length() < 2 ) blue = "0"+ blue;
		return red+ green+ blue;
	}
}//myJLabel

class myJButton extends JButton{
	public myJButton( String text){
		super( "");
		char 	key = 0;
		int		pos = text.indexOf('%');
		if( (-1 < pos) && (pos < text.length()) ){
			key = Character.toLowerCase( text.charAt( pos+1));
			text = text.substring( 0, pos) + "<u>" + text.charAt(pos+1) + "</u>" + text.substring( pos+2);
		}
		this.setText( text);
		if( key != 0 ) this.setMnemonic( key);
	}//myJButton-Kontruktor

	public myJButton( String text, ActionListener ActList) {
		this( text);
		if( ActList != null ) addActionListener( ActList);
	}//myJButton-Konstruktor

	public myJButton( String text, String tooltip, ActionListener ActList) {
		this( text, ActList);
		setToolTipText( "<html>" + tooltip + "</html>");
	}//myJButton-Konstruktor

	public myJButton( String text, String tooltip, ActionListener ActList, boolean isEnabled) {
		this( text, tooltip, ActList);
		setEnabled(isEnabled);
	}//myJButton-Konstruktor

	private myJButton( Icon icon){
		super( "", icon);
	}//myJButton-Kontruktor
	public static myJButton createWithIcon( String text, String tooltip, String imageName, ActionListener ActList, boolean isEnabled) {
		if( imageName.compareTo("")==0 ) return new myJButton( text, tooltip, ActList, isEnabled);
		else return new myJButton( new ImageIcon(PetriFrame.class.getResource(imageName)));
	}//newJButton_addActionListener

	public void setText(String text){
		if( !text.startsWith( "<html>") ){
			if( isEnabled() ) text = "<html><b>" + text + "</b></html>";
			else text = "<html>" + text + "</html>";
		} else {
			if( isEnabled() && !text.startsWith( "<b>", 6) ) text = "<html><b>" + text.substring( 6, text.length()-6) + "</b></html>";
			else if( !isEnabled() && text.startsWith( "<b>", 6) ) text = "<html>" + text.substring( 9, text.length()-10) + "<html>";
		}
		super.setText(text);
	}//setText

	public void setEnabled(boolean b){
		super.setEnabled(b);
		setText( getText());
	}//setEnabled
}//myJButton

class TextFieldFocusListener implements FocusListener {
	public void focusGained(FocusEvent e) { if( e.getComponent() instanceof JTextField ) ((JTextField)e.getComponent()).selectAll(); }
	public void focusLost(FocusEvent e) { if( e.getComponent() instanceof JTextField ) ((JTextField)e.getComponent()).select( 0, 0); }
}//TextFieldFocusListener

class myJScrollPane extends JScrollPane{
	public myJScrollPane(JEditorPane jep){ super(jep); }
	public boolean isFocusTraversable(){ return true; }
}//myScrollPane