Petri-Netze

[Nasenbärnase]

Hallo!

Gibt es hier jemanden, der sich mit diesem Thema schon mal auseinander gesetzt hat? Oder kennt hier jemand ein Forum oder eine Newsgroup, in dem Petri-Netze diskutiert werden?
Insbesondere interessieren mich Tools, mit denen Coloured Petri Nets oder Stochastische Petri-Netze modelliert/simuliert/analysiert werden können.

[caoswilli]

Hi,

ich hab mal mit TimeNet (http://pdv.cs.tu-berlin.de/~timenet) (eine erweiterte Version von DSPNExpress) gearbeitet, naja fand es ein wenig unausgereift, soll aber (angeblich) eines der besten sein, wird zmindest häufig in Unis eingesetzt.

Kannst ja auch mal hier nachschauen, ob etwas für dich bei ist:
Petri Netz-Tools (http://www.informatik.uni-hamburg.de/TGI/Petri Nets/tools/db.html)

Ansonsten heisst es Stift und Zettel zücken und selbst analysieren, solang es nur GSPNs sind ist ja nicht so tragisch, naja obwohl ...
Falls man keine genauen Ergebnisse benötigt, dann kann man auch leicht eine Handsimmulation auf dem Papier durchführen.

Viele Grüsse,
Willi


Ach ja, TimeNet kann keine coulered petri nets, es ist auf GSPNs und DSPNs "spezialisiert".