linux-l: Petri-Netze-Software

Oliver Bandel oliver at first.in-berlin.de
Do Feb 17 16:16:55 CET 2000


Hi!

On Wed, 16 Feb 2000, Stephan Allner wrote:

> 
> On 16-Feb-2000 Oliver Bandel wrote:
> > Hi!
> > 
> > Kennt jemand `ne (GPL-)Software, mit der man
> > Petri-Netze analysieren/synthetisieren/simulieren
> > kann?
> 
> Kenn mich damit zwar nicht aus, aber die URL hab ich noch da:
> 
> http://www.daimi.au.dk/PetriNets/

Fein.
Werde ich mir bei Gelegenheit mal anschauen.


> 
> Ist, aber nicht Linuxspezifisch.

Kein Problem.

BTW: Das Programm, was ich über freshmeat fand (DoME), war doch etwas
     umfangreicher, als ich dachte. Das war ja mehr als nur ein
     kleines Tool. War ein richtiger Brecher! ;-)


Tschüß,
    Oliver



Mehr Informationen über die Mailingliste linux-l