DIPF-Logo
Deutscher Bildungsserver. Der Wegweiser zur Bildung. Onlineressourcen

Themen


Hier beginnt der Inhalt:

Editor und Simulator für Petri-Netze - PetriEdiSim

  • Diese Seite posten:
  • Edutags-Logo
  • g+
  • Twitter-Logo
  • Facebook-Logo
  • Delicious-Logo

Link: http://olli.informatik.uni-oldenburg.de/PetriEdiSim/

Petri-Netze sind ein in der Informatik weit verbreiteter Formalismus zur Modellierung und Untersuchung paralleler Systeme. In diesem Lernprogramm kann man die Grundlagen der Petri-Netze erlernen, eigene Petri-Netze erstellen und simulieren. Das Lerprogramm PetriEdiSim enthält einen hypermedialen tutoriellen Teil, der in der Art eines Vorlesungsskripts in das Thema einführt. Der zentrale Teil des Programms ist ein Simulator für Petri-Netze mit eingebautem Editor. Er läuft als Java-Applet in einem eigenen Browser-Fenster. Die wichtigsten Beispiele aus dem tutoriellen Teil sind als fertige Netze simulierbar.

Schlagwörter: Formalismus; Petri-Netz; parallele Systeme; INFORMATIK;
Fach, Sachgebiet: HochschuleMathematik, Naturwissenschaften, InformatikInformatikParallele und Verteilte Systeme
Autor/Kontakt: petra.hornstein@informatik.uni-oldenburg.de
Sprache: Deutsch
Weitere Angaben: siehe http://olli.informatik.uni-oldenburg.de/PetriEdiSim/licence.html;
Oldenburger Lernprogramme zur Informatik (OLLI);
keine
Übergeordneter Link: http://olli.informatik.uni-oldenburg.de/
Datensatz aktualisiert am: 06.09.2001


Ausgewählte Links zu dieser Seite

Diesem Link bitte nicht folgen Diesem Link bitte nicht folgen Diesem Link bitte nicht folgen