1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
| Graph g = new Graph();
g.setBackground(Color.WHITE);
g.setPreferredSize(new Dimension(800,600));
IDrawable rect = new TransitionDraw(new Point(10,10), "T1");
g.addDrawable(rect);
IDrawable rect2 = new TransitionDraw(new Point(100,10), "T2");
g.addDrawable(rect2);
IDrawable circ = new PlaceDraw(new Point(100,150), "P1");
g.addDrawable(circ);
IDrawable arc = new ArcDraw((FormDrawable)rect, (FormDrawable)circ);
g.addDrawable(arc);
IDrawable arc2 = new CondArcDraw((FormDrawable)rect2, (FormDrawable)circ, "x = 2");
g.addDrawable(arc2);
GUIHelper.showOnFrame(g,"Test Petri Graph"); |