Automatisierungspyramide und Feldbusse
Systemmodellierung
 powered by TYPO3 | Login | Sitemap | Impressum/ |












E-Techniker Lied siehe http://www.interferenzo-calzone.de

Fundamental Modeling Concepts (FMC)


FMC ist eine semi-formale Methodik zur Kommunikation über komplexe Softwaresysteme.

 

 

==> Link zu den FMC-Seiten

 

Auf diesen Seiten finden Sie ausführliche Beschreibungen zu FMC.


Petri-Netze


Beschreibung paralleler Abläufe mit Petri-Netzen
Als PDF Datei.
Von Dr. Andreas Schwill
Fachbereich Mathematik/Informatik
Universität - Gesamthochschule Paderborn

Einführung in Petri-Netze von Rainer Kröning  Berlin

Automaten


JFLAP Download als JAR Datei
JFLAP ist ein Java-Programm, welches verschiedene
Arten von Automaten zeichnen und simulieren kann,
sowie die meisten Operationen wie Minimierung und
Transformationen durchführt. Dabei wird einem nicht nur
das Ergebnis präsentiert, sondern man hat die
Möglichkeit, Schritt für Schritt nachzuvollziehen, was vor
sich geht.
Ein Tutorial findet man unter: http://www.cs.duke.edu/csed/jflap/tutorial/