Suche

German Education Server Eduserver
Erweiterte Suche

Ariadne Pfad:

Inhalt

Editor und Simulator für Petri-Netze - PetriEdiSim

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

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.

mehr/weniger
Fach, Sachgebiet
Schlagwörter

Formalismus, Petri-Netz, parallele Systeme, INFORMATIK,

Bildungsbereich Hochschule
Ressourcenkategorie Lehr-Lernmittel/Aufgabensammlung
Medienkategorie Internet
Sprache Deutsch
Gehört zu URL http://olli.informatik.uni-oldenburg.de/
Entnommen aus Oldenburger Lernprogramme zur Informatik (OLLI)
Angaben zum Autor der Ressource / Kontaktmöglichkeit petra.hornstein@informatik.uni-oldenburg.de
Bezugs- und Nutzungsbedingungen siehe http://olli.informatik.uni-oldenburg.de/PetriEdiSim/licence.html
Adresse der Bezugsquelle Nils Faltin, C. v. Ossietzky Universitaet Oldenburg, FB Informatik, Abt. Computer Graphics & Software-Ergonomie, D-26111 Oldenburg
URL des Copyright http://olli.informatik.uni-oldenburg.de/PetriEdiSim/licence.html
Technische Anforderungen keine
Zuletzt geändert am 06.09.2001

Inhalt auf sozialen Plattformen teilen (nur vorhanden, wenn Javascript eingeschaltet ist)