Re: [MAT-devel] synch petri-net output

[Mario de S. <ms...@fe...>]

On Fri, 2003-07-25 at 12:10, Jiri Baum wrote:
> Jiri:
> > > is there some way of printing out the synch petri-net? It might be
> > > nice to output it in graphviz (dotty) format - not as good as a GUI
> > > editor, but at least the user would be able to see what's happening.
> ...
> 
> Mario:
> > What is graphviz? Is this some kind of library?
> 
> Oops, sorry, should've said that - it's a graph layout package. You give
> it a list of nodes and edges in a text file, and it spits out the GIF.
> 


 Ahh. That should make life much easier. I am, nevertheless, not
completely enlightened... Is package an application, a library, or
something else?


 What is the syntax for the nodes and edges?


 Is the package is a library, we should probably put the functionality
into some new tool other than plctest. I don't like the idea of getting
such simple tools dependent on what may be esoteric libraries.





> > It is probably better to work on a GUI from the start. Their is a nice
> > application that caught my attention the other day. It is a graphical
> > editor __generator__. You define the graphical objects you want the
> > editor to handle, and how these may be connected, etc... (all this in
> > a text file using some simple syntax), and the graphical editor
> > generator creates a java program with a gui to edit what you
> > specified.
> 
> What was it called? That would indeed be excellent. (Is that "grace"?)
> 


 Yep. GPL'd.

 Check it out!

 http://www2.informatik.uni-erlangen.de/DiaGen/



  Cheers,

		Mario.